Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > article :
“A Specifier’s Introduction to Formal Methods” or
None
& issue :
vol. 29, no. 4 or
None
& date :
1981 or
1996 or
2001 or
2007 or
2010 or
Mar.-Apr. 1998
Click on the filter values below to narrow your results.
None (3) ·
A. Abran (1) ·
B.W. Boehm (1) ·
C. Ebert and R. Dumke (1) ·
D.C. Montgomery and G.C. Runger (1) ·
E. Horowitz et al. (1) ·
E.W. Cheney and D.R. Kincaid (2) ·
IEEE (2) ·
ISO/IEC/IEEE (1) ·
ISO/IEC/IEEE. (2) ·
K. Wiegers (1) ·
M. Kajko-Mattsson (1) ·
M. Utting and B. Legeard (1) ·
M.R. Lyu, ed. (1) ·
N.R. Tague (1) ·
P. Clements et al (1) ·
P. Clements et al. (2) ·
R.S. Pressman (1)
24765:2010 Systems and Software Engineering—Vocabulary (3) ·
Applied Statistics and Probability for Engineers (1) ·
Computer Algorithms (1) ·
Documenting Software Architectures: Views and Beyond (3) ·
Handbook of Software Reliability Engineering (1) ·
ISO/IEC/IEEE 24765:2010 Systems and Software Engineering—Vocabulary (3) ·
ISO/IEC/IEEE 24765:2010 Systems and Software Engineering—Vocabulary, ISO/IEC/IEEE (2) ·
Numerical Mathematics and Computing (2) ·
Peer Reviews in Software: A Practical Guide (1) ·
Practical Model-Based Testing: A Tools Approach (1) ·
Software Engineering Economics (1) ·
Software Engineering: A Practitioner’s Approach (1) ·
Software Measurement (1) ·
Software Metrics and Software Metrology (1) ·
The Quality Toolbox (1) ·
Towards a Business Maintenance Model, Proc. Int’l Conf. Software Maintenance (1)
Addison-Wesley Professional (1) ·
ASQ Quality Press (1) ·
Brooks/Cole (2) ·
IEEE (2) ·
ISO/IEC/IEEE (7) ·
McGraw-Hill (1) ·
McGraw-Hill and IEEE Computer Society Press (1) ·
Morgan Kaufmann (1) ·
Pearson Education (3) ·
Prentice-Hall (1) ·
Silicon Press (1) ·
Springer (1) ·
Wiley (1) ·
Wiley-IEEE Computer Society Press (1)
Showing below up to 24 results in range #1 to #24.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)