Search the dblp DataBase
Richard C. Linger :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
R. A. Sprangler , Richard C. Linger The IBM Cleanroom Software Engineering Technology Transfer Program. [Citation Graph (0, 0)][DBLP ] CSEE, 1992, pp:380-394 [Conf ] Sanjay K. Jha , Jeannette M. Wing , Richard C. Linger , Thomas A. Longstaff Survivability Analysis of Network Specifications. [Citation Graph (0, 0)][DBLP ] DSN, 2000, pp:613-622 [Conf ] Richard C. Linger , Alan R. Hevner , Gwendolyn H. Walton , Mark G. Pleszkoch Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development. [Citation Graph (0, 0)][DBLP ] HASE, 2004, pp:265-266 [Conf ] Richard C. Linger , Mark G. Pleszkoch Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. [Citation Graph (0, 0)][DBLP ] HASE, 2004, pp:267-268 [Conf ] Casey 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. [Citation Graph (0, 0)][DBLP ] HICSS, 2005, pp:- [Conf ] Alan R. Hevner , Richard C. Linger Methods and Tools for Information Systems Development: Introduction to Minitrack. [Citation Graph (0, 0)][DBLP ] HICSS (6), 1998, pp:72- [Conf ] Alan R. Hevner , Richard C. Linger Methods and Tools for Information Systems Development - Introduction. [Citation Graph (0, 0)][DBLP ] HICSS, 1999, pp:- [Conf ] Alan R. Hevner , Richard C. Linger , Ann E. Kelley Sobel , Gwendolyn H. Walton The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems. [Citation Graph (0, 0)][DBLP ] HICSS, 2002, pp:278- [Conf ] Alan R. Hevner , Richard C. Linger , Gwendolyn H. Walton Testing and Certification of Trustworthy Systems Introduction to Minitrack. [Citation Graph (0, 0)][DBLP ] HICSS, 2003, pp:336- [Conf ] Alan R. Hevner , Richard C. Linger , Gwendolyn H. Walton Testing and Certification of Trustworthy Systems: Minitrack Introduction. [Citation Graph (0, 0)][DBLP ] HICSS, 2004, pp:- [Conf ] Alan R. Hevner , Richard C. Linger , Gwendolyn H. Walton Testing and Certification of Trustworthy Systems Introduction to Minitrack. [Citation Graph (0, 0)][DBLP ] HICSS, 2005, pp:- [Conf ] Richard C. Linger Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software. [Citation Graph (0, 0)][DBLP ] HICSS, 1999, pp:- [Conf ] Richard C. Linger , Carmen J. Trammell Integrating Software Development Technology and Management: Cleanroom Software Engineering and the CMM for Software. [Citation Graph (0, 0)][DBLP ] HICSS (3), 1997, pp:188-197 [Conf ] Robert Oshana , Richard C. Linger Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project. [Citation Graph (0, 0)][DBLP ] HICSS, 1999, pp:- [Conf ] Mark G. Pleszkoch , Richard C. Linger Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior. [Citation Graph (0, 0)][DBLP ] HICSS, 2004, pp:- [Conf ] Ann E. Kelley Sobel , Richard C. Linger Advances in Software Specification and Verification - Introduction. [Citation Graph (0, 0)][DBLP ] HICSS, 2000, pp:- [Conf ] Ann E. Kelley Sobel , Richard C. Linger Advances in Software Specification and Verification - Minitrack Introduction. [Citation Graph (0, 0)][DBLP ] HICSS, 2001, pp:- [Conf ] Ann E. Kelley Sobel , Richard C. Linger Minitrack Introduction. [Citation Graph (0, 0)][DBLP ] HICSS, 2002, pp:275- [Conf ] Richard C. Linger , Mark G. Pleszkoch , Luanne Burns , Alan R. Hevner , Gwendolyn H. Walton Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior. [Citation Graph (0, 0)][DBLP ] HICSS, 2007, pp:277- [Conf ] Alan R. Hevner , Richard C. Linger , Gwendolyn H. Walton Next-Generation Software Engineering Introduction to Minitrack. [Citation Graph (0, 0)][DBLP ] HICSS, 2007, pp:276- [Conf ] Richard C. Linger Issues in Requirements Definition for Survivable Systems. [Citation Graph (0, 0)][DBLP ] ICRE, 1998, pp:198-0 [Conf ] Richard C. Linger , Nancy R. Mead , Howard F. Lipson Requirements Definition for Survivable Network Systems. [Citation Graph (0, 0)][DBLP ] ICRE, 1998, pp:14-23 [Conf ] Richard C. Linger Mathematics-Based Software Engineering for Completely Validated Software. [Citation Graph (0, 0)][DBLP ] ICSE, 1989, pp:358- [Conf ] Richard C. Linger Cleanroom Software Engineering for Zero-Defect Software. [Citation Graph (0, 0)][DBLP ] ICSE, 1993, pp:2-13 [Conf ] Casey K. Fung , Patrick C. K. Hung , Guijun Wang , Richard C. Linger , Gwendolyn H. Walton A Study of Service Composition with QoS Management. [Citation Graph (0, 0)][DBLP ] ICWS, 2005, pp:717-724 [Conf ] Philip A. Hausler , Richard C. Linger From software craft to software engineering: the Cleanroom method. [Citation Graph (0, 0)][DBLP ] SEKE, 1994, pp:172-179 [Conf ] Nancy R. Mead , Richard C. Linger , John McHugh , Howard F. Lipson Managing Software Development for Survivable Systems. [Citation Graph (0, 0)][DBLP ] Ann. Software Eng., 2001, v:11, n:1, pp:45-78 [Journal ] Robert J. Ellison , Richard C. Linger , Thomas A. Longstaff , Nancy R. Mead Case Study in Survivable Network System Analysis [Citation Graph (0, 0)][DBLP ] CoRR, 1998, v:0, n:, pp:- [Journal ] Philip A. Hausler , Richard C. Linger , Carmen J. Trammell Adopting Cleanroom Software Engineering with a Phased Approach. [Citation Graph (0, 0)][DBLP ] IBM Systems Journal, 1994, v:33, n:1, pp:89-109 [Journal ] Richard C. Linger The Management of Software Engineering. Part III: Software Design Practices. [Citation Graph (0, 0)][DBLP ] IBM Systems Journal, 1980, v:19, n:4, pp:432-450 [Journal ] Harlan D. Mills , Richard C. Linger , Alan R. Hevner Box Structured Information Systems. [Citation Graph (0, 0)][DBLP ] IBM Systems Journal, 1987, v:26, n:4, pp:395-413 [Journal ] Robert J. Ellison , David A. Fisher , Richard C. Linger , Howard F. Lipson , Thomas A. Longstaff , Nancy R. Mead Survivability: Protecting Your Critical Systems. [Citation Graph (0, 0)][DBLP ] IEEE Internet Computing, 1999, v:3, n:6, pp:55-63 [Journal ] C. Sekar Chandersekaran , Richard C. Linger Software specification using the SPECIAL language. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1981, v:2, n:1, pp:31-38 [Journal ] Robert J. Ellison , Richard C. Linger , Thomas A. Longstaff , Nancy R. Mead Survivable Network System Analysis: A Case Study. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1999, v:16, n:4, pp:70-77 [Journal ] Philip A. Hausler , Mark G. Pleszkoch , Richard C. Linger , Alan R. Hevner Using Function Abstraction to Understand Program Behavior. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1990, v:7, n:1, pp:55-63 [Journal ] Richard C. Linger Cleanroom Process Model. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1994, v:11, n:2, pp:50-58 [Journal ] Harlan D. Mills , Richard C. Linger Data Structured Programming: Program Design without Arrays and Pointers. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1986, v:12, n:2, pp:192-197 [Journal ] Computational Evaluation of Software Security Attributes. [Citation Graph (, )][DBLP ] Introducing function extraction into software testing. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.304secs