1823 search results - page 289 / 365 » Formal specification: a roadmap |
ECAIW
2000
Springer
14 years 1 months ago
2000
Springer
In this paper we are proposing an approach for coordinating a team of homogeneous agents based on a flexible common Team Strategy as well as on the concepts of Situation Based Stra...
WACC
1999
ACM
14 years 1 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
ICECCS
1999
IEEE
14 years 1 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
ISCAS
1999
IEEE
14 years 1 months ago
1999
IEEE
In a companion paper of this session [1] we formally defined the notion of equivalence classes of circuits which are physical clones of an existing benchmark seed circuit created ...
ESEC
1999
Springer
14 years 1 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...