Sciweavers

16725 search results - page 245 / 3345
» Engineering Software Correctness
Sort
View
97
Voted
COMPSAC
2001
IEEE
15 years 7 months ago
Formal and Use-Case Driven Requirement Analysis in UML
Xiaoshan Li, Zhiming Liu, Jifeng He
112
Voted
COMPSAC
2001
IEEE
15 years 7 months ago
JBOORET: an Automated Tool to Recover OO Design and Source Models
Hong Mei, Tao Xie, Fuqing Yang