Abstract is missing.
- Method Engineering: State-of-the-Art Survey and Research ProposalColette Rolland. 3-21 [doi]
- About Strategies to Engineer Situational MethodsColette Rolland, Hamido Fujita. 22-38 [doi]
- The Technical Foundation of the GeneSEZ MDSD ApproachTobias Haubold, Georg Beier, Wolfgang Golubski, Nico Herbig, Gerrit Beine, Oliver Arnold. 39-60 [doi]
- An Approach for Refactoring using ESC/Java2 - A Simple Case Study -Hiroshi Ishikawa 0002. 61-72 [doi]
- A Platform for Service-Oriented Integration of Software Engineering EnvironmentsStefan Biffl, Alexander Schatten. 75-92 [doi]
- No-Frills Software Engineering for Business Information Systems Experience ReportVolker Gruhn, Clemens Schäfer. 93-105 [doi]
- The Role of Benchmarking Data in the Software Development and Enhancement Projects Effort PlanningBeata Czarnacka-Chrobot. 106-127 [doi]
- Verification Support for Generative System DevelopmentAndreas Speck, Elke Pulvermüller. 131-147 [doi]
- CQA-ENV: An Integrated Environment for the Continuous Quality Assessment of Software ArtifactsDamiano Torre, Belen Blasco, Marcela Genero, Mario Piattini. 148-164 [doi]
- Dynamic AspectC++: Generic Advice at Any TimeReinhard Tartler, Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk. 165-186 [doi]
- The ISO/IEC Standards for the Software Processes and Products MeasurementBeata Czarnacka-Chrobot. 187-200 [doi]
- An Aspect-Oriented Approach for Software Security Hardening: from Design to ImplementationDjedjiga Mouheb, Chamseddine Talhi, Azzam Mourad, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi. 203-222 [doi]
- On the Measurement of Negotiation Dialogue GamesOmar Marey, Jamal Bentahar, Abdeslam En-Nouaary. 223-244 [doi]
- A Formal Verification Approach of Conversations in Composite Web Services Using NuSMVMelissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui. 245-261 [doi]
- Requirements Engineering of an Access ProtectionSharon Friedrich, Barbara Paech. 262-283 [doi]
- Formal Specification and Analysis of FirewallsMohamed Mejri, Kamel Adi, Hamido Fujita. 284-293 [doi]
- Reducing the Gap between Verification Models and Software Development ModelsElke Pulvermueller. 297-313 [doi]
- Development of Algorithms for Decision Analysis with Interval InformationMats Danielson, Love Ekenberg. 314-335 [doi]
- Behavioral Model Composition: a Non Functional Requirements Driven ApproachRabeb Mizouni, Aziz Salah. 336-349 [doi]
- Towards a Verification-Based Development Approach for Reactive SystemsTae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita. 350-363 [doi]
- APM:::3:::: A Methodology Metamodel for Agile Project ManagementMahsa Hasani Sadi, Raman Ramsin. 367-378 [doi]
- Software Development Methodology for Fast Changing EnvironmentZuzana Sochová. 379-388 [doi]
- Top Management Conducts an Enterprise System DevelopmentZenya Koono, Hui Chen. 389-395 [doi]
- Developing Consistent and Modular Software Models with OntologiesRobert Hoehndorf, Axel-Cyrille Ngonga Ngomo, Heinrich Herre. 399-412 [doi]
- A Role of Ontology in Information Systems for Support of Scientific and Production ActivityYury A. Zagorulko, Galina Zagorulko. 413-427 [doi]
- Ontological Analysis of Functional DecompositionPatryk Burek, Heinrich Herre, Frank Loebe. 428-439 [doi]
- A Usability Profile for Graphical Formal Modelling MethodsRozilawati Razali, Paul Garratt. 443-462 [doi]
- MShoichi Morimoto. 463-472 [doi]
- Applying Visualisation to Validating Software System RequirementsPaul Parry, Jawed Siddiqi. 473-482 [doi]
- A New Windows Desktop Icon for Single Point-of-Control of the Application WindowKohei Sugawara, Rikio Maruta. 483-491 [doi]
- Situated ComputationJohn S. Gero. 495-502 [doi]
- Virtual Medical Doctor Interaction Based on Transactional AnalysisHamido Fujita, Jun Hakura, Masaki Kurematsu. 503-517 [doi]
- Facial Expression Invariants for Estimating Mental States of PersonJun Hakura, Hamido Fujita, Masaki Kurematsu. 518-530 [doi]
- A Study of How to Implement a Listener Estimate Emotion in SpeechMasaki Kurematsu, Marina Ohashi, Orimi Kinosita, Jun Hakura, Hamido Fujita. 531-540 [doi]
- Three Philosophers and a Design for Expressive Gestural InteractionRoman Danylak. 541-547 [doi]
- Natural Language UnderstandingAnna-Maria Di Sciullo. 551-563 [doi]
- Evaluating Data Handling Performance of ISSEI Data Management MethodShogo Hayashida, Noriko Taniguchi, Kohei Sugawara, Rikio Maruta, W. Shoji. 564-572 [doi]
- On More Efficient Searching Methods for a Corporate Knowledge DatabaseNoriko Taniguchi, Shogo Hayashida, Kohei Sugawara, Rikio Maruta. 573-581 [doi]
- Improving Safety and Healthy Life of Elderly People: Italian and Japanese ExperiencesJun Sasaki, Keizo Yamada, Michiru Tanaka, Hamido Fujita, Domenico M. Pisanelli, Riccardo Rasconi, Lorenza Tiberio, Claudio De Lazzari. 585-598 [doi]
- Formal Modeling of Clinical Processes: Experiments in Oncology and Future PerspectivesClaudio Eccher, Antonella Ferro, Domenico M. Pisanelli. 599-607 [doi]
- Development of an Integrated Health Improvement Support SystemKatsuya Takahashi, Keizo Yamada, Jun Sasaki, Yutaka Funyu. 608-619 [doi]