Specs: Specification and Programming Environment for Communication Software
Meyer Michel, M. Dauphin, Rick Reed, Wiet Bouma, J. D. Evans · Elsevier eBooks · 1993
Part 1 SPECS - the project and the book: the RACE definition phase the RACE main phase 1988-92 the context and challenge. Part 2 SPECS methodology - specification: goal of specification activities specification activities tools to support specification the application of specification methods. Part 3 Design and implementation: goals of design and implementation design and implementation activities tools to support design and implementation the application of design and implementation methods. Part 4 Testing: goals of testing testing activities tools to support testing the application of test execution mehtods. Part 5 Methodology aspects: the SPECS architecture, architecture and the common semantic layer: the common semantic layer property languages in the SPECS architecture the SPECS prototype architecture construction of the prototype SPECS. Part 6 Specification architecture: editors other specification tools meta-tools. Part 7 Analysis architecture: translators simulation tool (simulator). Part 8 Design and implementation architecture: tools for creating programs translation from LOTUS to I-CRL. (Part contents).