Sciweavers

ISSE
2008
13 years 5 months ago
Extending statecharts with process algebra operators
Marc Frappier, Frédéric Gervais, R&e...
ISSE
2008
13 years 5 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 5 months ago
Patterns: from system design to software testing
Neelam Soundarajan, Jason O. Hallstrom, Guoqiang S...
ISSE
2008
13 years 5 months ago
Validation of requirement models by automatic prototyping
Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu
ISSE
2008
13 years 5 months ago
Ambiguity and structural properties of basic sequence diagrams
Christophe Sibertin-Blanc, Nabil Hameurlain, Omar ...