7. SoMeT 2008: Sharjah, United Arab Emirates

Hamido Fujita, Imran A. Zualkernan (Eds.): New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Seventh SoMeT 2008, October 15-17, 2008, Sharjah, United Arab Emirates. Frontiers in Artificial Intelligence and Applications 182 IOS Press 2008, ISBN 978-1-58603-916-5

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

Junaid Aziz, Faheem Ahmed, Piers Campbell, Ahmad 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

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

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

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

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

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

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

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

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

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