See this document in CiteSeerX!

Lecture Outline And Bibliography On Specification And Verification Of Telecommunication Services  (Make Corrections)  
Pamela Zave



  Home/Search   Context   Related

 
View or download:
att.com/~pamela/mark.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  att.com/~pamela/cri (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: ted speech recognition and because it allows immediate, unilateral expansion of services beyond what the current out-of-band protocols support. 2.5. Inadequacies of the "call model" 5 ,6 ,7 ,8 Most description techniques for telecommunication services have at their base the notion of a "call," which entails a one-to-one-to-one correspondence of caller, callee, and voice path. The call model is not a good basis for description of telecommunication services because it is not general... (Update)

Similar documents (at the sentence level):
6.1%:   Systematic Design of Call-Coverage Features - Zave (1999)   (Correct)

Active bibliography (related documents):   More   All
1.3:   A Component-Based Approach To Telecommunication Software - Zave, Jackson (1998)   (Correct)
0.9:   Distributed Feature Composition: A Virtual Architecture For.. - Jackson, Zave (1998)   (Correct)
0.8:   Formal Description of Telecommunication Services in Promela and Z - Zave (1999)   (Correct)

Similar documents based on text:   More   All
0.4:   An Architecture for Three Challenging Features - Zave (2001)   (Correct)
0.3:   Performance Visualization of Parallel Systems: The PAMELA VIEWER. - Hartman (1997)   (Correct)
0.3:   DFC modifications I (Version 2): Routing extensions - Zave, Jackson   (Correct)

BibTeX entry:   (Update)

@misc{ zave-lecture,
  author = "Pamela Zave",
  title = "Lecture Outline And Bibliography On Specification And Verification Of Telecommunication
    Services",
  url = "citeseer.ist.psu.edu/411282.html" }
Citations (may not include all citations):
579   Software Architecture: Perspectives on an Emerging Disciplin.. (context) - Shaw, Garlan - 1996
66   ACM Transactions on Software Engineering and Methodology IV (context) - Jackson, with - 1995
57   Feature Interactions in Telecommunications Systems (context) - Bouma, Velthuijsen - 1994
50   Feature interactions and formal specifications in telecommun.. (context) - Zave - 1993
42   Distributed feature composition: A virtual architecture for .. - Jackson, Zave
40   Functional specification of time-sensitive communicating sys.. - Broy - 1993
24   Prentice-Hall International (context) - Woodcock, Davies et al. - 1996
23   Feature Interactions in Telecommunications Systems III (context) - Cheng, Ohta - 1995
23   Feature Interactions in Telecommunication Networks IV (context) - Dini, Boutaba et al. - 1997
18   Issues of non-monotonicity in feature-interaction detection (context) - Velthuijsen
12   A component-based approach to telecommunication software - Zave, Jackson
9   Calls considered harmful (context) - Zave - 1998
9   Extending telecommunications systems: The feature-interactio.. (context) - Griffeth, Lin - 1993
5   Systematic design of call-coverage features - Zave
5   The feature interaction problem in networked multimedia serv.. (context) - Tsang, Magill et al. - 1997
4   Computer Networks and ISDN Systems XXV (context) - Holzmann, validation et al. - 1993
3   The DFC virtual architecture: Scenarios for use and plans fo.. (context) - Zave, Jackson - 1997
2   IEEE Communications Magazine XXXV (context) - Tennenhouse, Smith et al. - 1997
2   IEEE Communications Magazine XXXI (context) - Cameron, Griffeth et al. - 1993
1   Formal specification of an architecture for telecommunicatio.. (context) - Zave

Documents on the same site (http://www.research.att.com/~pamela/cri.html):   More
Where Do Operations Come From? A Multiparadigm Specification.. - Michael (1996)   (Correct)
DFC modifications I (Version 2): Routing extensions - Zave, Jackson   (Correct)
New Feature Interactions in Mobile and Multimedia.. - Zave, Jackson (2000)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC