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.