default search action

combined dblp search
author search
venue search
publication search

ask others

The Use of Formal Specification of Software 1979: Berlin, Germany

> Home > Conferences and Workshops > Formal Specification

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fm/1979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/1979
Helmut K. Berg, Wolfgang K. Giloi:
The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany. Informatik-Fachberichte 36, Springer 1980, ISBN 3-540-10442-9
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Berg79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Berg79
Helmut K. Berg:
Towards a Uniform Design Methodology for Software, Firmware, and Hardware. 1-38
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LevittRS79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LevittRS79
Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg:
Writing Simulatable Specifications in SPECIAL. 39-78
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BoydPW79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BoydPW79
Donald L. Boyd, Antonio Pizzarello, William T. Wood:
An Overview of RDM: Rational Design Methodology. 79-110
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BoydPW79a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BoydPW79a
Donald L. Boyd, Antonio Pizzarello, William T. Wood:
Abstraction and Refinement in RDM. 111-149
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BergG79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BergG79
Helmut K. Berg, Wolfgang K. Giloi:
Hierarchical Specification of Abstract Data Types. 150-196
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FrantaBB79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FrantaBB79
William R. Franta, William Earl Boebert, Helmut K. Berg:
An Approach to the Specification of Distributed Software. 197-236
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BergFM79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BergFM79
Helmut K. Berg, William R. Franta, Thomas G. Moher:
Correctness of Software - An Overview. 237-354
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Moriconi79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Moriconi79
Mark Moriconi:
Interactive Design and Verification: A Message Switching Network Example. 355-388

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.