313 search results - page 19 / 63 » Building Models through Formal Specification |
124
click to vote
ECBS
1999
IEEE
15 years 5 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
107
click to vote
RE
2001
Springer
15 years 5 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
141
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
120
click to vote
TSE
1998
15 years 1 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
104
click to vote
ENTCS
2006
15 years 1 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...