|
Current State |
|
¨ PHD Student in the National School of Engineering of Sfax-Tunisia ¨ ACM student member ¨ IEEE member (Computer Society) ¨ Having a teaching position at the National School of Engineering of Sfax-Tunisia |
|
Education |
|
¨ M.S. degree in Computer Science from the National School of Engineering of Sfax-Tunisia, in 2007. ¨ Engineer degree in Computer Science from the National School of Engineering of Sfax-Tunisia, in 2005. ¨ Obtention of the Baccalaureate in Mathematics at the Abou Al Kacem Chebbi Secondary School in Sfax-Tunisia, in 2000.
|
|
Research Activities |
|
My PHD studies are supervised by: Dr. Moez KRICHEN, and Pr. Mohamed JMAIEL I am interested in the validation of formal specifications of software architectures. The use of formal notation like Z makes the specification of the software architecture more precise, unambiguous and consistent. But in the other side, formal specifications are difficult and incomprehensible by the System’s user. So, it is difficult to validate the specification with the user and it can be a gap between the user’s requirements and the formal specification. We propose an approach that helps the user to make sure that the formal specification represents really his needs by the test of several scenarios representing architectural configurations. |
|
Publications |
|
I have not yet any publications. |
|
Contacts |
|
Email: lamia.yanguibouaziz@gmail.com Phone: 97 555 421 |
|
Lamia Yangui Bouaziz’s Home Page |
|
Teaching |
|
¨ 2007-2008: Dynamic web development: Servlet and JSP. ¨ 2008-2009: Dynamic web developmet: Servlet, JSP, PHP. ¨ 2009-2010: Petri nets, Languages Theory.
|
