714 search results - page 59 / 143 » The Formal Specification Language mCRL2 |
140
Voted
DIAGRAMS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
145
Voted
GI
2005
Springer
15 years 9 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
134
Voted
BNCOD
2008
15 years 5 months ago
2008
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
172
Voted
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
125
Voted
ENTCS
2002
15 years 3 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...