dblp.uni-trier.dewww.uni-trier.de

Richard C. Linger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
40EEGwendolyn H. Walton, Thomas A. Longstaff, Richard C. Linger: Computational Evaluation of Software Security Attributes. HICSS 2009: 1-10
2008
39EEMark G. Pleszkoch, Richard C. Linger, Alan R. Hevner: Introducing function extraction into software testing. DATA BASE 39(3): 41-50 (2008)
2007
38EEAlan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Next-Generation Software Engineering Introduction to Minitrack. HICSS 2007: 276
37EERichard C. Linger, Mark G. Pleszkoch, Luanne Burns, Alan R. Hevner, Gwendolyn H. Walton: Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior. HICSS 2007: 277
2006
36EECasey K. Fung, Patrick C. K. Hung, Richard C. Linger, Guijun Wang, Gwendolyn H. Walton: A Service-Oriented Composition Framework with QoS Management. Int. J. Web Service Res. 3(3): 108-132 (2006)
2005
35EECasey K. Fung, Patrick C. K. Hung, Richard C. Linger, Gwendolyn H. Walton: Extending Business Process Execution Language for Web Services with Service Level Agreements Expressed in Computational Quality Attributes. HICSS 2005
34EEAlan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Testing and Certification of Trustworthy Systems Introduction to Minitrack. HICSS 2005
33EECasey K. Fung, Patrick C. K. Hung, Guijun Wang, Richard C. Linger, Gwendolyn H. Walton: A Study of Service Composition with QoS Management. ICWS 2005: 717-724
2004
32EERichard C. Linger, Alan R. Hevner, Gwendolyn H. Walton, Mark G. Pleszkoch: Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development. HASE 2004: 265-266
31EERichard C. Linger, Mark G. Pleszkoch: Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. HASE 2004: 267-268
30EEMark G. Pleszkoch, Richard C. Linger: Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior. HICSS 2004
29EEAlan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Testing and Certification of Trustworthy Systems: Minitrack Introduction. HICSS 2004
2003
28EEAlan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Testing and Certification of Trustworthy Systems Introduction to Minitrack. HICSS 2003: 336
2002
27EEAnn E. Kelley Sobel, Richard C. Linger: Minitrack Introduction. HICSS 2002: 275
26EEAlan R. Hevner, Richard C. Linger, Ann E. Kelley Sobel, Gwendolyn H. Walton: The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems. HICSS 2002: 278
2001
25EEAnn E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Minitrack Introduction. HICSS 2001
24 Nancy R. Mead, Richard C. Linger, John McHugh, Howard F. Lipson: Managing Software Development for Survivable Systems. Ann. Software Eng. 11(1): 45-78 (2001)
2000
23EESanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff: Survivability Analysis of Network Specifications. DSN 2000: 613-622
22EEAnn E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Introduction. HICSS 2000
1999
21EERobert Oshana, Richard C. Linger: Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project. HICSS 1999
20EEAlan R. Hevner, Richard C. Linger: Methods and Tools for Information Systems Development - Introduction. HICSS 1999
19EERichard C. Linger: Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software. HICSS 1999
18 Robert J. Ellison, David A. Fisher, Richard C. Linger, Howard F. Lipson, Thomas A. Longstaff, Nancy R. Mead: Survivability: Protecting Your Critical Systems. IEEE Internet Computing 3(6): 55-63 (1999)
17EERobert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead: Survivable Network System Analysis: A Case Study. IEEE Software 16(4): 70-77 (1999)
1998
16EEAlan R. Hevner, Richard C. Linger: Methods and Tools for Information Systems Development: Introduction to Minitrack. HICSS (6) 1998: 72
15EERichard C. Linger, Nancy R. Mead, Howard F. Lipson: Requirements Definition for Survivable Network Systems. ICRE 1998: 14-23
14EERichard C. Linger: Issues in Requirements Definition for Survivable Systems. ICRE 1998: 198-
13EERobert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead: Case Study in Survivable Network System Analysis CoRR cs.SE/9811011: (1998)
1997
12EERichard C. Linger, Carmen J. Trammell: Integrating Software Development Technology and Management: Cleanroom Software Engineering and the CMM for Software. HICSS (3) 1997: 188-197
1994
11 Philip A. Hausler, Richard C. Linger: From software craft to software engineering: the Cleanroom method. SEKE 1994: 172-179
10 Philip A. Hausler, Richard C. Linger, Carmen J. Trammell: Adopting Cleanroom Software Engineering with a Phased Approach. IBM Systems Journal 33(1): 89-109 (1994)
9EERichard C. Linger: Cleanroom Process Model. IEEE Software 11(2): 50-58 (1994)
1993
8EERichard C. Linger: Cleanroom Software Engineering for Zero-Defect Software. ICSE 1993: 2-13
1992
7 R. A. Sprangler, Richard C. Linger: The IBM Cleanroom Software Engineering Technology Transfer Program. CSEE 1992: 380-394
1990
6 Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner: Using Function Abstraction to Understand Program Behavior. IEEE Software 7(1): 55-63 (1990)
1989
5 Richard C. Linger: Mathematics-Based Software Engineering for Completely Validated Software. ICSE 1989: 358
1987
4 Harlan D. Mills, Richard C. Linger, Alan R. Hevner: Box Structured Information Systems. IBM Systems Journal 26(4): 395-413 (1987)
1986
3 Harlan D. Mills, Richard C. Linger: Data Structured Programming: Program Design without Arrays and Pointers. IEEE Trans. Software Eng. 12(2): 192-197 (1986)
1981
2EEC. Sekar Chandersekaran, Richard C. Linger: Software specification using the SPECIAL language. Journal of Systems and Software 2(1): 31-38 (1981)
1980
1 Richard C. Linger: The Management of Software Engineering. Part III: Software Design Practices. IBM Systems Journal 19(4): 432-450 (1980)

Coauthor Index

1Luanne Burns [37]
2C. Sekar Chandersekaran [2]
3Robert J. Ellison [13] [17] [18]
4David A. Fisher [18]
5Casey K. Fung [33] [35] [36]
6Philip A. Hausler [6] [10] [11]
7Alan R. Hevner [4] [6] [16] [20] [26] [28] [29] [32] [34] [37] [38] [39]
8Patrick C. K. Hung [33] [35] [36]
9Sanjay K. Jha [23]
10Howard F. Lipson [15] [18] [24]
11Thomas A. Longstaff [13] [17] [18] [23] [40]
12John McHugh [24]
13Nancy R. Mead [13] [15] [17] [18] [24]
14Harlan D. Mills [3] [4]
15Robert Oshana [21]
16Mark G. Pleszkoch [6] [30] [31] [32] [37] [39]
17Ann E. Kelley Sobel [22] [25] [26] [27]
18R. A. Sprangler [7]
19Carmen J. Trammell [10] [12]
20Gwendolyn H. Walton [26] [28] [29] [32] [33] [34] [35] [36] [37] [38] [40]
21Guijun Wang [33] [36]
22Jeannette M. Wing [23]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)