2989 search results - page 6 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
ZUM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
SAFECOMP
2004
Springer
15 years 2 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
AIMS
2007
Springer
15 years 3 months ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
ECAL
2007
Springer
15 years 3 months ago
2007
Springer
Symbiosis, the collaboration of multiple organisms from different species, is common in nature. A related phenomenon, symbiogenesis, the creation of new species through the genetic...
FM
2006
Springer
15 years 1 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...