Search Results

1

Data flow analysis : theory and practice /

by Khedker, Uday
Boca Raton, FL : CRC Press/Taylor & Francis, 2009

Book

2

A data structured adaptation of McCabe's structured testing methodology /

by Mosley, Daniel J.
St. Louis : Center for the Study of Data Processing, Washington University in St. Louis, 1987

Book

3

SBIR advanced technologies in aviation and air transportation system 2016 /

by Nguyen, Hung D., Steele, Gynelle C.
Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, 2017

Government Document eBook

4

Engine icing data : an analytics approach /

by Fitzgerald, Brooke A., Flegel, Ashlie B.
Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, 2017

Government Document eBook

5

Proceedings - International Conference on Software Engineering.

Conference Proceeding

6

Framework for small-scale experiments in software engineering : guidance and control software project : software engineering case study /

by Hayhurst, Kelly J. (Kelly Jeanne), 1962-
Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1998

Government Document Book

7

Algebraic methodology and software technology (AMAST'91) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente,...

London ; New York : Springer-Verlag, 1994

Conference Proceeding Book

8

Computer, network, software, and hardware engineering with applications /

by Schneidewind, Norman
Hoboken, N.J. : John Wiley, 2012

Book

9

ACM transactions on software engineering and methodology.

New York, NY : Association for Computing Machinery, 1992

Journal

10

Designing for change : minimizing the impact of changing requirements in the later stages of a spaceflight software project /

by Allen, B. Danette
Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, 1998

Government Document eBook

11

Formal assurance certifiable tooling strategy final report /

by Bush, Eric Niels
Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, 2017

Government Document eBook

12

IEEE concurrency.

Los Alamitos, CA : IEEE Computer Society, 1997

Journal

13

Software product lines in action : the best industrial practice in product line engineering /

by Linden, Frank van der, 1954-
Berlin ; New York : Springer, 2007

eBook

14

Come, let's play : scenario-based programming using LSCs and the play-engine /

by Harel, David, 1950-
Berlin ; New York : Springer, 2003

Software eBook

15

Risk management processes for software engineering models /

by Myerson, Marian
Boston : Artech House, 1996

Book

16

Agent-oriented software engineering VI : 6th international workshop, AOSE 2005, Utrecht, the Netherlands, July 25, 2005 : revised and invited papers /

Berlin ; New York : Springer, 2006

Conference Proceeding Book

17

Theories of programming : the life and works of Tony Hoare /

[New York, NY, USA] : Association for Computing Machinery, 2021
First edition.

Book

18

Engineering safe and secure software systems /

by Axelrod, C. Warren
Norwood, MA. : Artech House, 2013

Book

19

Reasoned programming /

New York : Prentice Hall, 1994

Book

20

Proceedings : the First International Conference on Requirements Engineering, April 18-22, 1994, Colorado Springs, Colorado /

Los Alamitos, Calif. : IEEE Computer Society Press, 1994

Conference Proceeding Book

Narrow Search