On system specification

  • H. R. Wiehle
Chapter 4: Future Outlook And Research Problems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 60)


Communication Structure Functional Unit Output Event Reservation System Unlimited Capacity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Guttag 76]
    J.V. Guttag, E. Horwitz, D.R. Musser: The design of data type specifications. Proceedings 2nd International Conference on Software Engineering, IEEE, 414–420 (1976)Google Scholar
  2. [Hack 75]
    M. Hack: Decision problems for Petri-Nets and vector addition systems. MAC-TM 59, Project MAC, M.I.T., Cambridge, Mass., 1975Google Scholar
  3. [Hack 76]
    M. Hack: Petri Net languages. MAC-TR 159, Project MAC, M.I.T., Cambridge, Mass., 1976Google Scholar
  4. [Horning 73]
    J.J. Horning, B. Randell: Process Structuring. Computing Surveys 5, 1, 5–30 (1973)Google Scholar
  5. [Jones 77]
    C.B. Jones: Program Specifications and Formal Development. Proceedings International Computing Symposium 1977, 537–553. North Holland Publishing Company 1977Google Scholar
  6. [Lauer 75]
    P.E. Lauer, R.H. Campbell: Formal semantics of a class of high-level primitives for coordinating concurrent processes. Acta Informatica 5, 297–332 (1975)Google Scholar
  7. [Liskov 75]
    B. Liskov, S. Zilles: Specification techniques for data abstractions. Proceedings of ACM SIGPLAN Conference on Reliable Software. SIGPLAN Notices Vol. 10, 6, 72–87 (1975)Google Scholar
  8. [Parnas 72]
    D.L. Parnas: A technique for software module specification with examples. Comm. ACM Vol. 15, 5, 330–336 (1972)Google Scholar
  9. [Plickert 77]
    H. Plickert: Ein Ansatz zur formalisierten Behandlung der Semantik von Speichern mittels eines Maschinenmodells. Doctoral Dissertation, Faculty of Mathematics, Technical University Munich, 1977Google Scholar
  10. [Wiehle 73]
    H.R. Wiehle: Looking at software as hardware? Lecture Notes prepared for the International Summer School on Structured Programming and Programmed Structures, Munich 1973Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • H. R. Wiehle
    • 1
  1. 1.Hochschule der Bundeswehr MünchenMünchenGermany

Personalised recommendations