10159 search results - page 251 / 2032 » System Design Validation Using Formal Models |
136
click to vote
RE
2008
Springer
15 years 2 months ago
2008
Springer
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
113
click to vote
TCAD
2008
15 years 3 months ago
2008
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
155
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
DAWAK
2008
Springer
15 years 5 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
108
click to vote
IDEAS
2000
IEEE
15 years 7 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...