Requirements for Telecommunications Services: An Attack on Complexity

Authors:
Pamela Zave;Michael Jackson
Affiliations:
-;-
Venue:
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Year:
1997

Citing 0
Cited 4

Pinnacles of software engineering: 25 years of formal methods

Annals of Software Engineering
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications

TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
A formal model for reasoning about adaptive QoS-enabled middleware

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In engineering the requirements for a telecommunications system, the greatest obstacle to be overcome is the sheer complexity of the required behavior. We present several ways of managing and minimizing this complexity, all of proven effectiveness. Most of the specification techniques result from specific application of general requirements principles to the telecommunications domain.