3564 search results - page 297 / 713 » Evaluating a Formal Modelling Language |
136
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
148
click to vote
PADL
2005
Springer
15 years 10 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
134
click to vote
DISCEX
2003
IEEE
15 years 10 months ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...
127
click to vote
GI
2001
Springer
15 years 9 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
110
click to vote
ECRTS
2000
IEEE
15 years 9 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...