| 
|
Quote: Larch shared and interface languages for incremental construction of readable specifications from other specifications; includes theorem prover for semantic checking
topics >
all references >
references g-h >
Group:
requirement specification
Topic:
theorem proving systems
Topic:
design documentation
Quotation Skeleton
Each [Larch] specification has components written in two … is common to all languages. … The Larch languages are designed for incremental construction … The Larch languages are designed to be readable. … The Larch languages are designed to enable extensive … use of a powerful theorem prover for semantic … Google-1 Google-2
Copyright clearance needed for quotation.
Group: requirement specification (11 topics, 306 quotes)
Topic: theorem proving systems (20 items)
Topic: design documentation (43 items)