Sciweavers

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