![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
8th SoMeT 2009: Prague, Czech Republic
- Hamido Fujita, Vladimír Marík:
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
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
- 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
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 - 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
Chapter 5. Software Development and Related Verification
- Elke Pulvermüller:
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 - Zenya Koono, Hui Chen:
Top Management Conducts an Enterprise System Development. 389-395
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 W. Garratt:
A Usability Profile for Graphical Formal Modelling Methods. 443-462 - Shoichi Morimoto:
M. 463-472 - Paul William 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.