1988 search results - page 67 / 398 » Engineering formal metatheory |
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
ASWEC
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
ICFEM
1997
Springer
14 years 29 days ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
AAAI
2008
13 years 11 months ago
2008
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...