15 citations found. Retrieving documents...
N. Gupta, L. Jagadeesan, E. Koutsofios, and D. Weiss. Auditdraw: Generating audits the FAST way. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, 1997.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Automatic Data Structure Repair for Self-Healing Systems - Brian Demsky Massachusetts (2003)   (2 citations)  (Correct)

....that periodically inspect their data structures to nd and repair inconsistencies. The reported results indicate an order of magnitude increase in the reliability of the system [8] Researchers have also developed a domain speci c language for specifying these procedures for the 5ESS system [9]. The goal is to enhance the reliability and reduce the development time of the inconsistency detection and repair software. 5.2 Recovery Oriented Computing Researchers in the area of recovery oriented computing have developed a variety of techniques to help software recover from runtime errors ....

N. Gupta, L. Jagadeesan, E. Koutso os, and D. Weiss. Auditdraw: Generating audits the FAST way. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, 1997.


Automatic Detection and Repair of Errors in Data Structures - Demsky, Rinard (2002)   (5 citations)  (Correct)

....that periodically inspect their data structures to find and repair inconsistencies. The reported results indicate an order of magnitude increase in the reliability of the system [7] Researchers have also developed a domain specific language for specifying these procedures for the 5ESS system [8]. The goal is to enhance the reliability and reduce the development time of the inconsistency detection and repair software. These successful, widely used systems illustrate the utility of performing inconsistency detection and repair. We see our use of declarative specifications coupled with ....

N. Gupta, L. Jagadeesan, E. Koutsofios, and D. Weiss. Auditdraw: Generating audits the FAST way. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, 1997.


A DSL Approach to Improve Productivity and Safety.. - Reveillere.. (2000)   (2 citations)  (Correct)

....by Jim Allchin (Senior Vice President in charge of Windows 2000) COMDEX, November 15th 1999. worldwide and used on a daily basis, e.g. SQL, Unix shells, makefiles, etc. DSLs have been used in various domains such as graphics [12, 15] financial products [2] telephone switching systems [13, 17], protocols [5, 23] operating systems [20] device drivers [25] routers in networks [23] and robot languages [3] This profusion shows the recent attention that DSLs have received from both the research and industrial communities. The following points explain why DSLs are more attractive than ....

N. 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, Jan. 1997.


Formal Language Design in the Context of Domain Engineering - Widen (1998)   (1 citation)  (Correct)

....Lucent, this is the most effective way to get a method adopted. If the engineers have faith in a product then others will trust them and follow suit. 3.3.3. The FAST Method The information presented here is adopted from documents, course notes and the formal process definition of FAST in Pasta. [51,52,53,54] Additional information was gathered in informal discussions with FAST developers and users during a collaboration project between PacSoft and Lucent. A high level view of the method is shown in Figure 7. A detailed description follows. 3.3.3.1. Analyze Family The analyze family process includes ....

N. Gupta, L. Jagadeesan, E. Koutsofios, and D. Weiss, Auditdraw: Generating Audits the FAST Way, in Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, Jan. 1997.


A DSL Approach to Improve Productivity and Safety in Device .. - Réveillère, Muller (2000)   (2 citations)  (Correct)

....and less expressive than a general purpose language. Examples of DSL are numerous. Some are distributed worldwide and used on a daily basis, e.g. SQL, Unix shells, makefiles. DSLs have been used in various domains such as graphics [12, 15] financial products [2] telephone switching systems [13, 17], protocols [5, 23] operating systems [20] device drivers [25] routers in networks [23] and robot languages [3] This profusion shows the recent attention that DSLs have received from both the research and industrial communities. The following points explain why DSLs are more attractive than ....

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.


Modular, Changeable Requirements for Telephone Switching in CSP-OZ - Bredereke (1999)   (Correct)

....members. As with families of programs, it is crucial to identify early what are the common parts of the family, on which most other parts will depend. Accordingly, we have to do an SCV analysis (scope, commonality, and variability) of the family, as proposed by Weiss and others [CHW98, CuWe98, GJKW97] for families of programs. We do not already specify any conceivable telephone switching system, but we determine which requirements aspects will be common 17 to all conceivable systems, which aspects will be common to only some versions, and which aspects are highly special to the particular ....

Gupta, N. K., Jagadeesan, L. J., Koutsofios, E. E., and Weiss, D. M. Auditdraw: Generating audits the FAST way . In "3rd IEEE Int'l Symposium on Requirements Engineering", pp. 188--197, Annapolis, MD, USA (6--10 Jan. 1997). IEEE Computer Society Press. 59


Domain-Specific Languages: from Design to Implementation .. - Thibault, Marlet, Consel (1999)   (3 citations)  (Correct)

....1 http: www.irisa.fr compose gal have also been called application domain languages [7] little or micro languages [2] and are related to scripting languages. DSLs have been used in various domains such as graphics [14, 19] financial products [1] telephone switching systems [15, 21], protocols [8, 31] operating systems [28] and robot languages [5] Languages such as SQL, T E X and Unix shell languages may also be considered DSLs. Software architectures based on DSLs are primarily aimed at achieving faster development of safer applications. Because constructs in a DSL ....

....be seen as a way to parameterize a generic application or to designate a member of a program family. A program family is a set of programs that share enough characteristics that it is worthwhile to study them as a whole. In fact, designing a DSL actually involves the same commonality analysis [15] that is used in the study of a program family, i.e. determining assumptions that are true for all members of the family and variations among members. This process should be performed by both domain experts and software engineers. Though actual uses of DSLs record benefits such as productivity, ....

[Article contains additional citation context not shown here]

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.


A Domain-Specific Language for Video Device Drivers.. - Thibault, Marlet, Consel (1997)   (6 citations)  (Correct)

....may be textual or graphic. DSLs have also been called application domain languages [6] little or micro languages [2] and are related to coordination languages [8] and scripting languages [18] DSLs have been used in various domains such as financial products [1, 21] telephone switching systems [12, 17], operating systems [19] protocols [7] and robot languages [5] Languages such as SQL, T E X and shells may also be considered DSLs. Software architectures based on DSLs primarily aim at achieving faster development of safer applications. Because constructs in a DSL abstract key concepts of the ....

....also be seen as a way to parameterize a generic application or to designate a member of a program family. A program family is a set of programs that share enough characteristics that it is worthwhile to study them as a whole. In fact, designing a DSL actually involves the same commonality analysis [12] that is used in the study of a program family: assumptions that are true for all members of the family and variations among members. This process should be performed both by domain experts and software engineers. Though actual uses of DSLs record benefits such as productivity, reliability and ....

[Article contains additional citation context not shown here]

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 International Symposium on Requirements Engineering, pages 188--197, January 1997.


Architecturing Software Using A Methodology for Language.. - Consel, Marlet (1998)   (10 citations)  (Correct)

....to be developed address an isolated problem Could it be a member of a future program family The fact is that existing DSLs do implement program families. Examples are numerous; DSLs have been used in various domains such as graphics [12, 19] financial products [1] telephone switching systems [13, 21], protocols [4, 35] operating systems [29] device drivers [37] routers in networks [35] and robot c fl LNCS To appear in PLILP 98 languages [2] This profusion also shows the recent attention that DSLs have received from both the research and industrial communities. 1.4 How to develop a ....

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.


Enhancing Server Availability and Security through .. - Rinard, Cadar.. (2004)   (3 citations)  (Correct)

No context found.

N. Gupta, L. Jagadeesan, E. Koutsofios, and D. Weiss. Auditdraw: Generating audits the FAST way. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, 1997.


Data Structure Repair Using Goal-Directed Reasoning - Brian Demsky Massachusetts   (Correct)

No context found.

N. Gupta, L. Jagadeesan, E. Koutsofios, and D. Weiss. Auditdraw: Generating audits the FAST way. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, 1997.


Families of Formal Requirements in Telephone Switching - Bredereke (2000)   (1 citation)  (Correct)

No context found.

Neeraj K. Gupta, Lalita Jategaonkar Jagadeesan, Eleftherios E. Koutsofios, and David M. Weiss. Auditdraw: Generating audits the FAST way. In "3rd IEEE Int'l Symposium on Requirements Engineering", pages 188--197, Annapolis, MD, USA (6--10 January 1997). IEEE Computer Society Press.


Automatic Detection and Repair of Errors in Data - Structures Brian Demsky   (Correct)

No context found.

N. Gupta, L. Jagadeesan, E. Koutsofios, and D. Weiss. Auditdraw: Generating audits the FAST way. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, 1997.


Static Specification Analysis for Termination of - Specification-Based Data..   (Correct)

No context found.

N. Gupta, L. Jagadeesan, E. Koutsofios, and D. Weiss. Auditdraw: Generating audits the FAST way. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, 1997.


Automatic Data Structure Repair for Self-Healing Systems - Demsky, Rinard (2003)   (2 citations)  (Correct)

No context found.

N. Gupta, L. Jagadeesan, E. Koutso os, and D. Weiss. Auditdraw: Generating audits the FAST way. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, 1997.

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