2186 search results - page 203 / 438 » Model Transformation Technologies in the Context of Modellin... |
CBSE
2006
Springer
14 years 1 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
WWW
2001
ACM
14 years 10 months ago
2001
ACM
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
FORTE
2008
13 years 10 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...