Archived publication

Archived publication

Formal System Development using Method Integration: a Case Study

Aredo, Demissie; Owe, Olaf

August 01, 2004

DART

  • Filename: 3934/Aredo_-_Formal_System_Development_using_Method_Integration.pdf
  • Target groups:
  • Areas: Software Engineering
  • Keywords: Formal Methods, UML, OCL, OUN, PVS, Method
  • Page(s): 52
  • Name and number of project:
  • Title: Formal System Development using Method Integration: a Case Study
  • Author(s): Aredo, Demissie; Owe, Olaf
  • ISBN: 82-539-0510-6
  • Report number: 1002
  • Published date: August 01, 2004
  • URL: http://publications.nr.no/3934/Aredo_-_Formal_System_Development_using_Method_Integration.pdf
  • DOI: