Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > number:
11-30
& article :
“A Specifier’s Introduction to Formal Methods” or
None
& date :
1995 or
1999 or
2005 or
2006 or
2011
Click on the filter values below to narrow your results.
15026.1-2011 Trial-Use Standard Adoption of ISO/IEC TR 15026-1:2010 Systems and Software Engineering—Systems and Software Assurance—Part 1:
Concepts and Vocabulary (1) ·
9000:2005 Quality Management Systems—Fundamentals and Vocabulary (1) ·
DO-178C, Software Considerations in Airborne Systems and Equipment Certification (1) ·
Safeware: System Safety and Computers (1) ·
Software Engineering (1) ·
The 4+1 View Model of Architecture (1) ·
The Road Map to Software Engineering: A Standards-Based Guide (2) ·
The Unified Modeling Language User Guide (1) ·
The Unified Software Development Process (1)
Showing below up to 10 results in range #1 to #10.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)