1-2-3-4-5-6-7-8-9-10-11-FM-FM 1 (Doc,Role,Rule,Scenario,System)-FM 2-FM 3-FM 4-FM 5

Compliance Rules for each Standard

• GD250: V-Model
  Development Standard for IT Systems of the Federal Republic of Germany: Process Lifecycle
• ESA PSS-05
  Software Engineering Standards
• ISO 12207
  Information Technology: Software Lifecycle Processes
• IEEE 1074
  IEEE Standard for Developing Sofware Lifecycle Processes

Compliance Rules for each Artefact

• Documents:
  /Emmerich, 1999/ Managing Standards Compliance
  (DOORS-Dynamic Object Oriented Requirements Systems, AP5-common lisp extension, FLEA-Formal Language for Expressing Assumptions)
• Software/Hardware
  /Heisel, 1997a/ Methodological Support for Formally Specifying Safety-Critical Software
  (Agenda,templates,validation)
• Process
  /Alloui, 1998b/ Managing consistency in cooperating software processes
  /Sa, 1995/ A Reflexive Formal Software Process Model
  
• General

GDPA Homepage Last Updated 07.Nov.1999 Updated by Webmaster Last Revised 07.Nov.1999 Revised by Webmaster