1613 search results - page 144 / 323 » Model-Driven Constraint Engineering |
100
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
122
Voted
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
134
Voted
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
123
click to vote
ICFEM
2000
Springer
15 years 7 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
132
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...