Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms
In the context of object-oriented analysis and design (OOAD), class responsibility assignment is not an easy skill to acquire....
Modeling security-relevant data semantics
The use of an extended data model which represents both integrity and secrecy aspects of data is demonstrated. This...
A layout algorithm for data flow diagrams
A layout algorithm is presented that allows the automatic drawing of data flow diagrams, a diagrammatic representation widely used...
Structuring primitives for a dictionary of entity relationship data schemas
The data dictionary contains the description of all types of data produced, managed, exchanged, and maintained in an organization....
An Algebra for a General Entity-Relationship Model
Although many data manipulation languages (DML's) have been proposed for the entity-relationship (ER) model, there is no agreement on...
Toward the Next Generation of Data Modeling Tools
This paper describes the Update Protocol Model (UPM), a formal language for the expression of database update semantics. UPM...
A scenario-driven approach to trace dependency analysis
Software development artifacts-such as model descriptions, diagrammatic languages, abstract (formal) specifications, and source code-are highly interrelated where changes in...
On object systems and behavioral inheritance
We consider state-based behavior in object-oriented analysis and design, as it arises, for example, in specifying behavior in the...
Formalizing and integrating the dynamic model for object-oriented modeling
The Object Modeling Technique (OMT), a commonly used object-oriented development technique, comprises the object, dynamic, and functional models to...
Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
Asynchronous reactive systems form the basis of a wide range of software systems, for instance in the telecommunications domain....
