Computer · 1993 · 130 citations · 9 references
ComputingComputer ScienceSystems EngineeringFeature EngineeringFormal MethodsRequirements EngineeringCommunication SystemsDesign SpecificationSoftware DesignSpecification LanguagesFeature ModelsFeature SpecificationFormal ModelingFormal SpecificationsInteraction Problem
The feature-interaction problem found in complex software systems that support telecommunications is reviewed. The relationship between feature interactions and formal specifications is examined. Several important ways telecommunications has evolved beyond plain old telephone service (POTS) are described. It is shown how many feature interactions can be eliminated by applying known techniques of formal specification. A glossary that explains telecommunications terms not defined in the text and acronyms used throughout the article is included.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
9
A specifier's introduction to formal methods
A feature-interaction benchmark for IN and beyond
E.J. Cameron, Nancy D. Griffeth, Ya‐Hui Lin et al. · IEEE Communications Magazine · 1993 · 194 citations
The feature interaction problem in telecommunications systems
T. Bowen, F.S. Dworack, Chung-Tair Chow et al. · 1989 · 124 citations