Sciweavers

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