1988 search results - page 36 / 398 » Engineering formal metatheory |
FASE
2000
Springer
14 years 10 days ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
ADAEUROPE
2001
Springer
14 years 1 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...
HASE
1998
IEEE
14 years 1 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
FM
2008
Springer
13 years 10 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
ECBS
2006
IEEE
14 years 2 months ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...