| 
    
     | 
    
      
      
	- 
	IEEE Std 100, The IEEE Standard Dictionary of
	Electrical and Electronics Terms, sixth edition
	
 
	- 
	IEEE Std 610.12-1990, IEEE Standard Glossary
	of Software Engineering Terminology*
	
 
	- 
	IEEE Std 830-1998, IEEE Recommended Practice for
	Software Requirements Specifications* 
	
 
	- 
	IEEE Std 1012-1998, IEEE Standard for Software
	Verification and Validation* 
	
 
	- IEEE Std 1012a-1998,
	Supplement to IEEE Standard for Software Verification and Validation:
	Content Map to IEEE/EIA 12207.1-1997*
	
 
	- 
	IEEE Std 1016-1998, 
	IEEE Recommended Practice for Software Design Descriptions*
	
 
	
	- 
	IEEE Std 1320.1-1998, IEEE Standard for
	Functional Modeling Language--Syntax and Semantics for
	IDEF0*
	
 
	
	- 
	IEEE Std 1320.2-1998 , IEEE Standard
	Conceptual Modeling Language--Syntax and Semantics for
	IDEF1X97 (IDEFobject)*
	
 
	- 
	IEEE Std 1471-2000, IEEE Recommended Practice for
	Architectural Description of Software-Intensive Systems*
	
 
	- 
	IEEE/EIA Std 12207.0-1996, 
	Industry Implementation of International Standard ISO/IEC 12207:1995
	Software life cycle processes*
	
 
	- 
	IEEE/EIA Std 12207.1-1997, 
	Industry Implementation of International Standard ISO/IEC 12207:1995
	Software life cycle processes--Life cycle data*
	
 
	- 
	IEEE/EIA Std 12207.2-1997, 
	Industry Implementation of International Standard ISO/IEC 12207:1995
	Software life cycle processes--Implementation considerations*
	
 
	- 
	Guide to the Software Engineering Body of Knowledge, 
	Trial version (version 0.95), May 2001.
	
 
	
	- 
	Unified Modeling Language (UML 1.4) 
	(OMG formal/01-09-67)
	
 
	
	- 
	Z, ISO/IEC JTC1/SC22/WG19 (Rapporteur Group for Z) 
	
	Consensus Working Draft 2.7, 12 Oct 2001  
	
 
	
	- 
	ISO/IEC 13817-1:1996 Information
	technology--Programming languages, their environments
	and system software interfaces--Vienna Development
	Method--Specification Language--Part
	1: Base language
	
 
	
	- 
	BS 7738-1:1994, Specification for
	information systems products using SSADM (Structured Systems
	Analysis and Design Method). Implementation of SSADM version 4
	
 
	
       
      
      Note: WG members may obtain documents marked * from the P1016 WG secretary. Others must obtain
      them directly from IEEE.  
       
      
      
      Added BS 7738 
     |