124
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...
142
click to vote
FM
14 years 11 months 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...
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 ...
125
click to vote
FM
15 years 5 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 ...
119
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