Specs: Specification and Programming Environment for Communication Software
Specs: Specification and Programming Environment for Communication Software
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
Specifying telecommunications systems with UML
UML for real
| Hi-index | 0.00 |
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.