Back to Results
First PageMeta Content
Formal methods / Vienna Development Method / Rodin tool / Formal specification / Software development process / B-Method / Specification / Abstraction / Object Process Methodology / SIGNAL / ShlaerMellor method / Systems engineering


Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D9
Add to Reading List

Document Date: 2005-09-06 11:20:39


Open Document

File Size: 403,47 KB

Share Result on Facebook