Abstract
No public abstract is available from the verified source records.
Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureAnna Formica, Heinz Frank
Abstract
Authors
Institutions
Provenance
crossref
Confidence 100%
unpaywall
Confidence 95%
openalex
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
A comparison of statecharts variants
1994
Inheritance hierarchy design in object-oriented databases
10.1016/s0169-023x(99)00011-7 · 1999
Consistency checking in complex object database schemata with integrity constraints
10.1109/69.706058 · 1998
Unresolved referenced work
1992
Unresolved referenced work
1991
SIC: satisfiability checking for integrity constraints
1998
Making object-oriented schemes more expressive
1994
Description logics for conceptual data modeling
1998
Covariance and contravariance: conflict without a cause
10.1145/203095.203096 · 1995
Unresolved referenced work
1999
The entity-relationship model – toward a unified view of data
10.1145/320434.320440 · 1976
Path constraints for graph-based data models: towards a unified theory of typing constraints, equations, and functional dependencies
1991
Finite satisfiability of integrity constraints in object-oriented database schemas
2001
An efficient method for checking object-oriented database schema correctness
10.1145/293910.293152 · 1998
Constraint satisfiability in object-oriented databases
1995
Equivalence transformations on statecharts
2000
Integration of statecharts
1998
Towards an automatic integration of statecharts
1999
Unresolved referenced work
1987
Statecharts: a visual formalism for complex systems
10.1016/0167-6423(87)90035-9 · 1987
On visual formalisms
10.1145/42411.42414 · 1988
The statemate semantics of statecharts
10.1145/235321.235322 · 1996
Unresolved referenced work
1992
Unresolved referenced work
1994
Unresolved referenced work
1995
Unresolved referenced work
1991
Deriving relationships between integrity constraints for schema comparison
1998
Unresolved referenced work
1998
Unresolved referenced work
Kept as external metadata until matched
OCL: the constraint language of the UML
1999
A survey of structured and object-oriented software specification methods and techniques
10.1145/299917.299919 · 1998
No additional external references are available.