Software errors and complexity: an empirical investigation0
Communications of the ACM
Relations as semantic constructs in an object-oriented language
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
The Z notation: a reference manual
The Z notation: a reference manual
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Handbook of theoretical computer science (vol. B)
Coherent models for object-oriented analysis
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Designing object-oriented software
Designing object-oriented software
An analysis of defect densities found during software inspections
Journal of Systems and Software
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Object-oriented development: the fusion method
Object-oriented development: the fusion method
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
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
The SAZ Project: Integrating SSADM and Z.
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies
Proceedings of the 7th SEI CSEE Conference on Software Engineering Education
FAMILY VALUES: A BEHAVIORAL NOTION OF SUBTYPING
FAMILY VALUES: A BEHAVIORAL NOTION OF SUBTYPING
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Factors that Impact Implementing a System Development Methodology
IEEE Transactions on Software Engineering
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
Integrating object-oriented analysis and formal specifications
ACM SIGSOFT Software Engineering Notes
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
A framework for the development of cooperative configuration agents
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Visualization and interpretation of analysis results within the context of formalized UML diagrams
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Developing and Maintaining an Object-Oriented Distributed Multimedia Information System
Annals of Software Engineering
Research Frontiers in Object Technology
Information Systems Frontiers
IEEE Transactions on Knowledge and Data Engineering
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Integrating Knowledge-Based Configuration Systems by Sharing Functional Architectures
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
Role of Model Transformation in Method Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Correct Object-Oriented Systems in Computational Logic
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Object models as heap invariants
Programming methodology
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Integrating Formal and Informal Specification Techniques. Why? How?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Towards a rigorous object-oriented analysis and design method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Interactive and visual environment supporting conceptual modeling of complex OODB applications
AVI '96 Proceedings of the workshop on Advanced visual interfaces
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Graphic Language for Describing Constraints on Diagrams of UML Classes
Programming and Computing Software
Events as atomic contracts for component integration
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Reasoning on UML class diagrams
Artificial Intelligence
On the Semantics of Associations and Association Ends in UML
IEEE Transactions on Software Engineering
Reasoning on UML class diagrams
Artificial Intelligence
Translating an OMT schema to an ODMG-93 schema
Computer Standards & Interfaces
Comparison of formalisation approaches of UML class constructs in Z and object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Web-based object-oriented modeling on internet
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Contextual diagrams as structuring mechanisms for designing configuration knowledge bases in UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modelling protocols for multiagent interaction by F-logic
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A semantics for object-oriented systems
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Modular semantics for object-oriented models
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
| Hi-index | 0.00 |
Informal software development techniques, such as the Object Modeling Technique (OMT), provide the user with easy to understand graphical notations for expressing a wide variety of concepts central to the presentation of software requirements. OMT combines three complementary diagramming notations for documenting requirements: object models, dynamic models, and functional models. OMT is a useful organizational tool in the requirements analysis and system design processes. Currently, the lack of formality in OMT prevents the evaluation of completeness, consistency, and content in requirements and design specifications. A formal method is a mathematical approach to software development that begins with the construction of a formal specification describing the system under development. However, constructing a formal specification directly from a prose description of requirements can be challenging. This paper presents a formal semantics for the OMT object model notations, where an object model provides the basis for the architecture of an object-oriented system. A method for deriving modular algebraic specifications directly from object model diagrams is described. The formalization of object models contributes to a mathematical basis for deriving system designs.