1525 search results - page 47 / 305 » Formal Models for Communication-Based Design |
101
Voted
ITRUST
2005
Springer
15 years 8 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
131
Voted
ICSE
2009
IEEE-ACM
15 years 10 days ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
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...
126
Voted
MM
2006
ACM
15 years 8 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
131
Voted
RE
2002
Springer
15 years 2 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...