1454 search results - page 15 / 291 » Stateful traits and their formalization |
98
Voted
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
138
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
97
Voted
SNPD
2004
15 years 1 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
85
Voted
DAC
2001
ACM
16 years 1 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
92
Voted
AOSE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal