1613 search results - page 146 / 323 » Model-Driven Constraint Engineering |
123
click to vote
EMISA
2009
Springer
15 years 10 months ago
2009
Springer
: This keynote reports on a new class of processes - so called fluid processes - whose ”engineering” and ”use” is indistinguishable. Fluid processes are continually being ...
139
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
— Virtual space eliminates the constraints of physical distances on communication and interaction. In this study, we examine the impact of offline proximity and homophily of play...
143
click to vote
STTT
2010
14 years 10 months ago
2010
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
150
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...