8. SoMeT 2009: Prague, Czech Republic

Hamido Fujita, Vladimír Marík (Eds.): New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic. Frontiers in Artificial Intelligence and Applications 199 IOS Press 2009, ISBN 978-1-60750-049-0

Chapter 1. Requirement Engineering and Methods Engineering

Colette Rolland:
Method Engineering: State-of-the-Art Survey and Research Proposal. 3-21
Colette Rolland, Hamido Fujita:
About Strategies to Engineer Situational Methods. 22-38
Tobias Haubold, Georg Beier, Wolfgang Golubski, Nico Herbig, Gerrit Beine, Oliver Arnold:
The Technical Foundation of the GeneSEZ MDSD Approach. 39-60
Hiroshi Ishikawa:
An Approach for Refactoring using ESC/Java2 - A Simple Case Study -. 61-72

Stefan Biffl, Alexander Schatten:
A Platform for Service-Oriented Integration of Software Engineering Environments. 75-92
Volker Gruhn, Clemens Schäfer:
No-Frills Software Engineering for Business Information Systems Experience Report. 93-105
Beata Czarnacka-Chrobot:
The Role of Benchmarking Data in the Software Development and Enhancement Projects Effort Planning. 106-127

Andreas Speck, Elke Pulvermüller:
Verification Support for Generative System Development. 131-147
Damiano Torre, Belen Blasco, Marcela Genero, Mario Piattini:
CQA-ENV: An Integrated Environment for the Continuous Quality Assessment of Software Artifacts. 148-164
Reinhard Tartler, Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk:
Dynamic AspectC++: Generic Advice at Any Time. 165-186
Beata Czarnacka-Chrobot:
The ISO/IEC Standards for the Software Processes and Products Measurement. 187-200

Djedjiga Mouheb, Chamseddine Talhi, Azzam Mourad, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi:
An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation. 203-222
Omar Marey, Jamal Bentahar, Abdeslam En-Nouaary:
On the Measurement of Negotiation Dialogue Games. 223-244
Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui:
A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV. 245-261
Sharon Friedrich, Barbara Paech:
Requirements Engineering of an Access Protection. 262-283
Mohamed Mejri, Kamel Adi, Hamido Fujita:
Formal Specification and Analysis of Firewalls. 284-293

Elke Pulvermueller:
Reducing the Gap between Verification Models and Software Development Models. 297-313
Mats Danielson, Love Ekenberg:
Development of Algorithms for Decision Analysis with Interval Information. 314-335
Rabeb Mizouni, Aziz Salah:
Behavioral Model Composition: a Non Functional Requirements Driven Approach. 336-349
Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita:
Towards a Verification-Based Development Approach for Reactive Systems. 350-363

Mahsa Hasani Sadi, Raman Ramsin:
APM³: A Methodology Metamodel for Agile Project Management. 367-378
Zuzana Sochová:
Software Development Methodology for Fast Changing Environment. 379-388
Zenya Koono, Hui Chen:
Top Management Conducts an Enterprise System Development. 389-395

Robert Hoehndorf, Axel-Cyrille Ngonga Ngomo, Heinrich Herre:
Developing Consistent and Modular Software Models with Ontologies. 399-412
Yury A. Zagorulko, Galina Zagorulko:
A Role of Ontology in Information Systems for Support of Scientific and Production Activity. 413-427
Patryk Burek, Heinrich Herre, Frank Loebe:
Ontological Analysis of Functional Decomposition. 428-439

Rozilawati Razali, Paul Garratt:
A Usability Profile for Graphical Formal Modelling Methods. 443-462
Shoichi Morimoto:
M. 463-472
Paul Parry, Jawed Siddiqi:
Applying Visualisation to Validating Software System Requirements. 473-482
Kohei Sugawara, Rikio Maruta:
A New Windows Desktop Icon for Single Point-of-Control of the Application Window. 483-491

John S. Gero:
Situated Computation. 495-502
Hamido Fujita, Jun Hakura, Masaki Kurematsu:
Virtual Medical Doctor Interaction Based on Transactional Analysis. 503-517
Jun Hakura, Hamido Fujita, Masaki Kurematsu:
Facial Expression Invariants for Estimating Mental States of Person. 518-530
Masaki Kurematsu, Marina Ohashi, Orimi Kinosita, Jun Hakura, Hamido Fujita:
A Study of How to Implement a Listener Estimate Emotion in Speech. 531-540
Roman Danylak:
Three Philosophers and a Design for Expressive Gestural Interaction. 541-547

Anna Maria Di Sciullo:
Natural Language Understanding. 551-563
Shogo Hayashida, Noriko Taniguchi, Kohei Sugawara, Rikio Maruta, W. Shoji:
Evaluating Data Handling Performance of ISSEI Data Management Method. 564-572
Noriko Taniguchi, Shogo Hayashida, Kohei Sugawara, Rikio Maruta:
On More Efficient Searching Methods for a Corporate Knowledge Database. 573-581

Jun Sasaki, Keizo Yamada, Michiru Tanaka, Hamido Fujita, Domenico M. Pisanelli, Riccardo Rasconi, Lorenza Tiberio, Claudio De Lazzari:
Improving Safety and Healthy Life of Elderly People: Italian and Japanese Experiences. 585-598
Claudio Eccher, Antonella Ferro, Domenico M. Pisanelli:
Formal Modeling of Clinical Processes: Experiments in Oncology and Future Perspectives. 599-607
Katsuya Takahashi, Keizo Yamada, Jun Sasaki, Yutaka Funyu:
Development of an Integrated Health Improvement Support System. 608-619