Specifying reusable components

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

Volumn 6217 LNCS, Issue , 2010, Pages 127-141

  Polikarpova, Nadia ^a   Furia, Carlo A ^a   Meyer, Bertrand ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT OBJECT; ACCURATE DESIGN; CLASSIC DESIGN; FORMAL VERIFICATIONS; MODEL-BASED; PRECISE DEFINITION; REUSABLE COMPONENTS; REUSABLE SOFTWARES;

DATA STRUCTURES; EXPERIMENTS; SPECIFICATIONS;

COMPUTER SOFTWARE REUSABILITY;

EID: 77957030908     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15057-9_9     Document Type: Conference Paper

References (15)

1. Abrial, J.-R.: The B-book. Cambridge University Press, Cambridge (1996)
2. # programming system: Challenges and directions. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 144-152. Springer, Heidelberg (2008)
3. Chalin, P.: Are practitioners writing contracts? In: Rigorous Development of Complex Fault-Tolerant Systems, pp. 100-113 (2006)
4. http://freeelks.svn.sourceforge.net
5. Gougen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types. In: Current Trends in Programming Methodology, pp. 80-149. Prentice-Hall, Englewood Cliffs (1978)
6. Guttag, J.V., Horning, J.J.: The algebraic specification of abstract data types. Acta Inf. 10, 27-52 (1978)
7. Hoare, C.A.R.: Proof of correctness of data representations. Acta Inf. 1, 271-281 (1972)
8. Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML accommodates both runtime assertion checking and formal verification. Sci. Comput. Program. 55(1-3), 185-208 (2005)
9. Meyer, B.: Object-oriented software construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)
10. Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Wei, Y., Stapf, E.: Programs that test themselves. Computer 42(9), 46-55 (2009)
11. Polikarpova, N., Furia, C.A., Meyer, B.: Specifying reusable components, Extended version, http://arxiv.org/abs/1003.5777
12. Schoeller, B.: Making classes provable through contracts, models and frames. PhD thesis, ETH Zurich (2007)
13. Schoeller, B., Widmer, T., Meyer, B.: Making specifications complete through models. In: Architecting Systems with Trustworthy Components, pp. 48-70 (2004)
14. http://vsr.sourceforge.net/
15. Zee, K., Kuncak, V., Rinard, M.C.: Full functional verification of linked data structures. In: PLDI 2008, pp. 349-361. ACM, New York (2008)