| 2009 | Method Engineering: State-of-the-Art Survey and Research Proposal. | Colette Rolland |
| 2009 | A Usability Profile for Graphical Formal Modelling Methods. | Rozilawati Razali, Paul W. Garratt |
| 2009 | Reducing the Gap between Verification Models and Software Development Models. | Elke Pulvermller |
| 2009 | Applying Visualisation to Validating Software System Requirements. | Paul William Parry, Jawed Siddiqi |
| 2009 | An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation. | Djedjiga Mouheb, Chamseddine Talhi, Azzam Mourad, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi |
| 2009 | M. | Shoichi Morimoto |
| 2009 | Behavioral Model Composition: a Non Functional Requirements Driven Approach. | Rabeb Mizouni, Aziz Salah |
| 2009 | Formal Specification and Analysis of Firewalls. | Mohamed Mejri, Kamel Adi, Hamido Fujita |
| 2009 | On the Measurement of Negotiation Dialogue Games. | Omar Marey, Jamal Bentahar, Abdeslam En-Nouaary |
| 2009 | A Study of How to Implement a Listener Estimate Emotion in Speech. | Masaki Kurematsu, Marina Ohashi, Orimi Kinosita, Jun Hakura, Hamido Fujita |
| 2009 | A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV. | Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui |
| 2009 | Top Management Conducts an Enterprise System Development. | Zenya Koono, Hui Chen |
| 2009 | Towards a Verification-Based Development Approach for Reactive Systems. | Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita |
| 2009 | An Approach for Refactoring using ESC/Java2 - A Simple Case Study -. | Hiroshi Ishikawa |
| 2009 | Developing Consistent and Modular Software Models with Ontologies. | Robert Hoehndorf, Axel-Cyrille Ngonga Ngomo, Heinrich Herre |
| 2009 | Evaluating Data Handling Performance of ISSEI Data Management Method. | Shogo Hayashida, Noriko Taniguchi, Kohei Sugawara, Rikio Maruta, W. Shoji |
| 2009 | The Technical Foundation of the GeneSEZ MDSD Approach. | Tobias Haubold, Georg Beier, Wolfgang Golubski, Nico Herbig, Gerrit Beine, Oliver Arnold |
| 2009 | Facial Expression Invariants for Estimating Mental States of Person. | Jun Hakura, Hamido Fujita, Masaki Kurematsu |
| 2009 | No-Frills Software Engineering for Business Information Systems Experience Report. | Volker Gruhn, Clemens Schfer |
| 2009 | Situated Computation. | John S. Gero |
| 2009 | Virtual Medical Doctor Interaction Based on Transactional Analysis. | Hamido Fujita, Jun Hakura, Masaki Kurematsu |
| 2009 | Requirements Engineering of an Access Protection. | Sharon Friedrich, Barbara Paech |
| 2009 | Formal Modeling of Clinical Processes: Experiments in Oncology and Future Perspectives. | Claudio Eccher, Antonella Ferro, Domenico M. Pisanelli |
| 2009 | Three Philosophers and a Design for Expressive Gestural Interaction. | Roman Danylak |
| 2009 | Development of Algorithms for Decision Analysis with Interval Information. | Mats Danielson, Love Ekenberg |