An example of formal specification as an aid to design and development

  • Authors:

  • R. B. Terwilliger;M. J. Maybee;L. J. Osterweil

  • Affiliations:

  • Department of Computer Science, University of Colorado, Boulder, CO;Department of Computer Science, University of Colorado, Boulder, CO;Department of Computer Science, University of Colorado, Boulder, CO

  • Venue:
  • IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
  • Year:
  • 1989

Quantified Score

Hi-index 0.00

Visualization

Abstract