BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
d Abstract) Gordon Plotkin1, LFCS, School of Informatics, University of Edinburgh, UK. The application of ideas from universal algebra to computer science has long been a major the...
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...