Study Week: Selected textbooks only 14.99 each—eBooks & softcovers on sale! Shop now >>

Lecture Notes in Computer Science

TAPSOFT '95: Theory and Practice of Software Development

6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings

Editors: Mosses, Peter D., Nielsen, Mogens, Schwartzbach, Michael I. (Eds.)

Free Preview

Buy this book

eBook $139.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49233-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $179.00
price for USA in USD
  • ISBN 978-3-540-59293-8
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development.
The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.

Table of contents (61 chapters)

Table of contents (61 chapters)
  • A decade of TAPSOFT

    Pages 1-24

    Ehrig, Hartmut (et al.)

  • Theory and practice of software development

    Pages 25-41

    Floyd, Christiane

  • Rational spaces and set constraints

    Pages 42-61

    Kozen, Dexter

  • Formal methods and social context in software development

    Pages 62-81

    Goguen, Joseph A. (et al.)

  • Testing can be formal, too

    Pages 82-96

    Gaudel, Marie-Claude

Buy this book

eBook $139.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49233-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $179.00
price for USA in USD
  • ISBN 978-3-540-59293-8
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
TAPSOFT '95: Theory and Practice of Software Development
Book Subtitle
6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
Editors
  • Peter D. Mosses
  • Mogens Nielsen
  • Michael I. Schwartzbach
Series Title
Lecture Notes in Computer Science
Series Volume
915
Copyright
1995
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49233-7
DOI
10.1007/3-540-59293-8
Softcover ISBN
978-3-540-59293-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XVI, 820
Topics