Sciweavers

68
Voted
ISSE
2008
15 years 14 days ago
Patterns: from system design to software testing
Neelam Soundarajan, Jason O. Hallstrom, Guoqiang S...
65
Voted
ISSE
2008
15 years 14 days ago
Validation of requirement models by automatic prototyping
Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu
67
Voted
ISSE
2008
15 years 14 days ago
An MDE-based method for bridging different design notations
Tian Zhang, Frédéric Jouault, Jean B...
73
Voted
ISSE
2008
15 years 14 days ago
Ambiguity and structural properties of basic sequence diagrams
Christophe Sibertin-Blanc, Nabil Hameurlain, Omar ...
68
Voted
ISSE
2008
15 years 14 days ago
Safe design of high-performance embedded systems in an MDE framework
Huafeng Yu, Abdoulaye Gamatié, Éric ...
55
Voted
ISSE
2008
15 years 14 days ago
Timing analysis and validation with UML: the case of the embedded MARS bus manager
Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana O...
60
Voted
ISSE
2008
15 years 14 days ago
UML behavioral consistency checking using instantiable Petri nets
Yann Thierry-Mieg, Lom-Messan Hillah
66
Voted
ISSE
2008
15 years 14 days ago
Formal methods for interactive systems
Antonio Cerone, Paul Curzon