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...
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....
