Neeraj K. Gupta, Lalita Jategaonkar Jagadeesan, Eleftherios E. Koutsofios, David M. Weiss  Home/Search
Context Related
| belllabs.com/user/lalita/pap...RE97.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/user/lalita/pubs (more) Homepages: D.Weiss |
Rate this article:      (best)Comment on this article |
Abstract: Through a research/development collaboration, we have applied the FAST domain engineering process to the audits software in Lucent Technologies' 5ESS telephone switching system. Our collaboration has developed an application-oriented language, toolset, and accompanying process for specifying the requirements and generating the code for the 5ESS audits software. We describe the FAST process, our language, and the expected benefits of this project. Keywords requirements specification,... (Update)
Cited by: More
Enhancing Server Availability and Security through .. - Rinard, Cadar.. (2004) (Correct)
Data Structure Repair Using Goal-Directed Reasoning - Brian Demsky Massachusetts (Correct)
Families of Formal Requirements in Telephone Switching - Bredereke (2000) (Correct)
Similar documents (at the sentence level):
58.9%: Auditdraw: Generating Audits the FAST Way - Neeraj Gupta Lalita (1997) (Correct)
Active bibliography (related documents): More All
0.5: From Domain Analysis to Domain-Specific Languages - Lisa Walton (1998) (Correct)
0.1: Model-Checking of Real-Time Systems: A.. - Alur, Jagadeesan, .. (1997) (Correct)
0.1: Safety Property Verification of ESTEREL Programs and .. - Jagadeesan, Puchol, .. (1995) (Correct)
Similar documents based on text: More All
0.3: Causality and True Concurrency: A Data-flow Analysis of.. - Jagadeesan, Jagadeesan (1995) (Correct)
0.2: Model Checking Without a Model: An Analysis of the.. - Godefroid, Hanmer.. (1998) (Correct)
0.2: A Framework for Evaluating Specification Methods.. - Ardis, Chaves.. (1996) (Correct)
Related documents from co-citation: More All
8: Two application languages in software production - Ladd, Ramming - 1994
7: switching system: Maintenance capabilities (context) - Haugk, Lax et al. - 1985
7: Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
BibTeX entry: (Update)
N.K. Gupta, L. J. Jagadeesan, E. E. Koutsofios, and D. M. Weiss. Auditdraw: Generating audits the fast way. In Proceedings of the Third IEEE Symposium on Requirements Engineering, pages 188--197, January 1997. http://citeseer.ist.psu.edu/gupta97auditdraw.html More
@inproceedings{ gupta97auditdraw,
author = "N. Gupta and L. Jagadeesan and E. Koutsofios and D. Weiss",
title = "Auditdraw: Generating Audits the {FAST} Way",
booktitle = "Proceedings of the 3rd {IEEE} International Symposium on Requirements Engineering",
year = "1997",
url = "citeseer.ist.psu.edu/gupta97auditdraw.html" }
Citations (may not include all citations):67 IEEE Transactions on Software Engineering (context) - Parnas, design et al. - 1976
31 Applications of graph visualization - Koutsofios, North - 1994
18 Introduction to the 5ESS (context) - Martersteck, Spencer - 1985
15 switching system: Maintenance capabilities (context) - Haugk, Lax et al. - 1985
2 Commonality analysis for audits (context) - Babu, Baron et al. - 1994
2 Technical Report INTRO-SYNTHESIS-PROCESS-90019-N (context) - Jr, Faulk et al. - 1990
2 User's guide for auditdraw (context) - Gupta, Jagadeesan et al. - 1995
2 Software Productivity Consortium (context) - guidebook, methodology et al. - 1991
2 Software Productivity Consortium (context) - guidebook, ii et al. - 1991
1 Submitted to IEEE Transactions on Software Engineering (context) - Weiss, The - 1996
1 Technical Report Bell Labs Technical Memorandum (context) - Lai, Weiss et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www1.bell-labs.com/user/lalita/pubs.html): More
Sisl: Several Interfaces, Single Logic - Ball, Colby, Danielsen.. (2000) (Correct)
Design and Implementation of Triveni: a.. - Colby.. (1998) (Correct)
Safety Property Verification of ESTEREL Programs and .. - Jagadeesan, Puchol, .. (1995) (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