CASL-UM - Lecture Notes in Computer Science Edited by G....

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Lecture Notes in Computer Science 2900 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Background image of page 2
Michel Bidoit Peter D. Mosses C ASL User Manual Introduction to Using the Common Algebraic Specification Language With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki 13
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Authors Michel Bidoit 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 E-mail: bidoit@lsv.ens-cachan.fr Peter D. Mosses University of Aarhus, BRICS and Department of Computer Science Aabogade 34, 8200 Aarhus N, Denmark E-mail: pdmosses@brics.dk Cataloging-in-Publication Data applied for A catalog record for this book is available from the Library of Congress. Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at < http://dnb.ddb.de > . CR Subject Classification (1998): D.2.1, D.3.1, D.2, D.3, F.3 ISSN 0302-9743 ISBN 3-540-20766-X Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag is a part of Springer Science+Business Media springeronline.com c ± 2004 IFIP International Federation for Information Processing, Hofstrasse 3, A-2361 Laxenburg, Austria Printed in Germany Typesetting: Camera-ready by author, data conversion by Olgun Computergrafik Printed on acid-free paper SPIN: 10931011 06/3142 5 4 3 2 1 0
Background image of page 4
Preface C ASL ,the Common Algebraic Specification Language , has been designed by CoFI, the Common Framework Initiative for algebraic specification and de- velopment. C ASL is an expressive language for specifying requirements and design for conventional software. It is algebraic in the sense that models of C ASL specifications are algebras; the axioms can be arbitrary first-order for- mulas. This User Manual illustrates and discusses how to write C ASL specifications. C ASL is a major new algebraic specification language. It has been care- fully designed by a large group of experts as a general-purpose language for practical use in software development – in particular, for specifying both re- quirements and design. C ASL includes carefully-selected features from many
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 234

CASL-UM - Lecture Notes in Computer Science Edited by G....

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online