1676 search results - page 31 / 336 » Formal System Development with KIV |
127
click to vote
JLP
2006
15 years 3 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...
119
click to vote
IFM
1999
Springer
15 years 8 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
146
click to vote
IRI
2005
IEEE
15 years 9 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
164
click to vote
JOT
2010
15 years 2 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
119
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...