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....
A generalized expert system for database design
Generalized Expert System for Database Design (GESDD) is a compound expert system made up of two parts: (1) an...
Exception Handling Patterns for Process Modeling
Process modeling allows for analysis and improvement of processes that coordinate multiple people and tools working together to carry...
Support for managing design-time decisions
The desirability of maintaining multiple stakeholders' interests during the software design process argues for leaving choices undecided as long...
Tool support for verifying UML activity diagrams
We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an...
Further Analysis of the Entity-Relationship Approach to Database Design
The nondeterministic or deterministic entity-relationship model of a database is formaRy defined as a user's view of that database...
Generating Test Data from OCL Constraints with Search Techniques
Model-based testing (MBT) aims at automated, scalable, and systematic testing solutions for complex industrial software systems. To increase chances...
