Cargando…
Tabla de Contenidos:
  • 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 DiagramsModeling 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 ApproachA 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 MediaFuzzy 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 StudyA 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