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...
Execution of Partial State Machine Models
The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e.,...
Assessing and improving state-based class testing: a series of experiments
This work describes an empirical investigation of the cost effectiveness of well-known state-based testing techniques for classes or clusters...
