IEEE Transactions on Software Engineering
A framework for information systems architecture
IBM Systems Journal
Communications of the ACM
A comparison of techniques for the specification of external system behavior
Communications of the ACM
Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
Object oriented design with applications
Object oriented design with applications
Formal techniques for OO software development
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Coherent models for object-oriented analysis
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented systems analysis: a model-driven approach
Object-oriented systems analysis: a model-driven approach
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
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
A research typology for object-oriented analysis and design
Communications of the ACM - Special issue on analysis and modeling in software development
Extending and formalizing the framework for information systems architecture
IBM Systems Journal
Schlaer-Mellor object-oriented analysis rules
ACM SIGSOFT Software Engineering Notes
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
Object-Oriented Software Construction
Object-Oriented Software Construction
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Entity-Relationship Approach to Logical Data Base Design
Entity-Relationship Approach to Logical Data Base Design
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
A Formal Definition of Entity-Relationship Models
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
IEEE Transactions on Software Engineering
Creating a knowledge management architecture for business process change
SIGCPR '99 Proceedings of the 1999 ACM SIGCPR conference on Computer personnel research
Realities of Off-Shore Reengineering
IEEE Software
Towards a Functional Size Measure for Object-Oriented Systems from Requirements Specifications
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
On the estimation of the functional size of software from requirements specifications
Journal of Computer Science and Technology
IWSM/Metrikon/Mensura '08 Proceedings of the International Conferences on Software Process and Product Measurement
Data & Knowledge Engineering
Hi-index | 0.00 |
Object Orientation has as primary goal to improve the software construction process. Object Oriented analysis, design and software construction should yield software of a high quality: software that is reliable, maintainable, extensible, adaptable. However, delivering large OO software systems in a qualitative way is a significant challenge. Scaling up requires formal precision of the semantics of the modelling techniques and languages used by the development team. And when the target system contains an abundance of parallelism, the problem of validation becomes unfeasible if it is not supported by formal techniques. With the incorporation of formal techniques in the development process, we can expect significant benefits in terms of software quality.For this reason, one might expect a high level of formality in current OOAD methods [9]. Unfortunately, most current OOAD methods are characterised by a low level of formality. The M.E.R.O.DE. methodology addresses this void. By making use of algebra, the methodology has been provided with a formal basis at several levels with a significant improvement of the quality of the software development process as a result.Before presenting M.E.R.O.DE. to the reader in the second section, the first section motivates the development of still another OOA method. The final section demonstrates how exactly the formal definition of M.E.R.O.DE. results in a gain of quality at the software specification level.