Sciweavers

ISSE
2008
13 years 7 months ago
Patterns: from system design to software testing
Neelam Soundarajan, Jason O. Hallstrom, Guoqiang S...
ISSE
2008
13 years 7 months ago
Validation of requirement models by automatic prototyping
Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu
ISSE
2008
13 years 7 months ago
Ambiguity and structural properties of basic sequence diagrams
Christophe Sibertin-Blanc, Nabil Hameurlain, Omar ...
ISSE
2008
13 years 7 months ago
Formal methods for interactive systems
Antonio Cerone, Paul Curzon