Integrating formal notations and systems analysis: using entity relationship diagrams
Software Engineering Journal
Experience with Formal Methods in Critical Systems
IEEE Software
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
UML in a nutshell: a desktop quick reference
UML in a nutshell: a desktop quick reference
UMLoquent expression of AWACS software design
Communications of the ACM
Modeling industrial embedded systems with UML
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Formal Object-Oriented Development
Formal Object-Oriented Development
A method for the early stages of interactive system design using UML and Lean Cuisine+
AUIC '01 Proceedings of the 2nd Australasian conference on User interface
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Refinement Calculus for the Development of Real-Time Systems
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Integrating Object-Oriented Requirements Specifications with Formal Notations
TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
Integrating Formal and Informal Specification Techniques. Why? How?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A pragmatic, rigorous integration of structural and behavioral modeling notations
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Framework for Multi-Notation Requirements Specification and Analysis
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Using the Right Tool for the Job
ICECCS '00 Proceedings of the 6th IEEE International Conference on Complex Computer Systems
Combining semi-formal and formal notations in software specification: an approach to modelling time-constrained systems
A Usability Profile for Graphical Formal Modelling Methods
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Connecting UML and VDM++ with Open Tool Support
FM '09 Proceedings of the 2nd World Congress on Formal Methods
An MDA approach towards integrating formal and informal modeling languages
FM'05 Proceedings of the 2005 international conference on Formal Methods
Enabling correct design and formal analysis of Ambient Assisted Living systems
Journal of Systems and Software
| Hi-index | 0.00 |
In this paper the integration of graphical, semi-formal modeling languages with formal notations for software specification purposes is discussed and a proposal for a procedural frame based on the combined use of UML and Z++ is presented. This procedural frame, organized in stages and steps, provides the methodological basis for a pragmatic and rigorous object-oriented modeling approach aimed at the construction of larger software systems, including real-time systems. Within the proposed frame a regular flow of modeling activities is suggested and alternative modeling scenarios are considered. A brief presentation of the Harmony integrated specification environment, a tool designed to support the proposed approach, is also included in the paper.