1823 search results - page 71 / 365 » Formal specification: a roadmap |
195
click to vote
ODR
2008
15 years 5 months ago
2008
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
111
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
134
click to vote
KBSE
2000
IEEE
15 years 8 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...
124
click to vote
PDSE
1998
15 years 5 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...
162
click to vote
ADAEUROPE
2001
Springer
15 years 9 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...