- D. Kapur and D. R. Musser, Tecton: a framework for
specifying and verifying generic system components.
This paper is mostly superceded by the one following, but the introduction
section may still be useful.
- D. R. Musser, The Tecton Concept Description
Language, working draft of a paper that revises and
attempts to clarify the semantics of Tecton.
- D. R. Musser, Tecton Description of
STL Container and Iterator Concepts, working draft
of a paper that uses the Tecton concept description language to
give the first rigorous specification of key STL concepts and
component semantics.
|