Springer
CD-ROM OverviewTable of ContentsSearch

B  Points to Bear in Mind

Michel Bidoit1 and Peter D. Mosses2

1 Laboratoire Spécification et Vérification, CNRS UMR 8643
École Normale Supérieure de Cachan
61, Avenue du Président Wilson, 94235 Cachan Cedex, France
bidoit@lsv.ens-cachan.fr

2 University of Aarhus, BRICS and Department of Computer Science
Aabogade 34, 8200 Aarhus N, Denmark
pdmosses@brics.dk

Abstract.

  • B.1 Introduction
  • B.2 Underlying Concepts
  • B.3 Getting Started
  • B.4 Partial Functions
  • B.5 Subsorting
  • B.6 Structuring Specifications
  • B.7 Generic Specifications
  • B.8 Specifying the Architecture of Implementations
  • B.9 Libraries
  • B.10 Foundations
  • B.11 Tools
  • B.12 Basic Libraries

LNCS 2900, pp. 203 - 210

Full article in PDF


lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004