|
Program |
|
The 1st day , October 25 (Wed)
The Conference Avnenue is; DELTA HOTEL http://www.deltaquebec.com/
Session 1 8:50~ 11:50 Session Chair: Hamido FUJITA Software Specification and comprehension models
Software Quality Research Laboratory, University of Limerick, Ireland Component Interface Documentation What do we Need and Why do we Need it?
10:30-11:10 François Lemieux and Martin Salois, Defence R & D Canada – Valcartier, Québec, Canada Visualization Techniques for Program Comprehension: A Literature Review,
11:10~11:50 Klaus Meffert and Ilka Philippow, Technical University Ilmenau, Germany Supporting Program Comprehension for Refactoring Operations with Annotations
Lunch (1) 11:50~13:00
Session 2: 13:00~ 17:30Session Chairs: Sergei Gorlatch, and Funyu Yutaka Software Development and related Methodologies
13:00~14:00 Tom MAIBAUM, (invited speaker) Department of Computing and Software, McMaster University,Canada On specifying systems that connect to the physical world
14:00~ 14:30 Coffee break(2)
14:30~15:10 Asif Qumer and Brian Henderson -SELLERS, University of Technology, Australia A Framework to Support Non-fragile Agile Agent-Oriented software Development
15:10~15:50 Anna Maria Di Sciullo, Université du Québec à Montréal, Canada Information processing and the recovery of asymmetric relations
15:50~16:30 George Feuerlicht, Faculty of Information Technology, University of Technology, Sydney, Australia System Development Life-Cycle Support for Service-Oriented Applications
16:30~17:00 Nicolas Juillerat and Béat Hirsbrunner, University of Fribourg, Department of Computer Sciences, Fribourg, Switzerland FOOD: An Intermediate Model for Automated Refactoring
17:00~17:30 Rikio Maruta and Noriko Taniguchi, Sangikyo Coperatio, Yokohama, Japan Transforming a Non-Software Company to a Software Company by Exploiting the LYEE Methodology
Dinner Arranged by the SOMET conference
---------------------------------------------------------------------------------------------- 2nd day’ October 26th 2006, (Thrsd).-
9:00~11:50 Session-3 Network Security and Applications Session Chair Kamel Adi
9:00~10:00 Mourad DEBBABI, (Invited Speaker) Concordia University, Canada A Formal Approach for the Forensic Analysis of Logs
10:00~ 10:30 Coffee break (3)
10:30~11:10 M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua, Concordia University, Canada Common Criteria Approach to J2ME CLDC Security Requirements
11:10~11:50 Hakima Ould-Slimane, Mohamed Mejri, Laval University, Cananda and Kamel Adi, Université du Québec en Outaouais, Canada Enforcing Security Policies on Programs …
11:50~13:00 Lunch (2)
13:00~14:20 Session 4: Software Security and Program Bugs Session Chair Michael Oudshoorn
13:00~13:40 Satish Narayanasamy, Cristiano Pereira and Brad Calder, Department of Computer Science and Engineering, University of California, San Diego, USA Software Profiling for Deterministic Replay Debugging of User Code
13:40~14:20 Frédéric Michaud and Frédéric Painchaud, DRDC Valcartier, Canada Verification Tools for Software Security Bugs
14:20~14:50 Luciana de Paiva SILVA, André L. M. SANTOS, Centro de Informática – Universidade Federal de Pernambuco (UFPE), BrazilElisa H. M. HUZITA , and Tania F. Calvi TAIT Universidade Estadual de Maringá (UEM), Brazil Comparing Approaches in AORE through ISO/IEC 9126
14:50~ 15:20 Coffee break (4)
15:20~16:20 Fumio NEGORO (Invited Speaker) Institute of Software Development (ISD), Tokyo, Japan Theory on Software Diagnosis for Program Code Validation
16:30~19:30 (3 hrs) Tutoiral SessionDescription and Analysis of Software System Families using Feature Algebra Ridha Khedri, Department of Computing and Software, Faculty of Engineering, McMaster University
This tutorial will includes snack and soft drink freee service
------------------------------------------------------------------------ 3rd day’ October 27th 2006, (Friday).-
8:30~9:50 Session 5 Program Conversion and Related Software Validation Session Chair Mohamed Mejri
8:30~9:10 A Formal Translation from an Imperative Language with Array to a Declarative Language D. Godbout, B. Ktari and M. Mejri,
9:10~9:50 Verification of Lyee RequirementOsamu ARAI and Hamido FUJITA,
9:50:20~ 10:20 Coffee break (5)
10:20~12:10 Sesssion 6-“Intelligent Software Design and Maintenance” Session Chair Jun Sasaki
10:20~11:00 Jürgen Vörding, Maraike Schellmann, and Sergei Gorlatch, University of Münster, Germany Enhancing and Parallelizing Legacy Software for Medical Imaging - A Case Study
11:00~11:40 M.J. Oudshoorn, M.M. Fuad, and D. Deb Montana State University, USA Towards Autonomic Computing: Injecting Self-Organizing and Self Healing Properties into Java Programs
11:40~12:10 Zenya Koono,Hui Chen, and Hassan Abolhassani, Zenya Koono,Creation Project, Kanagawa,Japan Hui Chen, Information Science Center, Kokushikann University,Tokyo, Japan And Hassan Abolhassani, Computer Engineering Dept.,Sharif University of Technology, Teheran, IranA New Way of Automatic Design of Software (Simulating Human Intentional Activity)
12:10~13:20 Lunch(3)
13:20~15:00 Session 7 End User Requirement Engineering and Testing Session Chair; Djamel BENREDJEM,
Concordia Institute for Information Systems Engineering (CIISE),
13:20~14:00 Sergei GORLATCH, Univeristy of Münster, Germany Tae KAMEDA, Soka Women’s College, Japan Issam Hamido FUJITA, Iwate Prefectural University, Japan Yutaka FUNYU Iwate Prefectural University, Japan Michiru TANAKA, Iwate Prefectural University, Japan Osamu ARA, Arai Professional Engineer’s Office, Japan Towards Developing Adjustable Software: A Case Study with the Lyee Approach
14:00~14:30 Bee Bee CHUA,Department of Information Systems, University of Technology, SydneyA Framework for predicting Person Effort on Requirements Changes
14:30~15:00 Tanja Toroi, University of Kuopio, Department of Computer Science, Finland Improving Software Test Processes
15:00~15:30 Coffee Break (6)
15:30~17:10 Session 8 Validation and Diagnosis and Practical Artefacts on Software Security Session Chair; Rikio MARUTA, SANGIKYO
15:30~16:10 Francois Gagnon, Carleton University, Canada Mohamed Mejri, Laval University, Canada Decision Procedure for Structured Cryptographic protocols
16:10~16:50 Osamu ATSUMI , Shogo HAYASHIDA and Rikio MARUTA Sangikyo Corporation, Yokohama Japan. Unified OTP Cryptosystem with Authentication and Secrecy
16:50~17:10 Liviu Pene and Kamel Adi, Université du Québec en Outaouais, Canada A Calculus for Distributed Firewall Specification and Verification
17:10~18:00 Panel discussion: Software security and its impact on new development
18:00~ closing and SOMET_07 in Rome announcement
Tour and Dinner arranged by SOMET! (To be confirmed!)
|
|
||
