Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The unified software development process
The unified software development process
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Use-case components for interactive information systems
Science of Computer Programming - Special issue on new software composition concepts
Hi-index | 0.00 |
A costly part of software development regards verification, i.e., checking that the code implements the specification correctly. We introduce the concept of specification-oriented frameworks, with the purpose of facilitating verification. A specification-oriented framework enables direct translation of the specifications into code, whose equivalence with the specification is easy to establish. The feasibility of this concept was investigated with the experimental Simple Interfacing (SI) framework for construction of user interface software of interactive information systems. Such an information system is constructed by translating the natural-language use-case specification into SI based code. SI provides high-level methods for data entry and data display. The usecase coding assumes that a database schema and required complex data manipulations are developed separately. The code produced for the usecases of five small projects corresponded quite closely to the naturallanguage specifications and facilitated considerably the verification. Further research is required to assess the usefulness of the approach.