Archived publication
Archived publication
Formal System Development using Method Integration: a Case Study
3934/Aredo_-_Formal_System_Development_using_Method_Integration.pdf
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: