Formal methods for component software: The refinement calculus perspective

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

Volumn 1357, Issue , 1998, Pages 332-337

  Büchi, Martin ^a   Sekerinski, Emil ^a  

^a TURKU CENTRE FOR COMPUTER SCIENCE   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER SOFTWARE; FORMAL METHODS; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS;

BLACK-BOX COMPONENTS; COMPONENT SOFTWARE; FULL ENCAPSULATIONS; NON-DETERMINISM; REFINEMENT CALCULI; SCALE-UP;

FORMAL SPECIFICATION;

EID: 84868931693     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69687-3_68     Document Type: Conference Paper

References (11)

1. Ásgeir Olafsson and Doug Bryan. On the need for "required interfaces" of components. In M. Muhlhaeuser, editor, Special Issues in Object-Oriented Programming, pages 159-165. dpunkt Verlag Heidelberg, 1997. ISBN 3-920993-67-5.
2. R. J. R. Back and Joackim von Wright. Refinement Calculus: A Systematic Introduction. Springer Verlag, to appear 1997.
3. Richard Helm, Ian M. Holland, and Dipayan Gangopadhyay. Contracts: Specifying behavioral compositions in object-oriented systems. In Proceedings of OOPSLA/ECOOP '90 Conference on Object-Oriented Programming Systems, Languages and Application, pages 169-180, October 1990.
4. Jean-Marc Jezequel and Bertrand Meyer. Put it in the contract: The lessons of ariane. IEEE Computer, pages 129-130, January 1997.
5. W. Kozaczynski and J. O. Ning. Concern-driven design for a specification language. In Proceedings of the 8th International Workshop on Software Specification and Design, Berlin, Germany, March 1996.
6. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, second edition, 1997.
7. Oscar Nierstrasz and Dennis Tsichritzis, editors. Object-Oriented Software Composition. Prentice Hall, 1995.
8. David Garlan, Daniel Jackson, Mary Shaw, and Jeannette Wing. Composable software systems, 1996. http://www. cs. cmu. edu/-Compose/.
9. Clemens Á. Szyperski and Cuno Pfister. Component-oriented programming: WCOP'96 workshop report. In M. Muhlhaeuser, editor, Special Issues in Object-Oriented Programming, pages 127-130. dpunkt Verlag Heidelberg, 1997. ISBN 3-920993-67-5.
10. Martin Büchi and Wolfgang Weck. Á plea for grey-box components. In Foundations of Component-Based Systems '97, 1997. http://www. abo. fi/-mbuechi/.
11. Amy M. Zaremsky and Jeannette M. Wing. Specification matching of software components. In SIGSOFT Foundations of Software Engineering, October 1995. Also CMU-CS-95-127.