1799 search results - page 179 / 360 » The Logic of Correctness in Software Engineering |
200
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
143
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
153
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
181
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
140
click to vote
ICFEM
1997
Springer
15 years 10 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...