Sciweavers

ISSE
2008
13 years 11 months ago
Extending statecharts with process algebra operators
Marc Frappier, Frédéric Gervais, R&e...
ISSE
2008
13 years 11 months ago
Automatic framework generation for hard real-time applications
The communication and tasking infrastructure of a real-time application makes up a significant portion of any modern embedded control system. Traditionally, the tasking and communi...
Irfan Hamid, Bechir Zalila, Elie Najm, Jér&...
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 ...