411 search results - page 5 / 83 » Algebraic Imperative Specifications |
104
click to vote
COMPSAC
2007
IEEE
15 years 6 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...
CONPAR
1992
15 years 3 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...
76
Voted
WADT
1998
Springer
15 years 3 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...
JLP
2006
14 years 11 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...
ICSE
2004
IEEE-ACM
15 years 11 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,...