Title page -- Preface -- SoMeT 2008 Organization -- Contents -- Mobile Computing and Software Quality -- Runtime Properties of Mobile Systems: Gaining Insight by Architecture Simulation -- Evaluating Software Development Methodologies Based on Their Practices and Promises -- Software Quality and Development Measurement -- The Correlation of Software Testing Efforts and Software Project Estimation: An Empirical Study -- Linear Mathematical Driver for the Future of Software Testing Process -- Software Security and Program Correctness -- Formal Reasoning for Security Protocol Correctness -- Enforcing Security Policies Using Algebraic Approach -- Incorporating Security into Software Development Process -- Software Development and Optimization Factors -- Developing a Unique Collaborative System - "Optimization-Ware": Using a Novel Massive Data Retrieval/Management Approach -- The Ultimate Systems Development Method Based on Finite State Machine -- Agile Software and Agent Software -- Value-Driven Agile Adoption: Improving an Organization's Software Development Approach -- Designing and Implementing B2B Applications Using Argumentative Agents -- An Ontology-Driven Approach for Generating Assessments for the Scrum Software Process -- Aspects on Requirement Engineering -- Some Observations on Elusion, Enrichment and Domination -- An Algorithm for Ordering Refactorings Based on Fine-Grained Model Transformations -- Application of Software Mining to Automatic User Interface Generation -- Cognitive Aspects in Software -- Empirical Based Techniques for Human Cognitive Interaction Analysis: Universal Template Design -- An Emotion Estimation from Human Speech Using Speech Recognition and Speech Synthesize -- An Automatic Facial Expression Recognition Method Using Situational Information - A Classification of User Profiles as Situational Information.

Intelligent User Interaction and Software -- Shaping Forms on the Web with a Collective Memory -- Experiments with a Creativity-Support System Based on Perceptual Similarity -- The Organisation of Time and Space in Three Gestural Media -- Real-Time Aspect in Software -- User-Oriented Software Development for Real-Time Online Applications -- A Framework for Software Safety in Safety-Critical Systems -- Software Design for Reactive System -- Design Concept of Automatic Program Generation Tool for Reactive Requirement -- Towards Verifying Declarative Specifications of Reactive Systems -- Software System Applications -- An Ontology Supporting a Car Advanced Driver Assistance System -- Fragmented Programming of Library Parallel Numerical Subroutines -- A Proposal of Life-Support-Network Architecture for Elderly People Living in Rural Areas -- Author Index.