1823 search results - page 123 / 365 » Formal specification: a roadmap |
120
click to vote
WSC
2007
15 years 7 months ago
2007
The significance of simulation modeling at multiple levels, scales, and perspectives is well recognized. However, existing proposals for developing such models are often applicati...
129
click to vote
PE
2000
Springer
15 years 4 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
137
click to vote
SBMF
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
121
click to vote
JAR
2008
15 years 4 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL