714 search results - page 37 / 143 » The Formal Specification Language mCRL2 |
106
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
145
Voted
SAC
2000
ACM
15 years 7 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
147
Voted
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
91
Voted
DATE
1998
IEEE
15 years 7 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
103
Voted
CNL
2009
15 years 4 months ago
2009
In this paper we describe two quite different philosophies used in developing controlled languages (CLs): A "naturalist" approach, in which CL interpretation is treated a...