The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - November/December (1993 vol.10)
pp: 55-57
ABSTRACT
<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>
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
CITATION
Georges Fonade, Michel Dauphin, "Specs: Making Formal Techniques Usable", IEEE Software, vol.10, no. 6, pp. 55-57, November/December 1993, doi:10.1109/52.241969
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool