Sciweavers

8056 search results - page 168 / 1612
» Object Behavior Analysis
Sort
View
ICFEM
2003
Springer
15 years 11 months ago
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
FASE
2001
Springer
15 years 11 months ago
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
Natasha Sharygina, James C. Browne, Robert P. Kurs...