The rôle of normalisation in testing from structured algebraic specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1827, Issue , 2000, Pages 459-476

  Machado, Patricia D L ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORMAL LOGIC;

ALGEBRAIC SPECIFICATIONS; FIRST ORDER LOGIC; NORMAL FORM; NORMALISATION; STRUCTURED SPECIFICATION; TEST PROGRAM;

SPECIFICATIONS;

EID: 84947257850     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44616-3_26     Document Type: Conference Paper

References (9)

1. J. A. Bergstra, J. Heering, and P. Klint. Module algebra. Journal of the Association for Computing Machinery, 37(2):335-372, 1990.
2. M. Bidoit, M. V. Cengarle, and R. Hennicker. Proof Systems for Structured Specifications and Their Refinements, chapter 11. IFIP State-of-The-Art Reports. Springer, 1999.
3. M. Bidoit and R. Hennicker. Behavioural Theories and the Proof of Behavioural Properties. Theoretical Computer Science, 165(1):3-55, 1996.
4. M. Gaudel. Testing can be formal, too. In Peter D. Mosses, Mogens Nielsen, and Michael I. Schwartzbach, editors, Proceedings of Theory and Practice of Software Development-TAPSOFT’95, volume 915 of LNCS. Springer, 1995.
5. R. Hennicker. Structured Specifications with Behavioural Operators: Semantics, Proof Methods and Applications. Habilitation thesis, Institut fur Informatik, Ludwig-Maximillians-Universitat Munchen, Munchen, Germany, june 1997.
6. P. D. L. Machado. On Oracles for Interpreting Test Results Against Algebraic Specifications. In A.M. Haeberer, editor, Algebraic Methodology and Software Technology, AMAST’98, volume 1548 of LNCS. Springer, 1999.
7. P. D. L. Machado. Testing from Structured Algebraic Specifications. In T. Rus, editor, Algebraic Methodology and Software Technology, AMAST’00, volume 1816 of LNCS. Springer, 2000.
8. D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing, 9:229-269, 1997.
9. M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 13, pages 675-788. Elsevier Science Publishers, 1990.