Chapter 1. Mobile Computing and Software Quality

• 
  Volker Gruhn, Clemens Schäfer: Runtime Properties of Mobile Systems - Gaining Insight by Architecture Simulation. 3-13
• 
  Parastoo Mohagheghi: Evaluating Software Development Methodologies Based on their Practices and Promises. 14-35

Chapter 2. Software Quality and Development Measurement

• 
  Junaid Aziz, Faheem Ahmed, Piers R. J. Campbell, Ahmad D. Jaffar: The Correlation of Software Testing Efforts and Software Project Estimation: An Empirical Study. 39-50
• 
  Asim A. Elsheikh, Salahideen M. Alhaj, Linda R. Alnaqeep: Linear Mathematical Driver for the Future of Software Testing Process. 51-59

Chapter 3. Software Security and Program Correctness

• 
  Kamel Adi, Liviu Pene: Formal Reasoning for Security Protocol Correctness. 63-83
• 
  Mohamed Mejri, Hamido Fujita: Enforcing Security Policies Using Algebraic Approach. 84-98
• 
  Rentaro Yoshioka, Yutaka Watanobe, Nikolay N. Mirenkov: Incorporating Security into Software Development Process. 99-109

Chapter 4. Software Development and Optimization Factors

• 
  Rikio Maruta, Shogo Hayashida, Noriko Taniguchi, Kohei Sugawara, M. Sengoku, W. Shoji: Developing a Unique Collaborative System - "Optimization-Ware" Using a Novel Massive Data Retrieval/Management Approach. 113-125
• 
  Zenya Koono, Hui Chen: The Ultimate Systems Development Method Based on Finite State Machine. 126-145

Chapter 5. Agile Software and Agent Software

• 
  Ahmed Samy Sidky, James D. Arthur: Value-Driven Agile Adoption: Improving An Organization's Software Development Approach. 149-164
• 
  Jamal Bentahar, Nanjagud Narenda, Zakaria Maamar, Rafiul Alam, Philippe Thiran: Designing and Implementing B2B Applications Using Argumentative Agents. 165-189
• 
  Imran A. Zualkernan: An Ontology-Driven Approach for Generating Assessments for the Scrum Software Process. 190-205

Chapter 6. Aspects on Requirement Engineering

• 
  Guy Davies, Love Ekenberg: Some Observations on Elusion, Enrichment and Domination. 209-224
• 
  Emmad Saadeh, Derrick G. Kourie, Andrew Boake: An Algorithm for Ordering Refactorings Based on Fine-Grained Model Transformations. 225-243
• 
  Richard Kennard, Robert Steele: Application of Software Mining to Automatic User Interface Generation. 244-254

Chapter 7. Cognitive Aspects in Software

• 
  Hamido Fujita, Jun Hakura, Masaki Kurematsu, Shigekazu Chida, Yuko Arakawa: Empirical Based Techniques for Human Cognitive Interaction Analysis: Universal Template Design. 257-277
• 
  Masaki Kurematsu, Marina Ohashi, Orimi Kinosita, Jun Hakura, Hamido Fujita: An Emotion Estimation from Human Speech Using Speech Recognition and Speech Synthesize. 278-289
• 
  Jun Hakura, Shigekazu Chida, Masaki Kurematsu, Hamido Fujita: An Automatic Facial Expression Recognition Method Using Situational Information - A Classification of User Profiles as Situational Information. 290-306

Chapter 8. Intelligent User Interaction and Software

• 
  Ernest A. Edmonds, Shigeki Amitani: Shaping Forms on The Web with a Collective Memory. 309-315
• 
  Bipin Indurkhya, Kailash Kattalay, Amitash Ojha, Pradhee Tandon: Experiments with a Creativity-Support System based on Perceptual Similarity. 316-327
• 
  Roman Danylak, Ernest A. Edmonds: The Organisation of Time and Space in Three Gestural Media. 328-336

Chapter 9. Real-Time Aspect in Software

• 
  Sergei Gorlatch, Frank Glinka, Alexander Ploss, Allaithy Raed, Hamido Fujita: User-Oriented Software Development for Real-Time Online Applications. 339-360
• 
  Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy: A Framework for Software Safety in Safety-Critical Systems. 361-374

Chapter 10. Software Design for Reactive System

• 
  Osamu Arai, Hamido Fujita: Design Concept of Automatic Program Generation Tool for Reactive Requirement. 377-388
• 
  Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita: Towards Verifying Declarative Specifications of Reactive Systems. 389-400

Chapter 11. Software System Applications

• 
  Domenico M. Pisanelli, Claudio De Lazzari, Emilio Bugli-Innocenti, Norma Zanetti: An Ontology Supporting a Car Advanced Driver Assistance System. 403-412
• 
  Victor Malyshkin: Fragmented Programming of Library Parallel Numerical Subroutines. 413-423
• 
  Jun Sasaki, Keizo Yamada, Michiru Tanaka, Yutaka Funyu: A Proposal of Life-Support-Network Architecture for Elderly People Living in Rural Areas. 424-438

last updated on Wed May 22 05:07:43 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page