Research graph
References from Consistency of the static and dynamic components of object-oriented specifications. Local targets link to admitted publications; unresolved targets remain external evidence.
A comparison of statecharts variants
1994 · External reference
10.1016/s0169-023x(99)00011-7 · 1999 · Admitted local publication
Consistency checking in complex object database schemata with integrity constraints
10.1109/69.706058 · 1998 · External reference
Unresolved reference
1992 · External reference
Unresolved reference
1991 · External reference
SIC: satisfiability checking for integrity constraints
1998 · External reference
Making object-oriented schemes more expressive
1994 · External reference
Description logics for conceptual data modeling
1998 · External reference
Covariance and contravariance: conflict without a cause
10.1145/203095.203096 · 1995 · External reference
Unresolved reference
1999 · External reference
The entity-relationship model – toward a unified view of data
10.1145/320434.320440 · 1976 · External reference
Path constraints for graph-based data models: towards a unified theory of typing constraints, equations, and functional dependencies
1991 · External reference
Finite satisfiability of integrity constraints in object-oriented database schemas
2001 · External reference
An efficient method for checking object-oriented database schema correctness
10.1145/293910.293152 · 1998 · External reference
Constraint satisfiability in object-oriented databases
1995 · External reference
Equivalence transformations on statecharts
2000 · External reference
Integration of statecharts
1998 · External reference
Towards an automatic integration of statecharts
1999 · External reference
Unresolved reference
1987 · External reference
Statecharts: a visual formalism for complex systems
10.1016/0167-6423(87)90035-9 · 1987 · External reference
On visual formalisms
10.1145/42411.42414 · 1988 · External reference
The statemate semantics of statecharts
10.1145/235321.235322 · 1996 · External reference
Unresolved reference
1992 · External reference
Unresolved reference
1994 · External reference
Unresolved reference
1995 · External reference
Unresolved reference
1991 · External reference
Deriving relationships between integrity constraints for schema comparison
1998 · External reference
Unresolved reference
1998 · External reference
Unresolved reference
External reference
OCL: the constraint language of the UML
1999 · External reference
A survey of structured and object-oriented software specification methods and techniques
10.1145/299917.299919 · 1998 · External reference
