1175 search results - page 4 / 235 » Abstract computability and algebraic specification |
FORTE
2004
13 years 8 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
FCT
1995
Springer
13 years 11 months ago
1995
Springer
ERSHOV
1999
Springer
13 years 11 months ago
1999
Springer
CORR
1999
Springer
13 years 7 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
FORTEST
2008
13 years 9 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...