default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th SoMeT 2008: Sharjah, United Arab Emirates
- Hamido Fujita, Imran A. Zualkernan:
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-10 23:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
