132
click to vote
FM
15 years 8 months ago
2009 Springer 
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
147
click to vote
FM
15 years 1 hour ago
2009 Springer 
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
103
click to vote
FM
15 years 8 months ago
2009 Springer 
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
133
click to vote
FM
15 years 6 months ago
2009 Springer 
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
130
click to vote
FM
15 years 8 months ago
2009 Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
|
Formal Methods