New Trends in Software Methodologies, Tools and Techniques ：Proceedings of the Eleventh SoMeT_12 ( Frontiers in Artificial Intelligence and Applications )

Publication subTitle ：Proceedings of the Eleventh SoMeT_12

Publication series ： Frontiers in Artificial Intelligence and Applications

Author： Fujita H.;Revetria R.  

Publisher： Ios Press‎

Publication year： 2012

E-ISBN: 9781614991250

P-ISBN(Paperback): 9781614991243

Subject： TP3 Computers

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

Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the eleventh International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_12), held in Genoa, Italy, in September 2012. The conference provides an opportunity for scholars from the international research community to discuss and share research experiences of new software methodologies and techniques, and the contributions presented here address issues ranging from research practices and techniques and methodologies to proposing and reporting solutions for global world business. The emphasis has been on human-centric software methodologies, end-user development techniques and emotional reasoning, for an optimally harmonized performance between the design tool and the user. Topics covered include the handling of cognitive issues in software development to adapt it to the user's mental state and intelligent software design in software utilizing new aspects on conceptual ontology and semantics reflected on knowledge base system models. This book provides an opportunity for the software science community to show wher

Chapter

Title Page

Preface

SoMeT_12 Organization

Contents

Chapter 1. Software Development

Using Wikis as Software Development Environments

Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees

Classification and Definitions of Business Logic for End-User-Initiative Development

Towards Model-Based Testing Patterns for Enhancing Agile Methodologies

Generic Process Framework for Developing High-Integrity Software

Chapter 2. Software System Verification and Aspect Engineering

Quantitative Model Checking of Knowledge

A Probabilistic Verification Framework for SysML Activity Diagrams

Modeling and Programming with Roles: Introducing JavaStage

Continuation/Frame-Based Semantics for Aspect Matching and Weaving

Chapter 3. Software Based Learning System

Wikipedia Miner Engine: A Re-Usable e-Learning Service Based on a Virtual MVC Design Pattern

Experiential Human-Computer Interaction in Collaborative Designing of Software Intensive Systems

Units of Measure Analysis and Its Implementation for AIDA

Chapter 4. Business Oriented Software and Related Models

Enhancing Business Process Management with a Constraint-Based Approach

A Graphical Method for Conceptual Modelling of Business and Software Scenarios

Knowledge Based Engineering System for Structural Optical Design

Decision Support System for Handling Interruption in Tasks for Workers

Chapter 5. Theory and Practices on Software

Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories

Principle of Documents for Systems Design - Part 2: Sequential Case

An Introduction to Software Mining

Chapter 6. Intelligent System and User Interaction

Personality Estimation Application for Social Media

Fuzzy Reasoning for Medical Diagnosis Based on Type-2 Fuzzy Aggregation

An Idea of Improvement Decision Tree Learning Using Cluster Analysis

Chapter 7. System Ontology and System Engineering

New Ergonomic Metrics for Educational Ontology Design and Evaluation

A System for Building Image Ontologies from Web Information Sources

Asymmetric Agreement in Pronominal Anaphora

Chapter 8. Information System Applications

Digital TV as Monitoring System for Elderly People Health Care

Telecardiology for Preventing Sudden Cardiac Death in Young People: An Italian High Schools Pilot Study

A High-Level Programming Approach for Distributed Systems with Accelerators

Chapter 9. System Assessment Modeling

An Economic Order Policy Assessment Model Based on a Customized AHP

Optimization of a Condition Based Maintenance Based on Costs and Safety in Production Line

Planning of Supply Chain Risks in a Make-to-Stock Context Through a System Dynamics Approach

Chapter 10. Intelligent Software for Planning and Manufacturing System

System Dynamics Approach to Model a Hybrid Manufacturing System

Design of Experiments in a Single Stage Multi Product Kanban System

An Innovative Approach to Environmental Issues: The Growth of a Green Market Modeled by System Dynamics

A Simulation Study for Supporting Maritime Coal Supply Chain Design

Evalutating Different Scenario in Maritime Coal Supply Chain Using Simulation

Subject Index

Author Index

The users who browse this book also browse