3256 search results - page 106 / 652 » Applications of Formal Methods to System Design and Verifica... |
123
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
122
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
158
click to vote
NGITS
1999
Springer
15 years 8 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
131
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
122
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...