Abstract is missing.
- Runtime Properties of Mobile Systems - Gaining Insight by Architecture SimulationVolker Gruhn, Clemens Schäfer. 3-13
- Evaluating Software Development Methodologies Based on their Practices and PromisesParastoo Mohagheghi. 14-35
- The Correlation of Software Testing Efforts and Software Project Estimation: An Empirical StudyJunaid Aziz, Faheem Ahmed, Piers Campbell, Ahmad Jaffar. 39-50
- Linear Mathematical Driver for the Future of Software Testing ProcessAsim A. Elsheikh, Salahideen M. Alhaj, Linda R. Alnaqeep. 51-59
- Formal Reasoning for Security Protocol CorrectnessKamel Adi, Liviu Pene. 63-83
- Enforcing Security Policies Using Algebraic ApproachMohamed Mejri, Hamido Fujita. 84-98
- Incorporating Security into Software Development ProcessRentaro Yoshioka, Yutaka Watanobe, Nikolay N. Mirenkov. 99-109
- Developing a Unique Collaborative System - Optimization-Ware Using a Novel Massive Data Retrieval/Management ApproachRikio Maruta, Shogo Hayashida, Noriko Taniguchi, Kohei Sugawara, M. Sengoku, W. Shoji. 113-125
- The Ultimate Systems Development Method Based on Finite State MachineZenya Koono, Hui Chen. 126-145
- Value-Driven Agile Adoption: Improving An Organization s Software Development ApproachAhmed Samy Sidky, James D. Arthur. 149-164
- Designing and Implementing B2B Applications Using Argumentative AgentsJamal Bentahar, Nanjagud Narenda, Zakaria Maamar, Rafiul Alam, Philippe Thiran. 165-189
- An Ontology-Driven Approach for Generating Assessments for the Scrum Software ProcessImran A. Zualkernan. 190-205
- Some Observations on Elusion, Enrichment and DominationGuy Davies, Love Ekenberg. 209-224
- An Algorithm for Ordering Refactorings Based on Fine-Grained Model TransformationsEmmad Saadeh, Derrick G. Kourie, Andrew Boake. 225-243
- Application of Software Mining to Automatic User Interface GenerationRichard Kennard, Robert Steele. 244-254
- Empirical Based Techniques for Human Cognitive Interaction Analysis: Universal Template DesignHamido Fujita, Jun Hakura, Masaki Kurematsu, Shigekazu Chida, Yuko Arakawa. 257-277
- An Emotion Estimation from Human Speech Using Speech Recognition and Speech SynthesizeMasaki Kurematsu, Marina Ohashi, Orimi Kinosita, Jun Hakura, Hamido Fujita. 278-289
- An Automatic Facial Expression Recognition Method Using Situational Information - A Classification of User Profiles as Situational InformationJun Hakura, Shigekazu Chida, Masaki Kurematsu, Hamido Fujita. 290-306
- Shaping Forms on The Web with a Collective MemoryErnest A. Edmonds, Shigeki Amitani. 309-315
- Experiments with a Creativity-Support System based on Perceptual SimilarityBipin Indurkhya, Kailash Kattalay, Amitash Ojha, Pradhee Tandon. 316-327
- The Organisation of Time and Space in Three Gestural MediaRoman Danylak, Ernest A. Edmonds. 328-336
- User-Oriented Software Development for Real-Time Online ApplicationsSergei Gorlatch, Frank Glinka, Alexander Ploss, Allaithy Raed, Hamido Fujita. 339-360
- A Framework for Software Safety in Safety-Critical SystemsBen Swarup Medikonda, Seetha Ramaiah Panchumarthy. 361-374
- Design Concept of Automatic Program Generation Tool for Reactive RequirementOsamu Arai, Hamido Fujita. 377-388
- Towards Verifying Declarative Specifications of Reactive SystemsTae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita. 389-400
- An Ontology Supporting a Car Advanced Driver Assistance SystemDomenico M. Pisanelli, Claudio De Lazzari, Emilio Bugli Innocenti, Norma Zanetti. 403-412
- Fragmented Programming of Library Parallel Numerical SubroutinesVictor Malyshkin. 413-423
- A Proposal of Life-Support-Network Architecture for Elderly People Living in Rural AreasJun Sasaki, Keizo Yamada, Michiru Tanaka, Yutaka Funyu. 424-438