1856 search results - page 79 / 372 » Formal Dialectic Specification |
120
Voted
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
112
Voted
PDSE
1998
15 years 4 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
145
Voted
ADAEUROPE
2001
Springer
15 years 7 months ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
151
Voted
ISEMANTICS
2010
15 years 1 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
103
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...