skip to main content
10.1145/75199acmconferencesBook PagePublication PagesiwssdConference Proceedingsconference-collections
IWSSD '89: Proceedings of the 5th international workshop on Software specification and design
ACM1989 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
Pittsburgh Pennsylvania USA
ISBN:
978-0-89791-305-8
Published:
01 April 1989
Sponsors:

Reflects downloads up to 20 Feb 2025Bibliometrics
Abstract

No abstract available.

Article
Free
Article
Free
Rooting UNITY
Article
Free
Article
Free
Article
Free
A general way to put time in Petri nets
Article
Free
Toward reliable reactive systems
Article
Free
Timing extensions to structured analysis for real time systems
Article
Free
Article
Free
Interface specification with temporal logic
Article
Free
Viewpoint analysis: a case study
Article
Free
A net method for specification of reusable software
Article
Free
Larger scale systems require higher-level abstractions
Article
Free
Domain analysis: from art form to engineering discipline
Article
Free
Article
Free
Detecting interference when merging specification evolutions
Article
Free
Multiparty specification
Article
Free
Article
Free
Analogical approach to specification derivation
Contributors
  • National Science Foundation

Index Terms

  1. Proceedings of the 5th international workshop on Software specification and design

    Recommendations