Larch: Languages and Tools for Formal Specification
1993
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification work taking place at DEC and MIT, it discusses the use of formal specifications in program development and introduces the notation of mathematical logic.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
71
References
555
Citations
NaN
KQI