1823 search results - page 70 / 365 » Formal specification: a roadmap |
139
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
159
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
158
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
134
click to vote
INFSOF
2006
15 years 4 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
132
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...