Sciweavers

5668 search results - page 86 / 1134
» The case for software evolution
Sort
View
COMPSAC
2001
IEEE
15 years 5 months ago
Formal and Use-Case Driven Requirement Analysis in UML
Xiaoshan Li, Zhiming Liu, Jifeng He
ICFEM
2000
Springer
15 years 5 months ago
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol
Hong Peng, Sofiène Tahar, Ferhat Khendek
WER
2000
Springer
15 years 5 months ago
Desenvolvendo Use Cases a partir de Modelagem Organizacional
Victor F. A. Santander, Jaelson Castro