Conceptual models communicate the important aspects of a problem domain to stakeholders. The quality of the models is highly dependent on the usability of the modelling method used. This paper presents a survey conducted on a method that integrates the use of a semi-formal notation, namely the Unified Modelling Language (UML) and a formal notation, namely B. The survey assessed the usability of the method by using grounded theory, the Cognitive Dimensions of Notations (CD) framework and several criteria suggested by the International Organization for Standardization (ISO). Ten participants responded to the survey. The results suggest that the method is accessible to users when the principles and roles of each notation are obvious and well u...
Modeling is the shared activity for both software engineering and knowledge representation. At the s...
The Unified Modeling Language (UML) is an Object Management Group (OMG) object-oriented (OO) modelin...
Metrics for conceptual diagram understandability are generally based on a particular modelling notat...
Conceptual models communicate the important aspects of a problem domain to stakeholders. The qualit...
Conceptual models of Software Systems provide the material support for documenting and communicating...
AbstractThe modeling of computer software is complex and error prone. Modeling methods and languages...
This paper summarises two controlled experiments conducted on a model that integrates the use of sem...
Software maintenance, which involves making enhancements, modifications and corrections to existing ...
This paper summarises two controlled experiments conducted on a model that integrates the use of sem...
Software maintenance, which involves making enhancements, modifications and corrections to existing ...
This document contains the questionnaires and responses of the survey conducted on the UML-B method....
The emergence of the UML as a de-facto standard for object-oriented modelling has been mirrored by t...
The Unified Modeling Language (UML) is a family of largely visual notations which has become the "li...
The quality of conceptual models directly affects the quality of the understanding of the applicatio...
The UML is a popular modelling notation that has a natural appeal to hardware and software engineers...
Modeling is the shared activity for both software engineering and knowledge representation. At the s...
The Unified Modeling Language (UML) is an Object Management Group (OMG) object-oriented (OO) modelin...
Metrics for conceptual diagram understandability are generally based on a particular modelling notat...
Conceptual models communicate the important aspects of a problem domain to stakeholders. The qualit...
Conceptual models of Software Systems provide the material support for documenting and communicating...
AbstractThe modeling of computer software is complex and error prone. Modeling methods and languages...
This paper summarises two controlled experiments conducted on a model that integrates the use of sem...
Software maintenance, which involves making enhancements, modifications and corrections to existing ...
This paper summarises two controlled experiments conducted on a model that integrates the use of sem...
Software maintenance, which involves making enhancements, modifications and corrections to existing ...
This document contains the questionnaires and responses of the survey conducted on the UML-B method....
The emergence of the UML as a de-facto standard for object-oriented modelling has been mirrored by t...
The Unified Modeling Language (UML) is a family of largely visual notations which has become the "li...
The quality of conceptual models directly affects the quality of the understanding of the applicatio...
The UML is a popular modelling notation that has a natural appeal to hardware and software engineers...
Modeling is the shared activity for both software engineering and knowledge representation. At the s...
The Unified Modeling Language (UML) is an Object Management Group (OMG) object-oriented (OO) modelin...
Metrics for conceptual diagram understandability are generally based on a particular modelling notat...