1856 search results - page 73 / 372 » Formal Dialectic Specification |
103
click to vote
ENC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
120
Voted
SAFECOMP
2010
Springer
15 years 18 days ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
108
Voted
ASIAN
1998
Springer
15 years 7 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
118
Voted
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...