This Article 
 Bibliographic References 
 Add to: 
Specs: Making Formal Techniques Usable
November/December 1993 (vol. 10 no. 6)
pp. 55-57

Specs, one of the RACE I programming-infrastructure projects, designed to improve software engineering for integrated, broadband communication, is described. Specs is a development methodology that maximizes the automation of telecommunications-software specification, design, implementation, testing, execution, maintenance, and adaptation. To accomplish this, Specs makes formal description techniques like the Specification and Description Language and Lotos usable. The project produced a set of methods, interfaces, functions, and techniques, whose feasibility and efficacy have been demonstrated by a prototype toolset used in a pilot project.

Index Terms:
software design; software testing; software maintenance; software adaptation; Specs; RACE I; programming-infrastructure projects; software engineering; broadband communication; development methodology; telecommunications-software specification; formal description techniques; Specification and Description Language; Lotos; prototype toolset; broadband networks; formal specification; research initiatives; software engineering; specification languages; telecommunications computing
Michel Dauphin, Georges Fonade, Rick Reed, "Specs: Making Formal Techniques Usable," IEEE Software, vol. 10, no. 6, pp. 55-57, Nov.-Dec. 1993, doi:10.1109/52.241969
Usage of this product signifies your acceptance of the Terms of Use.