Languages, methods, and tools for software specification
Files
Date
1989
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Specification systems consist of methods, languages, and tools; the languages may be more or less formal. In this paper, the general ideas of semi-formal specification systems are presented, and some examples are shown.