3765 search results - page 202 / 753 » Formal Methods for Systems Engineering Behavior Models |
169
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
175
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
182
click to vote
TAGT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
141
click to vote
SEW
2006
IEEE
16 years 17 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
177
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...