Skip to main content
SpringerLink
Log in

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Volume 2: Colloquium on Software Engineering (CSE)

  • Conference proceedings
  • © 1985

Overview

Editors:
  1. Hartmut Ehrig
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christiane Floyd
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Maurice Nivat
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. James Thatcher
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 186)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Download chapter PDF

  2. On the relevance of formal methods to software development

    • Christiane Floyd
    Pages 1-11

  3. Combining algebraic and predicative specifications in Larch

    • J. J. Horning
    Pages 12-26

  4. The role of proof obligations in software design

    • Cliff B. Jones
    Pages 27-41

  5. Functional semantics of modules

    • John Gannon, Richard Hamlet, Harlan Mills
    Pages 42-59

  6. Intuition in software development

    • P. Naur
    Pages 60-79

  7. A rational design process: How and why to fake it

    • David L. Parnas, Paul C. Clements
    Pages 80-100

  8. Formalization in systems development

    • Lars Mathiassen, Andreas Munk-Madsen
    Pages 101-116

  9. Specifying and prototyping: Some thoughts on why they are successful

    • Daniel M. Berry, Jeannette M. Wing
    Pages 117-128

  10. A formal specification of line representations on graphics devices

    • Lynn S. Marshall
    Pages 129-147

  11. Experiences with the PSG — Programming System Generator

    • G. Snelting
    Pages 148-162

  12. Software construction using typed fragments

    • Nazim H. Madhavji, Nikos Leoutsarakos, Dimitri Vouliouris
    Pages 163-178

  13. Graph grammar engineering: A method used for the development of an integrated programming support environment

    • G. Engels, W. Schäfer
    Pages 179-193

  14. Multidimensional tree-structured file spaces

    • Douglas N. Kimelman
    Pages 194-213

  15. A theory of abstract data types for program development: Bridging the gap?

    • T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler
    Pages 214-230

  16. Program development and documentation by informal transformations and derivations

    • Giovanna Petrone, Luigi Petrone
    Pages 231-245

  17. ASSPEGIQUE: An integrated environment for algebraic specifications

    • Michel Bidoit, Christine Choppy
    Pages 246-260

  18. Application of PROLOG to test sets generation from algebraic specifications

    • L. Bougé, N. Choquet, L. Fribourg, M. C. Gaudel
    Pages 261-275

  19. A PROLOG environment for developing and reasoning about data types

    • Jieh Hsiang, Mandayam K. Srivas
    Pages 276-293

  20. Algebraic specification of synchronisation and errors: A telephonic example

    • Brigitte Biebow, Jacques Hagelstein
    Pages 294-308
Back to top

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation