Author :
Dauphin, Michei ; Fonade, Georges ; Reed, Rick
Abstract :
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.<>
Keywords :
broadband networks; formal specification; research initiatives; software engineering; specification languages; telecommunications computing; Lotos; RACE I; Specification and Description Language; Specs; broadband communication; development methodology; formal description techniques; programming-infrastructure projects; prototype toolset; software adaptation; software design; software engineering; software maintenance; software testing; telecommunications-software specification; Automatic testing; Costs; Design automation; Design engineering; Formal languages; Humans; Laboratories; Prototypes; Software testing; Telecommunication control;
