The Community for Technology Leaders
Green Image
Issue No. 06 - November/December (1993 vol. 10)
ISSN: 0740-7459
pp: 55-57
<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
Georges Fonade, Rick Reed, Michel Dauphin, "Specs: Making Formal Techniques Usable", IEEE Software, vol. 10, no. , pp. 55-57, November/December 1993, doi:10.1109/52.241969
106 ms
(Ver 3.3 (11022016))