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...
Resolving race conditions in asynchronous partial order scenarios
Scenario-based requirements specifications are the industry norm for defining communication protocols. However, such scenarios often contain race conditions. A...
Customizing the Representation Capabilities of Process Models: Understanding the Effects of Perceived Modeling Impediments
Process modeling is useful during the analysis and design of systems. Prior research acknowledges both impediments to process modeling...
Visualizing Design Patterns in Their Applications and Compositions
Design patterns are generic design solutions that can be applied and composed in different applications where pattern-related information is...
An Efficient and Scalable Approach to Correct Class Model Refinement
Today, programmers benefit immensely from Integrated Development Environments (IDEs), where errors are highlighted within seconds of their introduction. Yet,...
