Statecharts: A visual formalism for complex systems
Science of Computer Programming
Jackson system development
Object oriented design with applications
Object oriented design with applications
Object-oriented software engineering
Object-oriented software engineering
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The unified software development process
The unified software development process
A problem-oriented analysis of basic UML static requirements modeling concepts
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Inside XML
XML and Java: Developing Web Applications
XML and Java: Developing Web Applications
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Structured Analysis and System Specification
Structured Analysis and System Specification
UML Static Models in Formal Approach
Balancing Agility and Formalism in Software Engineering
Hi-index | 0.00 |
Graphical notations have demonstrated usefulness when interacting with end users, making system validation easier. However, while they can be easily communicated, they lack precision, which consequently can be ambiguous and lead to misunderstanding. It is here where formal specifications can play an important role in overcoming this drawback. In this chapter, we use the RAISE Specification Language (RSL), which is the language of the formal method RAISE (i.e., Rigorous Approach to Industrial Software), as a syntactic and semantic reference for UML. We present the semantics for UML class diagrams by using RSL as a formal basis. An automated tool that implements the translation and the abstract syntax in RSL for the RSL-translatable class diagrams are also presented.