411 search results - page 5 / 83 » Algebraic Imperative Specifications |
121
Voted
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
108
click to vote
CONPAR
1992
15 years 6 months ago
1992
A major feature of Computer Algebra, and more generally of non-numerical computations, is the dynamical and non-predictable behaviour of the executions. We then understand that st...
WADT
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
118
Voted
JLP
2006
15 years 1 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
104
Voted
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...