[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Jonsson et al., 2001 - Google Patents

Incremental requirement specification for evolving systems

Jonsson et al., 2001

View PDF
Document ID
12252858003603590343
Author
Jonsson B
Margaria T
Naeser G
Nyström J
Steffen B
Publication year
Publication venue
Nord. J. Comput.

External Links

Snippet

We propose a technique for hierarchically structuring requirement specifications in a way that simplifies change management. Our technique decomposes the process of requirement specification and validation. Specifications, added or modified incrementally on various …
Continue reading at www.researchgate.net (PDF) (other versions)

Classifications

    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04M—TELEPHONIC COMMUNICATION
    • H04M3/00—Automatic or semi-automatic exchanges
    • H04M3/22—Supervisory, monitoring, management, i.e. operation, administration, maintenance or testing arrangements
    • H04M3/24—Supervisory, monitoring, management, i.e. operation, administration, maintenance or testing arrangements with provision for checking the normal operation
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04Q—SELECTING
    • H04Q3/00—Selecting arrangements
    • H04Q3/0016—Arrangements providing connection between exchanges
    • H04Q3/0029—Provisions for intelligent networking
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04M—TELEPHONIC COMMUNICATION
    • H04M3/00—Automatic or semi-automatic exchanges
    • H04M3/22—Supervisory, monitoring, management, i.e. operation, administration, maintenance or testing arrangements
    • H04M3/2281—Call monitoring, e.g. for law enforcement purposes; Call tracing; Detection or prevention of malicious calls
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04M—TELEPHONIC COMMUNICATION
    • H04M3/00—Automatic or semi-automatic exchanges
    • H04M3/42—Systems providing special services or facilities to subscribers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04Q—SELECTING
    • H04Q3/00—Selecting arrangements
    • H04Q3/64—Distributing or queueing
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04M—TELEPHONIC COMMUNICATION
    • H04M7/00—Interconnection arrangements between switching centres
    • H04M7/12—Interconnection arrangements between switching centres for working between exchanges having different types of switching equipment, e.g. power-driven and step by step, decimal and non-decimal, circuit-switched and packet-switched, i.e. gateway arrangements
    • H04M7/1205—Interconnection arrangements between switching centres for working between exchanges having different types of switching equipment, e.g. power-driven and step by step, decimal and non-decimal, circuit-switched and packet-switched, i.e. gateway arrangements where the types of switching equipement comprises PSTN/ISDN equipment and switching equipment of networks other than PSTN/ISDN, e.g. Internet Protocol networks
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04M—TELEPHONIC COMMUNICATION
    • H04M15/00—Arrangements for metering, time-control or time indication ; Metering, charging or billing arrangements for voice wireline or wireless communications, e.g. VoIP

Similar Documents

Publication Publication Date Title
Jonsson et al. Incremental requirement specification for evolving systems
Cheng et al. Feature Interactions in Telecommunications Systems, III
Holzmann et al. A practical method for verifying event-driven software
Klein et al. Feature specification and refinement with state transition diagrams
Felty et al. Feature specification and automated conflict detection
Hassine et al. Change impact analysis for requirement evolution using use case maps
US20020085696A1 (en) Methods and apparatus for call service processing
Gibson Feature Requirements Models: Understanding Interactions.
Lin et al. A building block approach to detecting and resolving feature interactions
US6185519B1 (en) Method and system for feature interaction detection in a telecommunication network
Faci et al. Structural models for specifying telephone systems
Layouni et al. Conflict detection in call control using first-order logic model checking
Stepien et al. Representing and Verifying Intentions in Telephony Features Using Abstract Data Types.
Specification et al. Feature Interactions in Telecommunications 145 and Software Systems VI M. Calder and E. Magill IOS Press, 2000
Combes et al. Service validation
US6456707B2 (en) Feature implementation and provisioning by injection
Lin et al. A methodology for feature interaction detection in the AIN 0.1 framework
Cavalli et al. A new algorithm for service interaction detection
Dinkelaker et al. Using aspect-oriented state machines for detecting and resolving feature interactions
Kimbler et al. Comprehensive approach to service interaction handling
Bruns et al. Features as service transformers
Gorse et al. Detecting feature interaction in CPL
Nejati et al. Towards compositional synthesis of evolving systems
Bouma et al. Formalisation of properties for feature interaction detection: Experience in a real-life situation
Lano Distributed system specification in vdm++