Sciweavers

15727 search results - page 591 / 3146
» Software Engineering - Introduction
Sort
View
ICFEM
2003
Springer
16 years 21 days ago
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
ICFEM
2003
Springer
16 years 21 days ago
Compositional Verification of a Switch Fabric from Nortel Networks
Hong Peng, Sofiène Tahar, Yassine Mokhtari
ARCS
2010
Springer
16 years 18 days ago
Compiler-Directed Performance Model Construction for Parallel Programs
Martin Schindewolf, David Kramer, Marcelo Cintra