585 search results - page 8 / 117 » Structured Formal Development in Isabelle |
ICFEM
1997
Springer
15 years 3 months 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, ...
106
Voted
FM
1998
Springer
15 years 3 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
89
Voted
JLP
2006
14 years 11 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
115
Voted
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
67
Voted
CPHYSICS
2010
14 years 11 months ago
2010
The Projector Augmented Wave (PAW) formalism developed by Bl