Program
Software Engineering
May 17th Room 1 11:00 (1h) - chair J. Dormoy
- 79 Julien Dormoy and Olga Kouchnarenko. Event-based Adaptation Policies for Fractal Components
- 91 Imen Derbel, Ali Mili and Lamia Labed-Jilani. A Model for Analyzing Architectural Attributes
May 18th Room 1 10:30 (2h) - chair N. Rahimi
- 145 Negin Rahimi and Ramtin Khosravi. Architecture Conformance Checking of Multi-Language Applications
- 72 Naoufel Machta, M. Taha Bennani and Samir Ben Ahmed. Weaving UML MARTE Real-Time Constraint on UML Application Model
- 78 Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi and Ali Mili. Towards An Automated Tool for Computing Loop Functions
- 39 Hassan Haghighi. Towards a Formal Framework for Developing Concurrent Programs: Modeling Dynamic Behavior
May 18th Room 1 14:00 (1h30) - chair H. Mcheick
- 134 Nacim Yanes, Sihem BEN SASSI and Henda HAJJAMI BEN GHEZALA. State of art and practice of COTS components search engines
- 143 Hamid Mcheick, Heni Dhiab, Mohamad Dbouk and Rakan Mcheik. Detecting Type Errors and Secure Coding in C/C++ applications
- 13 Tienfuan Kerh and David Gunaratnam. Evaluations of the Strong Ground Motion Parameter by Neural Computing and Microtremor Measurement
May 19th Room 1 10:30 (2h) - chair N. Emad
- 59 Nahid EMAD, Olivier DELANNOY and Makarem DANDOUNA. A design approach for numerical libraries in large scale distributed systems
- 84 Mehdi Adda and Hamid Mcheick. Facet-Based Access Control Model for View-Oriented Programming
- 90 Yessine Hadj kacem, Adel Mahfoudhi, Hedi Tmar and Mohamed Abid. From UML/MARTE to RTDT: A model driven based method for scheduling analysis and HW/SW partitioning
- 105 Mohamed Najeh LAKHOUA. Refining a methodology of analysis and planning by objectives