585 search results - page 52 / 117 » Structured Formal Development in Isabelle |
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
FMCO
2007
Springer
15 years 6 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
100
click to vote
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a ...
100
click to vote
WADT
1998
Springer
15 years 3 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
102
click to vote
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...