Measuring the Comprehensibility of a UML-B model and a B model
Software maintenance, which involves making enhancements, modifications and corrections to existing software systems, consumes more than half of developer time. Specification comprehensibility plays an important role in software maintenance as it permits the understanding of the system properties mo...
Main Authors: | Razali, Rozilawati (Author), Garratt, Paul W (Author) |
---|---|
Format: | Article |
Language: | English |
Published: |
2006.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Usability Assessment Of A Uml-based Formal Modeling Method Using A Cognitive Dimensions Framework
by: Rozilawati Razali, et al.
Published: (2008-01-01) -
Verification of UML models by translation to UML-B
by: Snook, Colin, et al.
Published: (2011) -
UML-B: Formal modelling and design aided by UML
by: Snook, Colin, et al.
Published: (2006) -
Keperluan kebolehgunaan alatan pengesahbetulan formal
by: Rozilawati Razali, et al.
Published: (2012) -
USABILITY REQUIREMENT OF FORMAL VERIFICATION TOOLS
by: Rozilawati Razali, et al.
Published: (2012-12-01)