|
Frontiers in Artificial Intelligence and Applications
Volume 182, 2008
New Trends in Software Methodologies, Tools and Techniques
- Proceedings of the seventh SoMeT_08
Edited by Hamido Fujita, Imran Zualkernan
| 978-1-58603-916-5 (print) |
| 978-1-60750-370-5 (online) |
|
|
|
|
|
Chapter 1. Mobile Computing and Software Quality
|
|
|
|
|
|
|
|
Runtime Properties of Mobile Systems - Gaining Insight by Architecture Simulation
|
|
3 - 13 |
| Volker Gruhn, Clemens Schäfer
|
|
|
|
Evaluating Software Development Methodologies Based on their Practices and Promises
|
|
14 - 35 |
| Parastoo Mohagheghi
|
|
|
|
Chapter 2. Software Quality and Development Measurement
|
|
|
|
|
|
|
|
The Correlation of Software Testing Efforts and Software Project Estimation: An Empirical Study
|
|
39 - 50 |
| Junaid Aziz, Faheem Ahmed, Piers Campbell, Ahmad Jaffar
|
|
|
|
Linear Mathematical Driver for the Future of Software Testing Process
|
|
51 - 59 |
| Asim A. Elsheikh, Salahideen M. Alhaj, Linda R. Alnaqeep
|
|
|
|
Chapter 3. Software Security and Program Correctness
|
|
|
|
|
|
|
|
Formal Reasoning for Security Protocol Correctness
|
|
63 - 83 |
| Kamel Adi, Liviu Pene
|
|
|
|
Enforcing Security Policies Using Algebraic Approach
|
|
84 - 98 |
| Mohamed Mejri, Hamido Fujita
|
|
|
|
Incorporating Security into Software Development Process
|
|
99 - 109 |
| R. Yoshioka, Y. Watanobe, N. Mirenkov
|
|
|
|
Chapter 4. Software Development and Optimization Factors
|
|
|
|
|
|
|
|
Developing a Unique Collaborative System – “Optimization-Ware” Using a Novel Massive Data Retrieval/Management Approach
|
|
113 - 125 |
| R. Maruta, S. Hayashida, N. Taniguchi, K. Sugawara, M. Sengoku, W. Shoji
|
|
|
|
The Ultimate Systems Development Method Based on Finite State Machine
|
|
126 - 145 |
| Zenya Koono, Hui Chen
|
|
|
|
Chapter 5. Agile Software and Agent Software
|
|
|
|
|
|
|
|
Value-Driven Agile Adoption: Improving An Organization's Software Development Approach
|
|
149 - 164 |
| Ahmed Sidky, James D. Arthur
|
|
|
|
Designing and Implementing B2B Applications Using Argumentative Agents
|
|
165 - 189 |
| Jamal Bentahar, Nanjagud Narenda, Zakaria Maamar, Rafiul Alam, Philippe Thiran
|
|
|
|
An Ontology-Driven Approach for Generating Assessments for the Scrum Software Process
|
|
190 - 205 |
| Imran A. Zualkernan
|
|
|
|
Chapter 6. Aspects on Requirement Engineering
|
|
|
|
|
|
|
|
Some Observations on Elusion, Enrichment and Domination
|
|
209 - 224 |
| Guy Davies, Love Ekenberg
|
|
|
|
An Algorithm for Ordering Refactorings Based on Fine-Grained Model Transformations
|
|
225 - 243 |
| Emmad Saadeh, Derrick Kourie, Andrew Boake
|
|
|
|
Application of Software Mining to Automatic User Interface Generation
|
|
244 - 254 |
| Richard Kennard, Robert Steele
|
|
|
|
Chapter 7. Cognitive Aspects in Software
|
|
|
|
|
|
|
|
Empirical Based Techniques for Human Cognitive Interaction Analysis: Universal Template Design
|
|
257 - 277 |
| Hamido Fujita, Jun Hakura, Masaki Kurematsu, Shigekazu Chida, Yuko Arakawa
|
|
|
|
An Emotion Estimation from Human Speech Using Speech Recognition and Speech Synthesize
|
|
278 - 289 |
| Masaki Kurematsu, Marina Ohashi, Orimi Kinosita, Jun Hakura, Hamido Fujita
|
|
|
|
An Automatic Facial Expression Recognition Method Using Situational Information - A Classification of User Profiles as Situational Information
|
|
290 - 306 |
| Jun Hakura, Shigekazu Chida, Masaki Kurematsu, Hamido Fujita
|
|
|
|
Chapter 8. Intelligent User Interaction and Software
|
|
|
|
|
|
|
|
Shaping Forms on The Web with a Collective Memory
|
|
309 - 315 |
| Ernest Edmonds, Shigeki Amitani
|
|
|
|
Experiments with a Creativity-Support System based on Perceptual Similarity
|
|
316 - 327 |
| Bipin Indurkhya, Kailash Kattalay, Amitash Ojha, Pradhee Tandon
|
|
|
|
The Organisation of Time and Space in Three Gestural Media
|
|
328 - 336 |
| Roman Danylak, Ernest Edmonds
|
|
|
|
Chapter 9. Real-Time Aspect in Software
|
|
|
|
|
|
|
|
User-Oriented Software Development for Real-Time Online Applications
|
|
339 - 360 |
| Sergei Gorlatch, Frank Glinka, Alexander Ploss, Allaithy Raed, Hamido Fujita
|
|
|
|
A Framework for Software Safety in Safety-Critical Systems
|
|
361 - 374 |
| Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy
|
|
|
|
Software Design for Reactive System
|
|
|
|
|
|
|
|
Design Concept of Automatic Program Generation Tool for Reactive Requirement
|
|
377 - 388 |
| Osamu Arai, Hamido Fujita
|
|
|
|
Towards Verifying Declarative Specifications of Reactive Systems
|
|
389 - 400 |
| Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita
|
|
|
|
Chapter 11. Software System Applications
|
|
|
|
|
|
|
|
An Ontology Supporting a Car Advanced Driver Assistance System
|
|
403 - 412 |
| Domenico M. Pisanelli, Claudio De Lazzari, Emilio Bugli-Innocenti, Norma Zanetti
|
|
|
|
Fragmented Programming of Library Parallel Numerical Subroutines
|
|
413 - 423 |
| Victor Malyshkin
|
|
|
|
A Proposal of Life-Support-Network Architecture for Elderly People Living in Rural Areas
|
|
424 - 438 |
| Jun Sasaki, Keizo Yamada, Michiru Tanaka, Yutaka Funyu
|
|
|
First Previous 1 Next Last
|
|
|
|
To order a single article, please navigate to the article first by clicking 'abstract' and then click
'Add to Cart'
|
|