Issue No. 06 - November/December (1993 vol. 10)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.241969
<p>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.</p>
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
G. Fonade, R. Reed and M. Dauphin, "Specs: Making Formal Techniques Usable," in IEEE Software, vol. 10, no. , pp. 55-57, 1993.