Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One.
Rozilawati RazaliColin F. SnookMichael PoppletonPaul W. GarrattRobert J. WaltersPublished in: EASE (2007)
Keyphrases
- experimental comparison
- formal specification
- specification language
- formal methods
- object oriented design
- class diagram
- model checking
- specification languages
- process algebra
- concurrent systems
- object oriented
- data abstraction
- feature selection
- metamodel
- reverse engineering
- modeling language
- conceptual modeling
- software components
- temporal logic
- software architecture
- database design
- software systems
- software engineering
- metadata
- rule base
- software development
- natural language
- artificial intelligence