New Trends in Software Methodologies, Tools and Techniques :Proceedings of the seventh SoMeT_08 ( Frontiers in Artificial Intelligence and Applications )

Publication subTitle :Proceedings of the seventh SoMeT_08

Publication series : Frontiers in Artificial Intelligence and Applications

Author: Fujita H.;Zualkernan I.  

Publisher: Ios Press‎

Publication year: 2008

E-ISBN: 9781607503705

P-ISBN(Paperback): 9781586039165

Subject: TP Automation Technology , Computer Technology

Keyword: 自动化技术、计算机技术

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

New Trends in Software Methodologies, Tools and Techniques, as part of the SoMeT series, contributes to new trends and theories in the direction in which the editors believe software science and engineering may develop in order to transform the role of software and science integration in tomorrow’s global information society. This book is an attempt to capture the essence of a new state-of-the-art in software science and its supporting technology. Aiming at identifying the challenges such a technology has to master. It contains extensively reviewed papers given at the Seventh International Conference on New Trends in Software Methodology Tools, and Techniques (SoMeT_08) held in Sharjah, United Arab Emirates. One of the important issues addressed in this book is handling cognitive issues on software development to adapt to user mental state. Tools and techniques have been contributed here. Another aspect challenged in this conference was intelligent software design in software security. This book, and the series, will also contribute to the elaboration on such new trends and related academic research studies and development.

Chapter

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

The users who browse this book also browse


No browse record.