795 search results - page 135 / 159 » A Formal Approach to Heterogeneous Software Modeling |
ASE
2002
13 years 8 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
ICSE
1993
IEEE-ACM
14 years 16 days ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
COMCOM
2006
13 years 8 months ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...