Rabat, Morocco. May 10-13, 2009
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
SPECIAL SESSION: Software and Applications (II)
Monday, May 11, 2009: 13:30-15:00. Salmiah Room.
Session Chairs:
Narayan Debnath, Winona State University, USA
L. Benhlima , EMI, Morocco
- A Physics Simulation Engine for Modeling Autonomous Motion through Reverse Engineering of SodaConstructor. Joseph Yang, Gongzhu Hu.
- Software Reliability Prediction Using Multi-Objective Genetic Algorithm. Sultan Aljahdali, Mohammed El-Telbany.
- Stuttering Removal - Developing Mealy and Moore Style Implementations of an Interactive Component. Walter Dosch, Nontasak Janchum, Pornsiri Muenchaisri, Annette Stuempel.
- An extension of the Workflow Process Definition Language to validate time restrictions in SUBFLOW Activities and XOR SPLIT Attributes. Narayan Debnath, Daniel Riesco, Gabriel Vilallonga, Roberto Uzal, Daniel Welch, German Montejano, Sergio Gallina.
- Formal Development of Universal Protocol Implementations Conformance Statement Proforma. Hazem El-Gendy.