1809 search results - page 183 / 362 » A Formal Specification of dMARS |
STTT
2008
13 years 9 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
ZUM
1998
Springer
14 years 1 months ago
1998
Springer
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
ASPDAC
2004
ACM
14 years 29 days ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
ICFEM
2000
Springer
14 years 24 days ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...