|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 30 occurrences of 25 keywords
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns |
Automated Behavior Computation for Software Analysis and Validation.  |
HICSS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch |
Function Extraction Technology: Computing the Behavior of Malware. |
HICSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosann Webb Collins, Alan R. Hevner, Richard C. Linger |
Evaluating a Disruptive Innovation: Function Extraction Technology in Software Development. |
HICSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman F. Schneidewind, Mark Montrose, Alec Feinberg, Arbi Ghazarian, Jim McLinn, Christian Hansen, Phillip A. Laplante, Nihal Sinnadurai, Enrico Zio, Richard C. Linger, W. Eric Wong, Shiuh-Pyng Shieh, Joseph Childs |
IEEE Reliability Society Technical Operations Annual Technical Report for 2010. |
IEEE Transactions on Reliability |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy R. Mead, Julia H. Allen, Mark A. Ardis, Thomas B. Hilburn, Andrew J. Kornecki, Richard C. Linger, James McDonald |
Development of a Master of Software Assurance Reference Curriculum. |
IJSSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwendolyn H. Walton, Thomas A. Longstaff, Richard C. Linger |
Computational Evaluation of Software Security Attributes. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosann Webb Collins, Alan R. Hevner, Gwendolyn H. Walton, Richard C. Linger |
The impacts of function extraction technology on program comprehension: A controlled experiment. |
Information & Software Technology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner |
Introducing function extraction into software testing. |
DATA BASE |
2008 |
DBLP DOI BibTeX RDF |
function extraction, software testing, software systems, program behavior |
| 1 | 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. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton |
Next-Generation Software Engineering Introduction to Minitrack. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Casey 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. |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
Flow-Service-Quality engineering, Computational Quality Attributes, WSLA, Web services, SLA, SOAP, WSDL, UDDI, BPEL4WS |
| 1 | Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton |
Testing and Certification of Trustworthy Systems Introduction to Minitrack. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Casey K. Fung, Patrick C. K. Hung, Guijun Wang, Richard C. Linger, Gwendolyn H. Walton |
A Study of Service Composition with QoS Management. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
CBA, MEP, MDR, QoS, Web services, SOA, SLA, BPEL, SOAP, OOA |
| 1 | Richard C. Linger, Mark G. Pleszkoch |
Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark G. Pleszkoch, Richard C. Linger |
Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton |
Testing and Certification of Trustworthy Systems: Minitrack Introduction. (PDF / PS) |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton |
Testing and Certification of Trustworthy Systems Introduction to Minitrack. (PDF / PS) |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (PDF / PS) |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
distributed systems, workflows, Component-based systems, system specification |
| 1 | Ann E. Kelley Sobel, Richard C. Linger |
Minitrack Introduction. (PDF / PS) |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy R. Mead, Richard C. Linger, John McHugh, Howard F. Lipson |
Managing Software Development for Survivable Systems. |
Ann. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Richard C. Linger |
Advances in Software Specification and Verification - Minitrack Introduction. (PDF / PS) |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff |
Survivability Analysis of Network Specifications. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Richard C. Linger |
Advances in Software Specification and Verification - Introduction. (PDF / PS) |
HICSS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead |
Survivable Network System Analysis: A Case Study. |
IEEE Software |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan R. Hevner, Richard C. Linger |
Methods and Tools for Information Systems Development - Introduction. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard C. Linger |
Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Oshana, Richard C. Linger |
Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead |
Case Study in Survivable Network System Analysis |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Richard C. Linger, Nancy R. Mead, Howard F. Lipson |
Requirements Definition for Survivable Network Systems. (PDF / PS) |
ICRE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard C. Linger |
Issues in Requirements Definition for Survivable Systems. (PDF / PS) |
ICRE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan R. Hevner, Richard C. Linger |
Methods and Tools for Information Systems Development: Introduction to Minitrack. (PDF / PS) |
HICSS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard C. Linger, Carmen J. Trammell |
Integrating Software Development Technology and Management: Cleanroom Software Engineering and the CMM for Software. |
HICSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard C. Linger |
Cleanroom Process Model. |
IEEE Software |
1994 |
DBLP DOI BibTeX RDF |
cleanroom process model, team-oriented process, code increments, statistical quality certification, software quality, program verification, quality control, statistical quality control, correctness verification, cleanroom software engineering |
| 1 | Philip A. Hausler, Richard C. Linger, Carmen J. Trammell |
Adopting Cleanroom Software Engineering with a Phased Approach. |
IBM Systems Journal |
1994 |
DBLP BibTeX RDF |
|
| 1 | Philip A. Hausler, Richard C. Linger |
From software craft to software engineering: the Cleanroom method. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Richard C. Linger |
Cleanroom Software Engineering for Zero-Defect Software. |
ICSE |
1993 |
DBLP BibTeX RDF |
box structures, software quality certification, statistical usage testing, formal specification, incremental development, correctness verification, cleanroom software engineering |
| 1 | R. A. Sprangler, Richard C. Linger |
The IBM Cleanroom Software Engineering Technology Transfer Program. |
CSEE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner |
Using Function Abstraction to Understand Program Behavior. |
IEEE Software |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard C. Linger |
Mathematics-Based Software Engineering for Completely Validated Software. |
ICSE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Harlan D. Mills, Richard C. Linger, Alan R. Hevner |
Box Structured Information Systems. |
IBM Systems Journal |
1987 |
DBLP BibTeX RDF |
|
| 1 | Harlan D. Mills, Richard C. Linger |
Data Structured Programming: Program Design without Arrays and Pointers. |
IEEE Trans. Software Eng. |
1986 |
DBLP BibTeX RDF |
|
| 1 | C. Sekar Chandersekaran, Richard C. Linger |
Software specification using the SPECIAL language. |
Journal of Systems and Software |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard C. Linger |
The Management of Software Engineering. Part III: Software Design Practices. |
IBM Systems Journal |
1980 |
DBLP BibTeX RDF |
|
| 1 | Richard C. Linger, Harlan D. Mills, Bernard I. Witt |
Structured programming - theory and practice. |
|
1979 |
RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")