Evolution of object behavior using context relations
A collection of design patterns was described by E. Gamma et al. (1994). Each pattern ensures that a certain...
Supporting systems development by capturing deliberations during requirements engineering
Support for various stakeholders involved in software projects (designers, maintenance personnel, project managers and executives, end users) can be...
Conceptual Modeling in the Context of Development
The conceptual model is a model of the application domain as perceived by the users’ community and the development...
Existence dependency: The key to semantic integrity between structural and behavioral aspects of object...
In object-oriented conceptual modeling, the generalization/specialization hierarchy and the whole/part relationship are prevalent classification schemes for object types. This...
How Developers’ Experience and Ability Influence Web Application Comprehension Tasks Supported by UML Stereotypes:...
In recent years, several design notations have been proposed to model domain-specific applications or reference architectures. In particular, Conallen...
On the properties of extended inclusion dependences
In this correspondence, we propose new classes of inclusion dependences as an extension of "generalization" based on the entity...
An Approach to Checking Consistency between UML Class Model and Its Java Implementation
Model Driven Engineering (MDE) aims to expedite the software development process by providing support for transforming models to running...
TURTLE: a real-time UML profile supported by a formal validation toolkit
We present a UML 1.5 profile named TURTLE (Timed UML and RT-LOTOS Environment) endowed with a formal semantics given...
Test Synthesis from UML Models of Distributed Software
The object-oriented software development process is increasingly used for the construction of complex distributed systems. In this context, behavior...
The model multiplicity problem: experimenting with real-time specification methods
The object-process methodology (OPM) specifies both graphically and textually the system's static-structural and behavioral-procedural aspects through a single unifying...
