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. IOS Press 2009 Frontiers in Artificial Intelligence and Applications 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
- 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
Chapter 2. Software Engineering Service Integration
- 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
Chapter 3. Software Quality and Development Measurement
- 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
Chapter 4. Software Securities and Program Correctness
- 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
Chapter 5. Software Development and Related Verification
- 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
Chapter 6. Software Methodologies Related Techniques
- Mahsa Hasani Sadi, Raman Ramsin: APM3: A Methodology Metamodel for Agile Project Management. 367-378
- Zuzana Sochová: Software Development Methodology for Fast Changing Environment. 379-388
Chapter 7. Ontological Views on Software Developments
- 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
Chapter 8. Software Visualization Related Developments
- 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
Chapter 9. Intelligent User Interaction and Software
- 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
Chapter 10. Natural Language Related Software Development
- 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
Chapter 11. Service Development Systems Applications
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team