671 search results - page 100 / 135 » Semantics Preserving Model Composition |
120
click to vote
IPL
2010
15 years 26 days ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
117
Voted
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
160
click to vote
ESWS
2009
Springer
15 years 5 days ago
2009
Springer
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...
142
click to vote
EMSOFT
2010
Springer
15 years 12 days ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
130
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...