Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented software engineering
Object-oriented software engineering
Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Soft systems methodology in action
Soft systems methodology in action
Object-oriented modeling and design
Object-oriented modeling and design
OPNets: an object-oriented high-level Petri net model for real-time system modeling
Journal of Systems and Software - Special issue on object-orientation
Object-oriented software development: a practical guide
Object-oriented software development: a practical guide
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Challenging Universal Truths of Requirements Engineering
IEEE Software
BOOKTWO of object-oriented knowledge: the working object: object-oriented software engineering: methods and management
Assessment of Safety-Critical Specifications
IEEE Software
Strategies for incorporating formal specifications in software development
Communications of the ACM
ACM Computing Surveys (CSUR)
Software Engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
IEEE Software
Extending the Useful Application Domain for Formal Methods
Proceedings of the Z User Workshop
Proceedings of the Z User Workshop
Structured Analysis and System Specification
Structured Analysis and System Specification
IEEE Transactions on Computers
Hi-index | 0.00 |
This paper describes, in outline, our experiences in structuring and presenting formal requirements specifications, and in particular the insights gained from an action research study undertaken within the Western Australian state government. The overall aim of the project was to evaluate and enhance an information systems development method, known as FOOM (Formal Object Oriented Method). FOOM was synthesised from research into: • the object oriented approach • mathematically formal specific ation languages • socio-organisational contextual analysis. The paper focuses on a study of the communication between the specifier and the client-- principally on the problems associated with specification validation--and the effect this had on the structure of a FOOM requirements specification document. The result of the study described was a specification structure which allows precise communication both between developers/designers and the less mathematically sophisticated users of the system. While the focus of the research was validation of specifications written in the formal specification language Object-Z [10], we argue that the results of our analysis are of importance in the elicitation, refinement and validation of requirements specifications whenever a formal modelling approach is to be adopted.