2407 search results - page 296 / 482 » A Tool for Abstraction in Model Checking |
189
click to vote
ESAW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
192
Voted
SOFTVIS
2003
ACM
16 years 9 days ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
187
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
192
click to vote
IFM
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
145
click to vote
DSOM
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...