1-2-3-4-5-6-7-8-9-10-11-FM 1-FM 2-FM 3-FM 4-FM 5

Tailor Process Standards

• Activities

  • New activity called modelling?
  • New activity called formalization?
  • New activity called specification animation?
  • New activity called proving assertions?
  • New activity called review of formal specifications?

• Artifacts

  • New product called formal specification?
  • New product called proof specifications?

• Roles (tasks, know-how, abilities, participation)

  • New role called "specificator"?
  • New role called "analyser"?

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