| 2009 | A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV. Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui |
| 2009 | A New Windows Desktop Icon for Single Point-of-Control of the Application Window. Kohei Sugawara, Rikio Maruta |
| 2009 | A Platform for Service-Oriented Integration of Software Engineering Environments. Stefan Biffl, Alexander Schatten |
| 2009 | A Role of Ontology in Information Systems for Support of Scientific and Production Activity. Yury A. Zagorulko, Galina Zagorulko |
| 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 Usability Profile for Graphical Formal Modelling Methods. Rozilawati Razali, Paul W. Garratt |
| 2009 | APM Mahsa Hasani Sadi, Raman Ramsin |
| 2009 | About Strategies to Engineer Situational Methods. Colette Rolland, Hamido Fujita |
| 2009 | An Approach for Refactoring using ESC/Java2 - A Simple Case Study -. Hiroshi Ishikawa |
| 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 | Applying Visualisation to Validating Software System Requirements. Paul William Parry, Jawed Siddiqi |
| 2009 | Behavioral Model Composition: a Non Functional Requirements Driven Approach. Rabeb Mizouni, Aziz Salah |
| 2009 | CQA-ENV: An Integrated Environment for the Continuous Quality Assessment of Software Artifacts. Damiano Torre, Belen Blasco, Marcela Genero, Mario Piattini |
| 2009 | Developing Consistent and Modular Software Models with Ontologies. Robert Hoehndorf, Axel-Cyrille Ngonga Ngomo, Heinrich Herre |
| 2009 | Development of Algorithms for Decision Analysis with Interval Information. Mats Danielson, Love Ekenberg |
| 2009 | Development of an Integrated Health Improvement Support System. Katsuya Takahashi, Keizo Yamada, Jun Sasaki, Yutaka Funyu |
| 2009 | Dynamic AspectC++: Generic Advice at Any Time. Reinhard Tartler, Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk |
| 2009 | Evaluating Data Handling Performance of ISSEI Data Management Method. Shogo Hayashida, Noriko Taniguchi, Kohei Sugawara, Rikio Maruta, W. Shoji |
| 2009 | Facial Expression Invariants for Estimating Mental States of Person. Jun Hakura, Hamido Fujita, Masaki Kurematsu |
| 2009 | Formal Modeling of Clinical Processes: Experiments in Oncology and Future Perspectives. Claudio Eccher, Antonella Ferro, Domenico M. Pisanelli |
| 2009 | Formal Specification and Analysis of Firewalls. Mohamed Mejri, Kamel Adi, Hamido Fujita |
| 2009 | Improving Safety and Healthy Life of Elderly People: Italian and Japanese Experiences. Jun Sasaki, Keizo Yamada, Michiru Tanaka, Hamido Fujita, Domenico M. Pisanelli, Riccardo Rasconi, Lorenza Tiberio, Claudio De Lazzari |
| 2009 | M. Shoichi Morimoto |
| 2009 | Method Engineering: State-of-the-Art Survey and Research Proposal. Colette Rolland |
| 2009 | Natural Language Understanding. Anna Maria Di Sciullo |
| 2009 | New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic Hamido Fujita, Vladimír Marík |
| 2009 | No-Frills Software Engineering for Business Information Systems Experience Report. Volker Gruhn, Clemens Schäfer |
| 2009 | On More Efficient Searching Methods for a Corporate Knowledge Database. Noriko Taniguchi, Shogo Hayashida, Kohei Sugawara, Rikio Maruta |
| 2009 | On the Measurement of Negotiation Dialogue Games. Omar Marey, Jamal Bentahar, Abdeslam En-Nouaary |
| 2009 | Ontological Analysis of Functional Decomposition. Patryk Burek, Heinrich Herre, Frank Loebe |
| 2009 | Reducing the Gap between Verification Models and Software Development Models. Elke Pulvermüller |
| 2009 | Requirements Engineering of an Access Protection. Sharon Friedrich, Barbara Paech |
| 2009 | Situated Computation. John S. Gero |
| 2009 | Software Development Methodology for Fast Changing Environment. Zuzana Sochová |
| 2009 | The ISO/IEC Standards for the Software Processes and Products Measurement. Beata Czarnacka-Chrobot |
| 2009 | The Role of Benchmarking Data in the Software Development and Enhancement Projects Effort Planning. Beata Czarnacka-Chrobot |
| 2009 | The Technical Foundation of the GeneSEZ MDSD Approach. Tobias Haubold, Georg Beier, Wolfgang Golubski, Nico Herbig, Gerrit Beine, Oliver Arnold |
| 2009 | Three Philosophers and a Design for Expressive Gestural Interaction. Roman Danylak |
| 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 | Verification Support for Generative System Development. Andreas Speck, Elke Pulvermüller |
| 2009 | Virtual Medical Doctor Interaction Based on Transactional Analysis. Hamido Fujita, Jun Hakura, Masaki Kurematsu |