Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > article
:
“A Specifier’s Introduction to Formal Methods”
or
None
& date
:
1979
or
1998
or
2004
or
2008
or
2012 ![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
Click on the filter values below to narrow your results.
None (4) ·
A. April and A. Abran (1) ·
A. Silberschatz, P.B. Galvin, and G. Gagne (1) ·
D. Galin (1) ·
G.M. Weinberg (1) ·
IEEE (1) ·
IEEE Std. (4) ·
INCOSE (2) ·
J.G. Brookshear (3) ·
J.H. Allen et al. (2) ·
Joint Task Force on Computing Curricula, IEEE Computer Society and Association for Computing Machinery (1) ·
P.B. Crosby (1) ·
R.C. Seacord (1) ·
S. Friedenthal, A. Morre, and R. Steiner (1) ·
S. McConnell (4) ·
S. naik and P. Tripathy (2) ·
S. Tockey (4)
1028-2008, Software Reviews and Audits (1) ·
12207-2008 (a.k.a. ISO/IEC 12207:2008) 'Standard for Systems and Software Engineering—Software Life Cycle Processes (1) ·
12207-2008 (a.k.a. ISO/IEC 12207:2008) Standard for Systems and Software Engineering—Software Life Cycle Processes (1) ·
A Practical Guide to SysML: The Systems Modeling Language (1) ·
Code Complete (4) ·
Computer Science: An Overview (3) ·
IEEE Std. 1012-2012 Standard for System and Software Verification and Validation (1) ·
IEEE Std. 828-2012, Standard forConfiguration Management in Systems and Software Engineering (2) ·
ISO/IEC 15504-1:2004 Information
Technology—Process Assessment—Part 1:
Concepts and Vocabulary (1) ·
ISO/IEC/IEEE P29119-1/DIS Draft Standard for Software and Systems Engineering— Software Testing—Part 1: Concepts and Definitions (1) ·
Operating System Concepts (1) ·
P730™/D8 Draft Standard for Software Quality Assurance Processes (1) ·
Quality Is Free (1) ·
Return on Software: Maximizing the Return on Your Software Investment (4) ·
Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering (1) ·
Software Maintenance Management: Evaluation and Continuous Improvement (1) ·
Software Quality Assurance: From Theory to Implementation (1) ·
Software Security Engineering: A Guide for Project Managers (2) ·
Software Testing and Quality Assurance: Theory and Practice (2) ·
Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities (2) ·
The CERT C Secure Coding Standard (1) ·
The Psychology of Computer Programming: Silver Anniversary Edition (1)
None (1) ·
Addison-Wesley (9) ·
Addison-Wesley Professional (1) ·
Dorset House (1) ·
IEEE (7) ·
International Council on Systems Engineering (2) ·
ISO/IEC (1) ·
ISO/IEC/IEEE (1) ·
McGraw-Hill (1) ·
Microsoft Press (4) ·
Morgan Kaufmann (1) ·
Pearson Education Limited (1) ·
Wiley (1) ·
Wiley-IEEE Computer Society Press (1) ·
Wiley-Spektrum (2)
Showing below up to 34 results in range #1 to #34.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)
C
- Chapter 10: Software Quality
- Chapter 10: Software Quality
- Chapter 10: Software Quality
- Chapter 10: Software Quality
- Chapter 10: Software Quality
- Chapter 10: Software Quality
- Chapter 10: Software Quality
- Chapter 11: Software Engineering Professional Practice
- Chapter 11: Software Engineering Professional Practice
- Chapter 11: Software Engineering Professional Practice
- Chapter 12: Software Engineering Economics
- Chapter 12: Software Engineering Economics
C cont.
- Chapter 13: Computing Foundations
- Chapter 13: Computing Foundations
- Chapter 13: Computing Foundations
- Chapter 13: Computing Foundations
- Chapter 15: Engineering Foundations
- Chapter 15: Engineering Foundations
- Chapter 15: Engineering Foundations
- Chapter 1: Software Requirements
- Chapter 1: Software Requirements
- Chapter 2: Software Design
- Chapter 2: Software Design
- Chapter 2: Software Design
C cont.
- Chapter 3: Software Construction
- Chapter 3: Software Construction
- Chapter 4: Software Testing
- Chapter 4: Software Testing
- Chapter 5: Software Maintenance
- Chapter 6: Software Configuration Management
- Chapter 7: Software Engineering Management
- Chapter 8: Software Engineering Process
- Chapter 9: Software Engineering Models