Software Engineering Books

Book SynopsisThis book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).Table of Contents​Industry track.- Blockchain-based Architecture of Immutable Document Repository.- An Overview about Terravis Architecture - Large-Scale Business Process Integration for Swiss Land Register Processes.- Architectural revision of the e-assessment system JACK.- Tools and Demonstrations Track.- ExpressO: From Express.js implementation code to OpenAPI interface descriptions.- Tool-based Attack and Scenario Analysis.- Apache Kafka as a Middleware to Support the PLC-Service Bus Architecture with IEC 61499.- A Toolchain for Simulation Component Specification and Identification.- DAT: A Tool for Data Architecture for IoT.- Doctoral Symposium.- Controlling Automatic Experiment-Driven Systems using Statistics and Machine Learning.- Tutorials.- Trust Management in the Internet of Everything.- Continuous Dependability Assessment of Microservice Systems.- 8th International Workshop on Automotive System/Software Architectures (WASA).- Assessing Security of Internal Vehicle Networks.- Methodical Approach for Centralization Evaluation of Modern Automotive E/E Architectures.- 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA).- MockSAS: Facilitating the Evaluation of Bandit Algorithms in Self-Adaptive Systems.- Towards Uncertainty Reduction Tactics for Behavior Adaptation.- Towards characterization of edge-cloud continuum.- 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS).- Towards Online Testing Under Uncertainty using Model-based Reinforcement Learning.- A Maude Formalization of Object Nets.- 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4).- Developing an AI-enabled IIoT platform - Lessons learned from early use case validation.- DevOps in Robotics: Challenges and Practices.- Enabling IoT Connectivity and Interoperability by using Automated Gateways.- 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA).- A Methodological Approach to Verify Architecture Resiliency.- Microservices Security: Bad vs. Good Practices.- 2nd International Workshop on Software Architecture and Machine Learning (SAML).- Multi-metric Approach for Decomposition of Microservice-based Data Science Workflows.- Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures.- Generalization of Machine-learning Adaptation in Ensemble-based Self-adaptive Systems.- Finding Reusable Machine Learning Components to Build Programming Language Processing Pipelines.- 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon).- Optimized Machine Learning Input for Evolutionary Source Code to Architecture Mapping.- 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA).- A Taxonomy for Design Decisions in Software Architecture Documentation.- Establishing a Benchmark Dataset for Traceability Link Recovery between Software Architecture Documentation and Models.- 1st International Workshop on Digital Twin Architecture (TwinArch).- Engineering of Trust Analysis-driven Digital Twins for a medical device.- Using I4.0 digital twins in agriculture.

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023. The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of ContentsSmart Tourism (SmartTourism 2023).- The concept of smart marinas for the implementation of Croatian nautical tourism.- A Decade Bibliometric Analysis of Decision Making in Tourism and Hospitality.- Smart Touristic Ports - The emergence of sustainable marinas from Smart conversion. What future for Sardinia's ports.- Assessing Management Effectiveness: Manglares El Salado Fauna Production Reserve study case.- Smart and slow tourism in protected natural contexts.- Spatial Energy planning, city and Urban Heritage (Spatial_energy_city 2023).- Conservation and regeneration for a sustainable and circular city.- Problem setting on energy risk and climate change adaptation: topics and tools.- The role of spatial circular planning in urban governance. A set of indicators to evaluate performance of urban regeneration.- Theoretical and Computational Chemistry and its Applications (TCCMA 2023).- Protein tetrahedral networks by invariant shape coordinates.- Guided Clustering for Selecting Representatives Samples in Chemical Databases.- Thermodynamic Analysis of Digestate Pyrolysis Coupled with CO2 Sorption.- Coding Cross Sections of an Electron Charge Transfer Process: analysis of different cuts for the entrance and exit potentials.- Transport Infrastructures for Smart Cities (TISC 2023).- Sustainable retrofitting of urban streets for mitigation of traffic vibration by means of anti-vibrating trenches.- Some remarks on automatic braking system related to pedestrian safety.- Potential Application of Marble and Crushed Mussel Shells By-Products to be Used as Aggregates in Plain Concrete Mixes.- Impact Indexes Comparison Study Using Environmental Product Declarations (EPDs) on Innovative Cement Bound Granular Material Pavement Layers.- THE EFFECT OF SUBGRADE CAVITY ON PAVEMENT. A CASE STUDY.- Motorway performance in Europe and Greece.- Execution Time Experiments to Solve Capacitated Vehicle Routing Problem.- Analysis of the impact on the safety and sustainability of vehicular traffic in the landside area of Olbia - Costa Smeralda- airport.- INTERNATIONAL DESIGN PRACTICES FOR ROUNDABOUTS.- Urban Regeneration: Innovative Tools and Evaluation Model (URITEM 2023).- Decision support system for the management of interventions on buildings in the historic centre of Florence: from conservation to regeneration.- Knowledge as a prodromal action for urban regeneration and sustainable development: the case study of Munici-pality of Fondi.- Metabolic Approaches to Regeneration of the Historic Mondeggi Villa Estate.- Environmental and Landscape Constraints and Legislative Provisions in Territorial/Urban Planning and Building Constructions: impacts in urban regeneration.- ​Urban Space Accessibility and Mobilities (USAM 2023).- Accessibility and Polarities of Pedestrian Network in University Campuses. A Space Syntax Application.- A data-driven approach for a city-university mobility plan: the case of the University of Pisa.- Developing a parsimonious classification of traffic analysis zones using a large number of accessibility indicators and transportation level of service.- Research Trends in Tourism Participation: A Bibliometric Analysis using the Scopus Database.- Describing and Understanding the Morphology of the Urban Landscape. The Case Study of Cagliari, Italy.- The Emergence of Robotics in Tourism and Hospitality: A Bibliometric Analysis from 2017 to 2023.- Sustainability crossing the city: developing a sustainable infrastructures system for Genoa urban center.- Virtual reality and augmented Reality and Applications (VRA 2023).- An exploration towards sustainable metaverse systems for e-learning by student designers: A meta-analysis.- Design and Develop of a Smart City Digital Twin with 3D Representation and User Interface for What-If Analysis.- Numerical simulations of 1461 and 1762 San Pio delle Camere (L'Aquila) earthquakes using 3D physic-based model.- Graphical visualization of phase surface of the Sprott type A system immersed in 4D.- Open metaverse with open software.- Aerial and terrestrial LiDAR: comparisons and accuracies.- Workshop on Advanced and Computational Methods for Earth Science applications (WACM4ES 2023).- Exploring the Signature of the Apollo Medicane in the Central Mediterranean Sea through Multi-Source Data Analysis: Satellites, Radar HF, Marine Buoys, and Seismic Data in October 2021.- (Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using an Arbitrary Prior and Constrained to Ancillary Information.- Transportation infrastructures exposed to seismic risk: evaluation of social costs for resilience design.- LOW-COST GEOMATICS SURVEYS FOR EMERGENCY INTERVENTIONS ON CULTURAL HERITAGE. THE CASE OF HISTORIC WALLS IN CAGLIARI.- AGEO: Advanced Citizens' Observatory for Atlantic Geohazard Risk Management.- Multidisciplinary research at the Castle of Santapau (Licodia Eubea, Italy): new data for the research, protection and enhancement of the archaeological site.

Read more less

Book SynopsisArtificial intelligence (AI) applications bring agility and modernity to our lives, and the reinforcement learning technique is at the forefront of this technology. It can outperform human competitors in strategy games, creative compositing, and autonomous movement. Moreover, it is just starting to transform our civilization.This book provides an introduction to AI, specifies machine learning techniques, and explores various aspects of reinforcement learning, approaching the latest concepts in a didactic and illustrated manner. It is aimed at students who want to be part of technological advances and professors engaged in the development of innovative applications, helping with academic and industrial challenges.Understanding the Fundamentals of Reinforcement Learning will allow you to: Understand essential AI concepts Gain professional experience Interpret sequential decision problems and solve them with reinforcement learning Learn how the Q-Learning algorithm works Practice with commented Python code Find advantageous directions Table of ContentsChapter. 1. IntroductionChapter. 2. ConceptsChapter. 3. Q-Learning algorithmChapter. 4. Development toolsChapter. 5. Practice with codeChapter. 6. Recent applications and future researchIndex.

Read more less

Book SynopsisThis open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.Table of ContentsCertified Core-Guided MaxSAT Solving.- Superposition with Delayed Unification.- On Incremental Pre-processing for SMT.- Verified Given Clause Procedures.- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.- An Isabelle/HOL Formalization of the SCL(FOL) Calculus.- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning.- Formal Reasoning about Influence in Natural Sciences Experiments.- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).- SAT-Based Subsumption Resolution.- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper).- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper).- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description).- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT.- Proving Termination of C Programs with Lists.- Reasoning about Regular Properties: A Comparative Study.- Program Synthesis in Saturation.- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.- Verification of NP-hardness Reduction Functions for Exact Lattice Problems.- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.- Left-Linear Completion with AC Axioms.- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+.- Theorem Proving in Dependently-Typed Higher-Order Logic.- Towards Fast Nominal Anti-Unification of Letrec-Expressions.- Confluence Criteria for Logically Constrained Rewrite Systems.- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory.- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper).- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness.- Decidability of difference logic over the reals with uninterpreted unary predicates.- Incremental Rewriting Modulo SMT.- Iscalc: an Interactive Symbolic Computation Framework (System Description).

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 16 full papers and the 9 short papers included in this volume were carefully reviewed and selected from 71 submissions. They address the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice.Table of ContentsQuality in Software Architecture.- Architecture Modeling and Design.- Artificial Intelligence and Autonomous Systems.- Software Architecture Implementation and Deployment.- Software Architecture Documentation.

Read more less

Book SynopsisThis book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.Table of ContentsMain Lectures.- PhD Workshop.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book.Table of Contents​Analysis of Programs and Equations.- Unification.- Decidable Fragments.- Frameworks.- Higher-order Theorem Proving.

Read more less

Book SynopsisThis open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.Table of ContentsRange-Restricted and Horn Interpolation through Clausal Tableaux.- Non-Classical Logics in Satisfiability Modulo Theories.- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics.- Non-distributive description logic.- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized.- Some Analytic Systems of Rules.- A cut-free, sound and complete Russellian theory of definite descriptions.- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators.- Lemmas: Generation, Selection, Application.- Machine-Learned Premise Selection for Lean.- gym-saturation: Gymnasium environments for saturation provers (System description).- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points.- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic.- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata.- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.- On intuitionistic diamonds (and lack thereof).- NP Complexity for Combinations of Non-Normal Modal Logics.- Resolution-based Calculi for Non-Normal Modal Logics.- Canonicity of Proofs in Constructive Modal Logic.- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic.- The MaxSAT problem in the real-valued MV-algebra.- The Logic of Separation Logic: Models and Proofs.- Testing the Satisfiability of Formulas in Separation Logic with Permissions.- Nested Sequents for Quantified Modal Logics.- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware. Table of ContentsTemporal logics.- Data structures and heuristics.- Verification of programs and hardware.- Tool papers.

Read more less

Book SynopsisThis book constitutes the proceedings of the 6th International Conference on Applied Informatics, ICAI 2023, which took place in Guayaquil, Ecuador, in October 2023.The 30 papers presented in this volume were carefully reviewed and selected from 132 submissions. The contributions are divided into the following thematic blocks: Artificial Intelligence; Data Analysis; Decision Systems; Enterprise Information Systems Applications; Geoinformatics; Health Care Information Systems; Interdisciplinary Information Studies; Learning Management Systems; Virtual and Augmented Reality.Table of ContentsArtificial Intelligence.- Data Analysis.- Decision Systems.- Enterprise Information Systems Applications.- Geoinformatics.- Health Care Information Systems.- Interdisciplinary Information Studies.- Learning Management Systems.- Virtual and Augmented Reality.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of 7 workshops, held at the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 28 full and 2 short papers were carefully reviewed and selected out of 53 submissions. Topics of interest span the entire spectrum of conceptual modeling, including research and practice in areas such as theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models. The following workshops are included in this volume: CMLS – 4th International Workshop on Conceptual Modeling for Life Sciences; CMOMM4FAIR – Third Workshop on Conceptual Modeling, Ontologies and (Meta)data Management for Findable, Accessible, Interoperable, and Reusable (FAIR) Data; EmpER – 6th International Workshop on Empirical Methods in Conceptual Modeling; JUSMOD – Second International Workshop on Digital Justice, Digital Law and Conceptual Modeling; OntoCom – 9th International Workshop on Ontologies and Conceptual Modeling; QUAMES – 4th International Workshop on Quality and Measurement of Model-Driven Software Development; SmartFood – First Workshop on Controlled Vocabularies and Data Platforms for Smart Food Systems. Table of Contents​CMLS: An Ontology for Breast Cancer Screening.- Integrating Nuclear Medicine and Radiopharmacy Data: A Conceptual Model for Precision Medicine and Enhanced Patient Care.- Comprehensive Representation of Variation Interpretation Data via Conceptual Modeling.- Enhancing Precision Medicine: An Automatic Pipeline Approach for Exploring Genetic Variant-Disease Literature.- CMOMM4FAIR: euFAIR: A Digital Tool for Assessing the FAIR Principles.- EmpER: Empirical Exploration of Open-Source Issues for Predicting Privacy Compliance.- Human-Centred Conceptual Modelling for Re-Designing Urban Planning.- Using Knowledge Graphs to Generate SQL Queries from Textual Specifications.- A Systematic Approach to Generate TOGAF Artifacts Founded on Multiple Data Sources and Ontology.- Bridging the Gap: Conceptual Modeling and Machine Learning for Web Portals.- JUSMOD: New-Generation Templates Facilitating the Shift from Documents to Data in the Italian Judiciary.- Supervised Learning, Explanation and Interpretation from Pretrial Detention Decisions by Italian and Brazilian Supreme Courts.- Few-Shot Legal Text Segmentation via Rewiring Conditional Random Fields: A Preliminary Study.- Identification and Visualization of Legal Definitions and Legal Term Relations.- Comparative Analysis of Disinformation Regulations: A Preliminary Analysis.- Privacy-Preserving Data Integration for Digital Justice.- Public Procurement Analysis with Process Discovery Techniques and Event Log Enrichment.- Formalising Legal Knowledge of Sri Lankan Civil Appellate High Court Domain from Ontological Perspective.- OntoCom: Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling.- Misalignments of Social and Numerical Identity – An Ontological Analysis.- Using an Ontology for Defining Semantics of Fractal Enterprise Model.- One Model to Rule Them All: A Demonstration of Ontology-Driven Minimum Viable Product Development for a Local Tourism Platform.- Enhancing Requirement-Information Mapping for Sustainable Buildings: Introducing the SFIR Ontology.- On the Use of ChatGPT for Classifying Domain Terms According to Upper Ontologies.- QUAMES: Exploring Understandability in Socio-Technical Models for Data Protection Analysis: Results from a Focus Group.- FlowTGE: Automating Functional Testing of Executable Business Process Models Based on BPMN.- An Approach Aligned with Model Driven Development to Evaluate the Quality of Explainable Artificial Intelligence.- SmartFood: Unveiling major Knowledge Organization Systems’ artifacts for Agriculture with network graphs.- Design Implications Towards Human-Centric Semantic Recommenders for Sustainable Food Consumption.- CoffeeWKG: A Weather Knowledge Graph for Coffee Regions in Colombia.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.Table of ContentsRefinements for Open Automata.- The Cubicle Fuzzy Loop : A Fuzzing-Based Extension for the Cubicle Model Checker.- Guiding Symbolic Execution with A-star.- Robustness Testing of Software Verifiers.- Decoupled Fitness Criteria for Reactive Systems.- Capturing Smart Contract Design with DCR Graphs.- An Active Learning Approach to Synthesizing Program Contracts.- Ranged Program Analysis via Instrumentation.- Attack time analysis in dynamic attack trees via integer linear programming.- SSCalc A Calculus for Solidity Smart Contracts.- ATM: a Logic for Quantitative Security Properties on Attack Trees.- Refactoring of Multi-Instance BPMN Processes with Time and Resources.- Verified Scalable Parallel Computing with Why3.- Exact and Efficient Bayesian Inference for Privacy Risk Quantification.- A Formalization of Heisenbugs and Their Causes.- Verifying Read-Copy Update under RC11.- QNNRepair: Quantized Neural Network Repair.- Timeout Prediction for Software Analyses.- PART Tool Papers.- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Additionally, the book contains 4 keynote speeches and 3 tutorials, and one invited paper corresponding to one of the keynote speeches. The papers cover a broad spectrum of classical and modern topics on conceptual modeling, including research and practice in the theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models.Table of Contents​Invited Paper.- Stochastic LLMs do not Understand Language: Towards Symbolic, Explainable and Ontologically Based LLMs.- The Conceptual Modeling Task.- A Survey of Ethical Reasoning Methods, their Metamodels, and a Theory on their Application to Conceptual Modelling.- Use of Competency Questions in Ontology Engineering: a Survey.- How Inclusive is Conceptual Modeling? A Systematic Review of Literature and Tools for Disability-aware Conceptual Modeling.- The Meta Level.- A Terminological and Semiotic Review of the Digital Object Concept.- The Ontology for Conceptual Characterization of Ontologies.- ProMoTe: A Data Product Model Template for Industry.- Model-Based Analysis and Implementation.- Using a Conceptual Model in Plug-and-play SQL.- Sanity-Checking Multiple Levels of Classification – A Formal Approach with a ConceptBase Implementation.- A Safari for Deviating GoF Pattern Definitions and Examples on the Web.- Process Mining and Abstraction.- Object-Centric Alignments.- Transforming Event Knowledge Graph to Object-Centric Event Logs: A Comparative Study for Multi-dimensional Process Analysis.- Ontology-Based Abstraction of Bot Models in Robotic Process Automation.- Modeling Events and Processes.- Shards of Knowledge – Modeling Attributions for Event-Centric Knowledge Graphs.- A Characterisation of Ambiguity in BPM.- Dealing with the evolution of event-based choreographies of BPMN fragments: definition and proof of concept.- Conceptual Modeling in Context.- Safety Analysis of Human Robot Collaborations with GRL Goal Models.- A Domain-Specific Visual Modeling Language for Augmented Reality Applications Using WebXR.- An Ontology for Context Modeling in Smart Spaces.- Applications of Conceptual Modeling.- A Reference Meta-Model to Understand DNA Variant Interpretation Guidelines.- A Conceptual Modeling Approach for Risk Assessment and Mitigation in Collision-free UAV Routing for Beyond-the-Visual-Line-of-Sight Flights.- QuantumShare: Towards An Ontology for Bridging the Quantum Divide.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.Table of Contents​Argumentation and Logic Programming.- ABALearn: An automated logic-based learning system for ABA frameworks.- Deriving Dependency Graphs from Abstract Argumentation Frameworks.- ReConf: An Automatic Context-based Software Reconfiguration Tool for Autonomous Vehicles using Answer-Set Programming.- Mining contrast sequential patterns with ASP.- Ontologies.- An ontological modelling of reason-based preferences.- A Defeasible Description Logic for Abduction.- Ontology-based Data Management in Healthcare: The Case of the Italian Arthroplasty Registry.- Planning.- A Structure-Sensitive Translation from Hybrid to Numeric Planning.- Intrinsically Motivated High-Level Planning for Agent Exploration.- Natural Language Processing.- Mining Argument Components in Essays at Different Levels.- Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations.- Scaling Large Language Models to the Extreme: Neural Semantic Processing of Multiple Tasks in Italian.- Named Entity Recognition and Linking for Entity Extraction from Italian Civil Judgements.- Machine Learning.- CENTAURO: an Explainable AI Approach for Customer Loyalty Prediction in Retail Sector.- Toward Novel Optimizers: A Moreau-Yosida View of Gradient-based Learning.- Mastering the Card Game of Jaipur through Zero-knowledge Self-Play Reinforcement Learning and Action Masks.- Uncovering Bias in the Face Processing Pipeline: An Analysis of Popular and State-of-the-Art Algorithms Across Demographic Groups.- A multi-label classification study for the prediction of long-covid syndrome.- PAUL-2: An Upgraded Transformer-Based Redesign of the Algorithmic Composer PAUL.- Robotics and Perception.- Understanding the Effect of Deep Ensembles in LiDAR-based Place Recognition.- Enanching LiDAR performance: Robust De-skewing Exclusively Relying o n Range Measurements.- Can Existing 3D Monocular Object Detection Methods Work in Roadside Contexts? A Reproducibility Study.- Embedding Shepard's Interpolation into CNN Models for Unguided Depth Completion.- Performance evaluation of depth completion neural networks for various RGB-D camera technologies in indoor scenario.- Hybrid AI.- Inference in Probabilistic Answer Set Programming under the Credal Semantics.- Efficient Modal Decision Trees.- Clique-TF-IDF: A New Partitioning Framework based on Dense Substructures.- Combining Contrastive Learning and Knowledge Graph Embeddings to develop medical word embeddings for the Italian language.- Applications of AI.- Recognizing the Style, Genre, and Emotion of a Work of Art Through Visual and Knowledge Graph Embeddings.- Combining genetic algorithms and temporal constraint satisfaction for recommending personalized tourist itineraries.- Towards Automatic Digitalization of Railway Engineering Schematics.- Election Manipulation in Social Networks with Single-Peaked Agents.- Learning to Prompt in the Classroom to Understand AI Limits: A pilot study.

Read more less

Book SynopsisThis conference LNAI 14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Mérida, Yucatán, México. The total of 34 papers presented in this volume was carefully reviewed and selected from 54 submissions.The proceedings of MICAI 2023 workshops are structured into three sections: – WILE 2023: 16th Workshop on Intelligent Learning Environments – HIS 2023: 16th Workshop of Hybrid Intelligent Systems – CIAPP 2023: 5th Workshop on New Trends in Computational Intelligence and ApplicationsTable of ContentsArtificial intelligence. - Knowledge representation and reasoning.- Planning and scheduling.- Control methods.- Philosophical/theoretical foundations of artificial intelligence.- Computer vision.- Machine learning.- Symbolic and algebraic manipulation.- Simulation theory.- Robots.- Evolutionary computation.- Intelligent systems.- Natural language processing.- Bioinformatics.- Medical applications using AI.

Read more less

Book SynopsisThis LNCS conference volume constitutes the proceedings of the 20th International Symposium, ARC 2024, in Aveiro, Portugal, in March 2024. The conference focuses on the application and development of reconfigurable computing techniques, fault-tolerance, data, and graph processing acceleration to computer security.

Read more less

Book Synopsis

Read more less

Book Synopsis1. Handbook on Natural Language Processing for Requirements Engineering: Overview.- Part I: NLP for Downstream RE Tasks.- 2. Machine Learning for Requirements Classification.- 3. Requirements Similarity and Retrieval.- 4. Natural Language Processing for Requirements Traceability.- 5. Detecting Defects in Natural Language Requirements Specifications.- 6. Automated Requirements Terminology Extraction.- 7. Automated Requirements Relations Extraction.- Part II: NLP for Specialised Types of Requirements and Artefacts.- 8. Legal Requirements Analysis: A Regulatory Compliance Perspective.- 9. Privacy Requirements Acquisition and Analysis.- 10. On the Automated Processing of User Feedback.- 11. Mining Issue Trackers: Concepts and Techniques.- 12. Automated Analysis of User Story Requirements.- Part III: NLP for RE in Practice.- 13. NLP4RE Tools: Classification, Overview, and Management.- 14. Empirical Evaluation of Tools for Hairy Natural Language Requirements Engineering Tasks.- 15. Practical Guidelines for the Selection and Evaluation of Natural Language Processing Techniques in Requirements Engineering.- 16. Using Large Language Models for Natural Language Processing  Tasks in Requirements Engineering: A Systematic Guideline.- 17. Dealing with Data for RE: Mitigating Challenges while Using NLP and Generative AI.

Read more less

Book SynopsisIntroduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday.- Systems Security Modeling and Analysis at IMT Lucca.- Klaim in the making.- Formal approaches for modeling and analysis of business process collaborations.- An abstract account of  up-to techniques for inductive behavioural relations.- Language equivalence from Nondeterministic to Weighted Automata --- and back.- A Process Algebraic View of In/Out Prisoners.- Towards a Formal Testing Theory for Quantum  Processes.- Testing Quantum Processes.- The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops.- Towards a probabilistic programming approach to analyse collective adaptive systems.- Can AI Help with the Formalization of Railway Cybersecurity Requirements?.- White-box validation of collective adaptive systems by statistical model checking and process mining.- Analysing collective adaptive systems by proving theorems.- Engineering Ethical-aware Collective Adaptive Systems.-

Read more less

Book SynopsisAll About Time.- Wang@MDU in a nutshell.- To Sifu - Supervision, Mentorship and Lifelong Bond.- Research in one Area Benefits Another.- Verifying PLC-Automata against Counterexample Formulas using Timed Automata.- Nudging Strategies for User Journeys: Take a Path on the Wild Side.- Adaptive Task Planning and Formal Control Synthesis using Temporal Logic Trees.- Trading Space for Simplicity in Stateless Model Checking.- Performance Analysis of Stochastic Digraph Real-Time Task Model.- A Closer Look at Pseudo-Polynomial Time and its Use in Real-Time Scheduling Theory.- Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models.- Reminiscences of a Real-Time Researcher.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book Synopsis.- Invited Talks..- Formal Verification of Cyber-Physical Systems using Domain-specific Abstractions..- Paraconsistency for the Working Software Engineer..- Picturing Quantum Software..- Contributed Papers..- User-Guided Verification of Security Protocols via Sound Animation..- A Policy Framework for Regulating External Calls in Smart Contracts..- Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability..- SmartML: Towards a Modeling Language for Smart Contracts..- Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems..- Validating Traces of Distributed Programs Against TLA+ Specifications..- Partially-Observable Security Games for Attack-Defence Analysis in Software Systems..- Secure Smart Contracts with Isabelle/Solidity..- Deductive verification of SYCL in VerCors..- Minuska: Towards a Formally Verified Programming Language Framework..- Hierarchical Learning of Generative Automaton Models from Sequential Data..- Composing Run-time Variability Models..- Model-Checking the Implementation of Consent..- GrammarForge: Learning Program Input Grammars for Fuzz Testing..- Verified Configuration and Deployment of Layered Attestation Managers..- Right or Wrong Understanding How Users Write Software Models in Alloy..- An Operational Semantics for Yul..- Execution-time opacity control for timed automata..- Unlocking the Power of Environment Assumptions for Unit Proofs..- Towards Quantum Multiparty Session Types..- Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems..- Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards..- Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems.

Read more less

Book SynopsisFundamentals of Software Engineering.- Professional Responsibility in Software Engineering.- Ethical Software Engineering.- Ethical and Legal Responsibilities of Project Managers.- Overview of Software Project Management.- Software Project Planning.- Risk Management.- Quality Management in Software Projects.- Project Monitoring and Control.- Outsourcing - Supplier Selection and Management.- Project Closure.- Configuration Management.- Project Management in the Agile World.- Project Management Metrics.- Tools for Project Management.- Continuous Improvement of Project Management.- Epilogue.

Read more less

Book Synopsis.- Mechanized Type Soundness for Substructural Types using Iris (Invited Tutorial)..- Towards Automated Analysis of Emerging Behaviour: Preliminary Insights and Research Directions (Invited Talk)..- Formal Foundations for Reowolf: Multi-Party Sessions via Synchronous Protocol Programming..- Formalizing Errors in CCS with 3-Valued Logic..- Verified Parameterized Choreographies..- A Constraint Opinion Model..- MIMOSA: A Language for Asynchronous Implementation of Embedded Systems Software..- Declarative Deployment Planning for Green Pulverised Collective Computational Systems..- Decidability Problems for Micro-Stipula..- Behavioural, Functional, and Non-Functional Contracts for Dynamic Selection of Services..- Dialects for the CoAP IoT Messaging Protocol..- DACEO: Declarative Asynchronous Choreographies with Datadependent Event Ordering..- RebeCaos..- A Demonstrator Toolchain for Self-organizing Robot Teams.

Read more less

Book SynopsisActors and Concurrent Programming.- Open Systems and Applications.- Formal Methods.

Read more less

Book SynopsisInvited Papers.-When You Have a Fuzzer, Everything Looks Like a Reachability Problem.-The Role of Logic and Automata in Understanding Transformers.-Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis.Regular Papers.-Word Equations with Length Constraints via Weak Arithmetics and Matrix Reachability Problems.-Word Chain Generators for Prefix Normal Words.-Reachability and Mortality for Two-Dimensional RHPCD Systems Are co-NP-hard.-Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems.-Weighing Obese Timed Languages.-Box-Reachability in Vector Addition Systems.-Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS.-Nets-within-Nets through the Lens of Data Nets.-Compositional Verification of Almost-Sure Büchi Objectives in MDPs.-DTMC Model Checking by Path Abstraction Revisited.-Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification.-Maximum Path Sets in trees.

Read more less

Book SynopsisThis book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.Trade Review“Human-computer interaction (HCI), as a discipline, is overwhelmingly experimental. One quick look at the proceedings ... the leading conference in the domain, will make this clear: almost all papers report on carefully crafted, well-designed experiments. … I enjoyed reading the book … .” (Jacques Carette, Computing Reviews, January, 22 , 2018) ​Table of ContentsForeword.- Part I: Introduction.- State of the Art in Formal Methods in HCI.- Topics of formal methods in HCI.- Trends and Gaps.- Case Studies.- Part II: Modeling, Execution and Simulation.- Visual and Formal Modeling of Modularized and Executable User Interface Models.- Combining Models for Interactive System Modelling.- Activity Modelling for Low-Intention Interaction.- Modelling the User Physigrams – Modeling Physical Device Characteristics Interaction.- Formal Description of Adaptive Interactive Systems based on Executable User Interface Models.- Part II:Analysis, Validation and Verification.- Learning Safe Interactions and Full-Control.- Reasoning About Interactive Systems in Dynamic Situations of Use Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human.- Behavior in the Verification of Complex Systems.- The Specification and Analysis of Use Properties of a Nuclear.- Control System.- Formal Analysis of Multiple Coordinated HMI Systems.- Part IV: Future Opportunities and Developments.- Domain-Specific Modelling for Human-Computer Interaction.- Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment .- A Public Tool Suite for Modelling Interactive Applications.- Formal Modeling of App-Ensembles.- Dealing with Faults during Operations: Beyond Classical Use of Formal Methods.

Read more less

Book SynopsisThis open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments.Celebrating the 20th anniversary of adesso AG, adesso gathered some of the pioneers of software engineering including Manfred Broy, Ivar Jacobson and Carlo Ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. This way it offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso’s experience applying these results in real-world projects.Table of Contents1 The Leading Role of Software and Systems Architecture in the Age of Digitization.- 2 Formal Methods and Agile Development: Towards a Happy Marriage.- 3 Escaping Method Prison – On the Road to Real Software Engineering.- 4 What is software?: The Role of Empirical Methods in Answering the Question.- 5 Only the Architecture You Need.- 6 Variability in standard software products Introducing software product line engineering to the insurance industry.- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation – a Motivation and an Experience Report.- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge .- 9 Data-driven decisions and actions in today’s software development.- 10 Software Architecture: Past, Present, Future.- 11 Software Product Lines.- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise.- 13 Achievements, Failures, and the Future of Model-based Software Engineering.

Read more less

Book SynopsisThe objective of this book is to introduce the basic concepts of big data computing and then to describe the total solution of big data problems using HPCC, an open-source computing platform.The book comprises 15 chapters broken into three parts. The first part, Big Data Technologies, includes introductions to big data concepts and techniques; big data analytics; and visualization and learning techniques. The second part, LexisNexis Risk Solution to Big Data, focuses on specific technologies and techniques developed at LexisNexis to solve critical problems that use big data analytics. It covers the open source High Performance Computing Cluster (HPCC Systems®) platform and its architecture, as well as parallel data languages ECL and KEL, developed to effectively solve big data problems. The third part, Big Data Applications, describes various data intensive applications solved on HPCC Systems. It includes applications such as cyber security, social network analytics including fraud, Ebola spread modeling using big data analytics, unsupervised learning, and image classification.The book is intended for a wide variety of people including researchers, scientists, programmers, engineers, designers, developers, educators, and students. This book can also be beneficial for business managers, entrepreneurs, and investors. Trade Review“The book offers a good overview of big data technologies, which keeps a live link between theoretical background and live applications. As such, the text rises up as a starting point for engineers and researchers in the field of big data applications.” (Alexander Tzanov, Computing Reviews, June, 2017)Table of ContentsIntroduction to Big Data.- Big Data Analytics.- Transfer Learning Techniques.- Visualizing Big Data.- Deep Learning and Big Data.- The HPCC/ECL Platform for Big Data.- Scalable Automated Linking Technology for Big Data Computing.- Aggregated Data Analysis in HPCC Systems.- Models for Big Data.- Data Intensive Supercomputing Solutions.- Graph Processing with Massive Datasets: A KEL Primer.- HPCC Systems for Cyber Security Analytics.- Social Network Analytics: Hidden and Complex Fraud Schemes.- Modeling Ebola Spread and Using HPCC/KEL System.- Unsupervised Learning and Image Classification in High Performance Computing Cluster.

Read more less

Book SynopsisLernen Sie Programmieren mit Freude. Zahlreiche Beispiele machen den Einstieg in schwierige Themen einfach. Datenstrukturen und Algorithmen werden so in ihrem vollen Umfang anschaulich dargestellt. Anhand vieler Übungsaufgaben kann das Erlernte direkt ausprobiert werden. Ausführliche Lösungen erleichtern das Selbststudium und sichern den Lernerfolg. Table of ContentsEinführung in die objektorientierte Programmierung - Darstellung von Daten - Das NET-Framework - Vordefinierte Datentypen - Arrays - Operationen und Ausdrücke - Statische Methoden und Variablen - Programmsteuerung - Klassen und Objekte

Read more less

Book Synopsis0 Einleitung und Notationen.- 0.1 Historische Entwicklung.- 0.2 Einführende Beispiele.- 0.3 Schreibweisen.- 0.4 Testfragen.- 1 Einfache Datentypen und Ein/Ausgabe.- 1.1 AufZählungstypen und Unterbereichstypen.- 1.2 CHAR, siehe A.2.2.- 1.3 BOOLEAN, siehe A.2.2.- 1.4 Ordinale und Simple Typen.- 1.5 Zahlbezeichnungen.- 1.6 INTEGER, siehe A.2.2.- 1.7 REAL, siehe A.2.2.- 1.8 String, vgl. 5.3.- 1.9 Einfache Ein/Ausgabe mit READ, WRITE.- 1.10 Testfragen.- 2 Einfacher Programmaufbau.- 2.1 Verfügbarmachung externer Dateien, vgl. 8.- 2.2 Vereinbarungen.- 2.3 Testfragen.- 3 Ausdrücke.- 3.1 Primärausdrücke.- 3.2 Ausdrücke, allgemein.- 3.3 Testfragen.- 4 Anweisungen.- 4.1 Assignment Statement.- 4.2 Empty Statement.- 4.3 IF Statement.- 4.4 CASE Statement.- 4.5 Schleifen.- 4.6 Folgen von Anweisungen (compound statement).- 4.7 Label, GOTO Statement.- 4.8 Testfragen.- 5 Reihung (Array) und Mengenbildung (SET).- 5.1 Reihungstyp, Komponente.- 5.2 PACKED, vgl. A.2.5.2.- 5.3 String, vgl. 1.8.- 5.4 Potenzmengentyp, Mengen-Aggregat.- 5.5 Testfragen.- 6 Zeiger und Verbund.- 6.1 Zeiger (^ Symbol).- 6.2 Verbund (RECORD).- 6.3 Testfragen.- 7 Unterprogramme.- 7.1 Unterprogramm-Technik.- 7.2 Parameterübergabe.- 7.3 Konforme Reihungsschemata (level 1 implementation).- 7.4 Prozedur (PROCEDURE).- 7.5 Funktion (FUNCTION).- 7.6 Rundreise-Problem.- 7.7 Bereichsschachtelung.- 7.8 Testfragen.- 8 Datei (File).- 8.l Sequentieller Dateityp, Modus, Komponente.- 8.2 Text-Datei (TEXT), siehe A.2.2/5/6.- 8.3 Testfragen.- A Anhang.- A. l Syntax-Diagramme.- A.2 Standard-Bibliothek (Vordefinierte Vereinbarungen).- A.2.1 Standard-Konstanten.- A.2.2 Standard-Typen.- A.2.3 Standard-Operationen.- A.2.3.1 Arithmetic Operations.- A.2.3.2 Relational Operations.- A.2.3.3 Boolean Operations.- A.2.3.4 Set Operations.-A.2.3.5 Other Operations'.- A.2.4 Standard-Funktionen.- A.2.4.1 Arithmetic Functions.- A.2.4.2 Boolean Functions (Predicates).- A.2.4.3 Transfer Functions.- A.2.4.4 Further Standard Functions.- A.2.5 Standard-Prozeduren.- A.2.5.1 Dynamic Allocation Procedures.- A.2.5.2 Data Transfer Procedures.- A.2.5.3 File Handling Procedures.- A.2.5.4 Input- Procedures READ and READLN.- A.2.5.5 Output-Procedures WRITE and WRITELN.- A.2.6 Standard-Dateien INPUT, OUTPUT.- Übg Übungsaufgaben.- Geordnet nach dem ACM-Index.- Lit Literaturverzeichnis.- Lit. l Lehrbücher.- Lit.2 Anwendungen.- Ind Alphabetischer Index.- Fachausdrücke, deutsch/englisch.Table of Contents0 Einleitung und Notationen.- 0.1 Historische Entwicklung.- 0.2 Einführende Beispiele.- 0.2.1 Anzahl der Buchstaben E/e in einem Satz.- 0.2.2 Turm von Hanoi, rekursive Lösung.- 0.3 Schreibweisen.- 0.3.1 Quelltext-Zeichen und lexikalische Symbole.- 0.3.2 Verwendung des Syntax-Diagramms, siehe A.1.- 0.3.3 Kommentar.- 0.4 Testfragen.- 1 Einfache Datentypen und Ein/Ausgabe.- 1.1 AufZählungstypen und Unterbereichstypen.- 1.2 CHAR, siehe A.2.2.- 1.3 BOOLEAN, siehe A.2.2.- 1.4 Ordinale und Simple Typen.- 1.5 Zahlbezeichnungen.- 1.6 INTEGER, siehe A.2.2.- 1.7 REAL, siehe A.2.2.- 1.8 String, vgl. 5.3.- 1.9 Einfache Ein/Ausgabe mit READ, WRITE.- 1.10 Testfragen.- 2 Einfacher Programmaufbau.- 2.1 Verfügbarmachung externer Dateien, vgl. 8.- 2.2 Vereinbarungen.- 2.2.1 Zielvereinbarung (LABEL).- 2.2.2 Konstantenvereinbarung (CONST).- 2.2.3 Typvereinbarung (TYPE).- 2.2.4 Variablenvereinbarung (VAR).- 2.3 Testfragen.- 3 Ausdrücke.- 3.1 Primärausdrücke.- 3.1.1 Aufrufe von Standard-Funktionen, siehe A.2.4.- 3.1.2 Rundung ROUND, Abschneiden TRUNC.- 3.2 Ausdrücke, allgemein.- 3.2.1 Prioritäten von Operatoren.- 3.2.2 Ganzahlige Division DIV, Rest MOD.- 3.3 Testfragen.- 4 Anweisungen.- 4.1 Assignment Statement.- 4.2 Empty Statement.- 4.3 IF Statement.- 4.4 CASE Statement.- 4.5 Schleifen.- 4.5.1 FOR Statement.- 4.5.2 WHILE Statement.- 4.5.3 REPEAT Statement.- 4.6 Folgen von Anweisungen (compound statement).- 4.7 Label, GOTO Statement.- 4.8 Testfragen.- 5 Reihung (Array) und Mengenbildung (SET).- 5.1 Reihungstyp, Komponente.- 5.2 PACKED, vgl. A.2.5.2.- 5.3 String, vgl. 1.8.- 5.4 Potenzmengentyp, Mengen-Aggregat.- 5.5 Testfragen.- 6 Zeiger und Verbund.- 6.1 Zeiger (^ Symbol).- 6.1.1 Zeigertyp, Allokation, Selektor.- 6.2 Verbund (RECORD).- 6.2.1 Verbundtyp, Komponente, Selektor.- 6.2.2 Namensabkürzung für Komponenten (WITH).- 6.3 Testfragen.- 7 Unterprogramme.- 7.1 Unterprogramm-Technik.- 7.1.1 Unterprogramm-Vereinbarung, FORWARD- Spezifikation.- 7.1.2 Unterprogramm-Aufruf, Rekursion.- 7.2 Parameterübergabe.- 7.2.1 Wert-Parameter.- 7.2.2 VAR -Parameter.- 7.2.3 Unterprogramm-Parameter.- 7.3 Konforme Reihungsschemata (level 1 implementation).- 7.4 Prozedur (PROCEDURE).- 7.5 Funktion (FUNCTION).- 7.6 Rundreise-Problem.- 7.7 Bereichsschachtelung.- 7.7.1 Vereinbart / nicht vereinbart.- 7.7.2 Lokal / global.- 7.7.3 Erzeugt / nicht erzeugt, Ausnahmen.- 7.7.4 Aufrufbar / unterdrückt.- 7.7.5 Bereichsfreie Größen, Speicherbereinigung,u.a.m..- 7.8 Testfragen.- 8 Datei (File).- 8.l Sequentieller Dateityp, Modus, Komponente.- 8.2 Text-Datei (TEXT), siehe A.2.2/5/6.- 8.3 Testfragen.- A Anhang.- A. l Syntax-Diagramme.- A.2 Standard-Bibliothek (Vordefinierte Vereinbarungen).- A.2.1 Standard-Konstanten.- A.2.2 Standard-Typen.- A.2.3 Standard-Operationen.- A.2.3.1 Arithmetic Operations.- A.2.3.2 Relational Operations.- A.2.3.3 Boolean Operations.- A.2.3.4 Set Operations.- A.2.3.5 Other ‘Operations’.- A.2.4 Standard-Funktionen.- A.2.4.1 Arithmetic Functions.- A.2.4.2 Boolean Functions (Predicates).- A.2.4.3 Transfer Functions.- A.2.4.4 Further Standard Functions.- A.2.5 Standard-Prozeduren.- A.2.5.1 Dynamic Allocation Procedures.- A.2.5.2 Data Transfer Procedures.- A.2.5.3 File Handling Procedures.- A.2.5.4 Input- Procedures READ and READLN.- A.2.5.5 Output-Procedures WRITE and WRITELN.- A.2.6 Standard-Dateien INPUT, OUTPUT.- Übg Übungsaufgaben.- Geordnet nach dem ACM-Index.- Lit Literaturverzeichnis.- Lit. l Lehrbücher.- Lit.2 Anwendungen.- Ind Alphabetischer Index.- Fachausdrücke, deutsch/englisch.

Read more less

Book SynopsisParts of this text were used for several years by students in a one~term under­ graduate course in computer science. The students had to prepare projects in small groups (2~4 students).1 This book emphasizes practical experience with image processing. It offers a comprehensive study of • image processing and image analysis, • basics of speech processing, • object~oriented programming, • software design, • and programming in C++. The book is divided into four parts. In the first part we introduce image processing, image analysis, programming tools, and the basics of C++. In the second part we describe object~oriented programming in general and the possible applications of object~oriented concepts in C++. Several appli­ cations of object~oriented programming for image processing are discussed as well. The new features of C++ are introduced entirely through the use of examples. We cover the proper representation of the data that is a result of pattern analysis as well. The third part describes a complete system for image segmentation. Some of the material covered refers to the exercises found in the first and second parts: this verifies our belief that an image segmentation system of programs can be developed while simultaneously acquainting others to C++. We combine the data representation described in the second part with the algorithms that use and manipulate them here in the third part.Table of ContentsI Introductions.- 1 Pattern Recognition.- 1.1 Images and Sound.- 1.2 Applications of Pattern Recognition.- 1.3 Environment, Problem Domain, and Patterns.- 1.4 Characterization of Pattern Recognition.- 1.5 Recording of Speech Signals.- 1.6 Video Cameras and Projections.- 1.7 From Continuous to Digital Signals.- 1.8 Sampling Theorem in Practice.- 1.9 Visualization and Sound Generation.- 2 From C to C++.- 2.1 Syntax Notation.- 2.2 Principle of C++ Compilation.- 2.3 Function Calls and Arguments.- 2.4 Declaration and Definition of Variables.- 2.5 Unix-File Access via Standard Functions.- 2.6 Formatted Input and Output.- 2.7 Main Program.- 2.8 Preprocessor Directives.- 2.9 Conditional Compilation.- 3 Software Development.- 3.1 Software for Pattern Recognition.- 3.2 Principles of Software Development.- 3.3 Modular and Structured Programming.- 3.4 Comments and Program Layout.- 3.5 Documentation.- 3.6 Teamwork.- 3.7 Efficiency.- 3.8 Tools for Software Development with Unix.- 3.9 PUMA.- 4 Expressions, Statements, Functions.- 4.1 Instructions and Expressions.- 4.2 Logical Values and Conditionals.- 4.3 Function Definition.- 4.4 Loops.- 4.5 Declarations and Scope.- 4.6 Switches.- 4.7 Linkage.- 4.8 Programming with Modules.- 4.9 Control Structures.- 5 Classification and Pattern Analysis.- 5.1 Classification.- 5.2 Preprocessing.- 5.3 Feature Extraction.- 5.4 Analysis.- 5.5 Image Segmentation.- 5.6 Speech Segmentation.- 5.7 Pattern Understanding.- 5.8 Active Vision and Real Time Processing.- 5.9 Top-Level Loop for Speech Analysis.- 6 Arrays and Pointers.- 6.1 Vectors and Matrices.- 6.2 Pointers.- 6.3 Vectors vs. Pointers.- 6.4 Vector Initialization.- 6.5 Strings.- 6.6 Pointers Operations and Allocation.- 6.7 Pointer and Array Arguments.- 6.8 Pointer to Pointer.- 6.9 Main Function Arguments.- 7 Statistics for Pattern Recognition.- 7.1 Axioms.- 7.2 Discrete Random Variables.- 7.3 Continuous Random Variables.- 7.4 Mean and Variance.- 7.5 Moments of a Distribution.- 7.6 Random Vectors.- 7.7 Statistical Features and Entropy.- 7.8 Signal-to-Noise Ratio.- 7.9 Histograms.- 8 C++ as a better C.- 8.1 Type Declaration.- 8.2 Type Conversion for Pointers.- 8.3 Bit- and Shift-Operations.- 8.4 Type Specifiers and Variable Declaration.- 8.5 Type-Safe Linkage.- 8.6 Overloaded Function Names.- 8.7 Return Value and Arguments.- 8.8 Macros and Inline Functions.- 8.9 Function Pointers.- II Object-Oriented Pattern Analysis.- 9 Object-Oriented Programming.- 9.1 Object-Oriented Software Techniques.- 9.2 Basic Concepts.- 9.3 Data Abstraction and Modules.- 9.4 Inheritance.- 9.5 Abstract Classes.- 9.6 Object-Oriented Classification.- 9.7 Polymorphism.- 9.8 Other Object-Oriented Concepts.- 9.9 Class Libraries.- 10 Classes in C++.- 10.1 Structures.- 10.2 Methods and ADT’s.- 10.3 Class Declarations.- 10.4 Object Construction.- 10.5 Destruction of Objects.- 10.6 Overloaded Operators.- 10.7 Advanced Methods and Constructors.- 10.8 Vector Class.- 10.9 Class Design.- 11 Intensity Images.- 11.1 Array Class.- 11.2 Templates in C++.- 11.3 Images.- 11.4 External Data Formats.- 11.5 Binary Images.- 11.6 Color Images.- 11.7 Sub Images.- 11.8 Image Transformation and Registration.- 11.9 Neighborhood.- 12 Inheritance in C++-Classes.- 12.1 Motivation and Syntax.- 12.2 Base Class Access.- 12.3 Construction and Destruction.- 12.4 Pointer to Objects.- 12.5 Virtual Functions.- 12.6 Abstract Classes.- 12.7 Image Class Hierarchy.- 12.8 Multiple Inheritance.- 12.9 Implementation Issues.- 13 Edge Detection and Edge Images.- 13.1 Motivation.- 13.2 Strategies.- 13.3 Discrete Derivative of the Intensity.- 13.4 Sobel and Prewitt Operator.- 13.5 Bit Fields in C++.- 13.6 Unions in C++.- 13.7 Edge Class.- 13.8 Edge Images.- 13.9 Color Edge Operators.- 14 Class Libraries.- 14.1 Stream Input and Output.- 14.2 NIH Class Library.- 14.3 Dynamic Class Descriptions.- 14.4 Static Class Members.- 14.5 Input and Output for Objects.- 14.6 Strings.- 14.7 Container Classes.- 14.8 Time and Date.- 14.9 More Classes.- 15 Hierarchy of Picture Processing Objects.- 15.1 General Structure.- 15.2 Hippos Object.- 15.3 Images and Matrices.- 15.4 Chain Code Class.- 15.5 Enumerations and Scope Resolution.- 15.6 Polygonal Representation.- 15.7 Atomic Objects.- 15.8 Segmentation Objects.- 15.9 External Representation.- 16 Spectral Features and Speech Processing.- 16.1 Fourier Series and Fourier Transform.- 16.2 Discrete Fourier Transform.- 16.3 Fast Fourier Transform.- 16.4 2D Fourier Transform.- 16.5 Short time Fourier analysis.- 16.6 Linear Predictive Coding.- 16.7 Dynamic Time Warping.- 16.8 Hidden Markov Models.- 16.9 Different Types of Hidden Markov Modells.- III Pattern Recognition Algorithms.- 17 An Image Analysis System.- 17.1 Data Flow.- 17.2 Design of ANIMALS.- 17.3 XDR.- 17.4 Display and Capture.- 17.5 Graphical User Interfaces.- 17.6 Geometric Distortions.- 17.7 Polymorphic image processing.- 17.8 Efficiency.- 17.9 Image Segmentation Program.- 18 Synthetic Signals and Images.- 18.1 Synthetic Sound.- 18.2 Geometric Patterns.- 18.3 Pixel Noise.- 18.4 Gaussian Noise.- 18.5 Salt-and-Pepper Noise.- 18.6 Different Views of a 3D Polyhedral Object.- 18.7 Digits and Letters.- 18.8 Single Stereo Images.- 18.9 Spectrogram.- 19 Filtering and Smoothing Signals.- 19.1 Mean-Filter and Gaussian-Filter.- 19.2 Median-Filter.- 19.3 Smoothed Median-Filter.- 19.4 Edge Preserving Smoothing.- 19.5 K-Nearest Neighbor Averaging.- 19.6 Conditional Average Filter.- 19.7 Linear Reconstruction.- 19.8 Elimination of Noisy Image Rows.- 19.9 Resolution Hierarchies.- 20 Histogram Algorithms.- 20.1 Discriminant and Least Squares Threshold.- 20.2 Histogram Entropy Thresholding.- 20.3 Multithresholding.- 20.4 Local Histogram Equalization.- 20.5 Lookup Table Transformation.- 20.6 A Class for Histograms.- 21 Edge Images.- 21.1 Robert’s Cross.- 21.2 Second Derivative.- 21.3 Edge Model Masks.- 21.4 Alternative Methods.- 21.5 Thinning of Edge Images.- 21.6 Edge Thresholding.- 21.7 Non Maxima Suppression.- 21.8 Non Maxima Absorption.- 21.9 Class Edge Revisited.- 22 Line Detection Algorithms.- 22.1 Line Detection.- 22.2 Local Connectivity.- 22.3 Hysteresis Thresholds.- 22.4 Closing of Gaps.- 22.5 Zero crossings in Laplace-Images.- 22.6 Hough Transform.- 22.7 Canny Line Detection.- 22.8 Shen and Castan.- 22.9 Representation as Segmentation Objects.- 23 Chain Codes.- 23.1 Length of a Chain.- 23.2 Smoothing.- 23.3 Digital Linear Lines.- 23.4 Similarity.- 23.5 Intersections.- 23.6 Rotation.- 23.7 Conversion.- IV Appendix.- A Basics of C++.- A.1 History.- A.2 Identifier and Constants.- A.3 Basis Data Types in C and C++.- B Software Development Tools.- B.1 Groups and ID’s with Unix.- B.2 Program Building with make.- B.3 The Use of Libraries.- B.4 Version and Access Control with rcs.- C Source Codes and Tools.- C.1 List of Tools.- C.2 How to get the sources.- C.3 X11.- C.4 Slides.- C.5 Addresses.- C.6 Headers and Source Files.- C.7 Dummy Definitions.- C.7.1 Listing of animals/dummy/Dictionary.h.- C.7.2 Listing of animals/dummy/OIOxdr.h.- C.7.3 Listing of animals/ dummy/Represent.h.- C.7.4 Listing of animals/dummy/SeqCltn.h.- C.7.5 Listing of animals/dummy/Set.h.- C.7.6 Listing of animals/dummy/dummies. C.- References.- Figures.- Tables.- Index for Exercises.

Read more less

Book SynopsisC. Amting Directorate General Information Society, European Commission, Brussels th Under the 4 Framework of European Research, the European Systems and Soft­ ware Initiative (ESSI) was part ofthe ESPRIT Programme. This initiative funded more than 470 projects in the area ofsoftware and system process improvements. The majority of these projects were process improvement experiments carrying out and taking up new development processes, methods and technology within the software development process ofa company. In addition, nodes (centres ofexper­ tise), European networks (organisations managing local activities), training and dissemination actions complemented the process improvementexperiments. ESSI aimed at improving the software development capabilities of European enterprises. It focused on best practice and helped European companies to develop world class skills and associated technologies to build the increasingly complex and varied systems needed to compete in the marketplace. The dissemination activities were designed to build a forum, at European level, to exchange information and knowledge gained within process improvement ex­ periments. Their major objective was to spread the message and the results of experiments to awider audience, through a variety ofdifferent channels. The European Experience Exchange ~UR~X) project has been one ofthese dis­ semination activities within the European Systems and Software Initiative.~UR~)( has collected the results of practitioner reports from numerous workshops in Europe and presents, in this series of books, the results of Best Practice achieve­ ments in European Companies over the last few years.Table of ContentsI SPI, ESSI, EUREX.- 1 Software Process Improvement.- 1.1 Introduction.- 1.2 Objectives—Scope of the Initiative.- 1.3 Strategy.- 1.4 Target Audience.- 1.5 Dimensions of Software Best Practice.- 1.6 European Dimension.- 1.7 Types of Projects.- 1.7.1 Stand Alone Assessments.- 1.7.2 Process Improvement Experiments (PIEs).- 1.7.3 Application Experiments.- 1.7.4 Dissemination Actions.- 1.7.5 Experience/User Networks.- 1.7.6 Training Actions.- 1.7.7 ESSI PIE Nodes (ESPINODEs).- 1.7.8 Software Best Practice Networks (ESBNETs).- 2 The EUREX Project.- 2.1 Target Audience and Motivation.- 2.2 Objectives and Approach.- 2.3 Partners.- 2.4 Related Dissemination and Training Actions.- 2.4.1 Software Improvement Case Studies Initiative (SISSI).- 2.4.2 ESPITI.- 3 The EUREX Taxonomy.- 3.1 Analysis and Assessment of PIEs.- 3.2 Classification into Problem Domains.- 3.2.1 First Regional Classification.- 3.2.2 Result of First Regional Classification.- 3.2.3 Consolidation and Iteration.- 3.2.4 Update of Regional Classification.- 3.2.5 Mapping of Attributes.- 3.2.6 Review of Classification and Mapping into Subject Domains.- 3.2.7 Subject Domains Chosen.- 3.2.8 Unclassified PIEs.- 3.3 Testing, Verification, and Quality Management.- II Testing, Verification, and Quality Management.- 4 Perspectives.- 4.1 Introduction to the Subject Domain.- 4.2 Software Verification & Validation Introduced.- 4.2.1 Verification & Validation with Respect to the Product Development Process.- 4.2.2 The Main Weaknesses of the Testing Process.- 4.2.3 An Improved Process Model.- 4.2.4 How to Improve: the Road to Process Improvement.- 4.2.5 Cost/Benefit Analysis.- 4.3 Testware.- 4.3.1 A Testing Definition.- 4.3.2 Customer Needs.- 4.3.3 Types of Testing.- 4.3.4 Debugging.- 4.3.5 Other Techniques.- 4.3.6 Tools.- 4.3.7 Testware.- 4.3.8 Benefits and Limits.- 4.3.9 References.- 4.4 Classic Testing Mistakes.- 4.4.1 Theme One: The Role of Testing.- 4.4.2 Theme Two: Planning the Testing Effort.- 4.4.3 Theme Three: Personnel Issues.- 4.4.4 Theme Four: The Tester at Work.- 4.4.5 Theme Five: Technology Run Rampant.- 4.4.6 Acknowledgements.- 4.4.7 References.- 5 Resources for Practitioners.- 5.1 Methods and Tools.- 5.2 Books.- 5.2.1 Introductory Reference Books on Software Quality.- 5.2.2 Classics on Testing.- 5.2.3 Key Books on Testing.- 5.2.4 Key Books on Inspections.- 5.3 Organisations.- 5.4 Important Conferences.- 5.5 Web Sites.- 6 Experience Reports.- 6.1 PI3 Project Summary.- 6.1.1 Participants.- 6.1.2 Business Motivation and Objectives.- 6.1.3 The Experiment.- 6.1.4 Impact and Experience.- 6.1.5 References.- 6.2 PROVE Project Summary.- 6.2.1 Participants.- 6.2.2 Business Motivation and Objectives.- 6.2.3 The Experiment.- 6.2.4 Impact and Experience.- 6.3 TRUST Project Summary.- 6.3.1 Participants.- 6.3.2 Business Motivation and Objectives.- 6.3.3 The Experiment.- 6.3.4 Impact and Experience.- 6.4 FCI-STDE Project Summary.- 6.4.1 Participants.- 6.4.2 Business Motivation and Objectives.- 6.4.3 The Experiment.- 6.4.4 Impact and Experience.- 6.5 TESTLIB Project Summary.- 6.5.1 Participants.- 6.5.2 Business Motivation and Objectives.- 6.5.3 The Experiment.- 6.5.4 Impact and Experience.- 6.6 ATECON Project Summary.- 6.6.1 Participants.- 6.6.2 Business Motivation and Objectives.- 6.6.3 The Experiment.- 6.6.4 Impact and Experience.- 6.7 GUI-Test Project Summary.- 6.7.1 Participants.- 6.7.2 Business Motivation and Objectives.- 6.7.3 The Experiment.- 6.7.4 Impact and Experience.- 7 Lessons from the EUREX Workshops.- 7.1 Second Italian Workshop.- 7.1.1 Introduction.- 7.1.2 The Workshop Experts.- 7.1.3 Testing Web-based Applications.- 7.1.4 Workshop Conclusions.- 7.1.5 Workshop Discussions.- 7.2 Third Spanish Workshop.- 7.2.1 Introduction.- 7.2.2 Expert Presentation.- 7.2.3 Workshop Discussion and Conclusions.- 7.3 Pilot German Workshop.- 7.3.1 Introduction.- 7.3.2 Expert Presentation.- 7.3.3 Workshop Discussion and Conclusions.- 7.4 Lessons Learned from the Workshops.- 7.4.1 People Issues.- 7.4.2 Business Issues.- 7.4.3 Technical Issues.- 7.4.4 Final Conclusions.- 8 Significant Results.- 8.1 Barriers Preventing Change of Practices.- 8.1.1 Ignorance of the Software Product Quality Methods.- 8.1.2 Uncertainty about the Return on Investment and Fear of Raising Development Costs to an Unacceptable Level.- 8.1.3 Still Not Enough Pressure on Software Producers to Increase Quality Standards.- 8.2 Best Practices Recommended by Experts.- 8.2.1 Investing in the Acquisition of New Skills.- 8.2.2 Formalising the Verification Process and Integrating it with the Development Process.- 8.2.3 Investing Carefully but Inevitably in Automation.- 8.2.4 Measuring Results and Return on Investment.- 8.3 Revisiting the Classic Testing Mistakes.- 8.3.1 Mistakes in the Role of Testing.- 8.3.2 Mistakes in Planning the Complete Testing Effort.- 8.3.3 Mistakes in Personnel Issues.- 8.3.4 Mistakes in the Tester-at-Work.- 8.3.5 Mistakes in Test Automation.- 8.3.6 Mistakes in Code Coverage.- 8.4 The EUREX Process.- III Process Improvement Experiments.- 9 Table of PIEs.- 10 Summaries of PIE Reports.- 10.1 ACIQIM 21757.- 10.2 AERIDS 10965.- 10.3 ALCAST 10146.- 10.4 AMIGO 21222.- 10.5 ARETES 24148.- 10.6 ASTEP 23860.- 10.7 ASTERIX 23951.- 10.8 ATECON 10464.- 10.9 ATM 21823.- 10.10 ATOS 21530.- 10.11 AUTOMA 10564.- 10.12 AUTOQUAL 24143.- 10.13 AVAL 21362.- 10.14 AVE 21682.- 10.15 BEPTAM 21284.- 10.16 CALM 21826.- 10.17 CITRATE 23671.- 10.18 CLEANAP 21465.- 10.19 CLISERT 24206.- 10.20 CONFITEST 24362.- 10.21 DATM-RV 21265.- 10.22 DOCTES 21306.- 10.23 EMINTP 21302.- 10.24 ENG-MEAS 21162.- 10.25 EXOTEST 24266.- 10.26 FCI-STDE 24157.- 10.27 FI-TOOLS 21367.- 10.28 GRIPS 23887.- 10.29 GUI-TEST 24306.- 10.30 IDEA 23833.- 10.31 IMPACTS2 24078.- 10.32 INCOME 21733.- 10.33 MAGICIAN 23690.- 10.34 METEOR 21224.- 10.35 MIST 10228.- 10.36 ODP 10788.- 10.37 OMP/CAST 24053.- 10.38 PCFM 23743.- 10.39 PET 10438.- 10.40 PI3 21199.- 10.41 PIE-TEST 24344.- 10.42 PREV-DEV 23705.- 10.43 PROVE 21417.- 10.44 QUALITAS 23834.- 10.45 RESTATE 23978.- 10.46 SDI-WAN 10494.- 10.47 SIMTEST 10824.- 10.48 SMUIT 21612.- 10.49 SPIDER 21394.- 10.50 SPI 23750.- 10.51 SPIRIT 21799.- 10.52 STOMP 24193.- 10.53 STUT-IU 21160.- 10.54 SWAT 23855.- 10.55 TEPRIM 21385.- 10.56 TESTART 23683.- 10.57 TESTING 21170.- 10.58 TESTLIB 21216.- 10.59 TRUST 23754.- 10.60 USST 23843.- 10.61 VERA 23732.- 10.62 VERDEST 21712.- 10.63 VISTA 24153.- 10.64 STAR 27378.

Read more less

Book SynopsisThe final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." The book covers the process from the development of domain descriptions, through the derivation of requirements prescriptions from domain models, to the refinement of requirements into software architectures and component design.Trade ReviewFrom the reviews: "The presentation is focused on the fundamental ideas of domain engineering, requirements engineering and computer system engineering. … The rigorous treatment and the author’s original style of viewing the software engineering approaches are important, outstanding features … . is of special interest for both software engineering theorists and practitioners … . The style is very concise, but at the same time very friendly. … Undoubtedly, readers coming from a large variety of fields of interest will appreciate the novelty and usefulness … ." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)Table of ContentsOpening.- The Triptych Paradigm.- Documents.- Conceptual Framework.- Methods and Methodology.- Models and Modelling.- Descriptions: Theory and Practice.- Phenomena and Concepts.- On Defining and on Definitions.- Jackson’s Description Principles.- Domain Engineering.- Overview of Domain Engineering.- Domain Stakeholders.- Domain Attributes.- Domain Facets.- Domain Acquisition.- Domain Analysis and Concept Formation.- Domain Verification and Validation.- Towards Domain Theories.- The Domain Engineering Process Model.- Requirements Engineering.- Overview of Requirements Engineering.- Requirements Stakeholders.- Requirements Facets.- Requirements Acquisition.- Requirements Analysis and Concept Formation.- Requirements Verification and Validation.- Requirements Satisfiability and Feasibility.- The Requirements Engineering Process Model.- Computing Systems Design.- Hardware/Software Codesign.- Software Architecture Design.- A Case Study in Component Design.- Domain-Specific Architectures.- Etcetera: Coding and All That!.- The Computing Systems Design Process Model.- Closing.- The Triptych Development Process Model.- Finale.

Read more less

Book SynopsisSoftware product line engineering has proven to be the methodology for developing a diversity of software products and software intensive systems at lower costs, in shorter time, and with higher quality. In this book, Pohl and his co-authors present a framework for software product line engineering which they have developed based on their academic as well as industrial experience gained in projects over the last eight years. They do not only detail the technical aspect of the development, but also an integrated view of the business, organisation and process aspects are given. In addition, they explicitly point out the key differences of software product line engineering compared to traditional single software system development, as the need for two distinct development processes for domain and application engineering respectively, or the need to define and manage variability. Table of ContentsPart I Introduction Introduction to Software Product Line Engineering. - A Framework for Software Product Line Engineering. - Overview on the Example Domain: Home Automation Part II Variability Principles of Variability. - Documenting Variability in Requirements. - Documenting Variability in Design. - Documenting Variability in Realisation Part III Domain Engineering Product Management. - Domain Requirements Engineering. - Domain Design. - Domain Realisation. - Domain Testing. - Using COTS Components as Domain Artefacts Part IV Application Engineering Application Requirements Engineering. - Application Design. - Application Realisation. - Application Testing Part V Organisation Aspects Organisation. - Transition Process Part VI Experiences Experiences with Software Product Lines Appendix

Read more less

Book SynopsisFor over a decade, software process improvement (SPI) has been promoted as an approach to improve systematically the way software is developed and managed. Mostly this research and the relevant experience reports have focused on large software companies. This book collects the main results from four Norwegian industrial research and development projects on SPI carried out between 1996 and 2005. It concentrates on small and medium-sized companies, typically characterized by fast-changing environments.Trade ReviewFrom the reviews: "The continuous improvement of software processes has been a managerial focus for several decades. This book, written by Norwegian academics, ‘mainly targets researchers and graduate students in empirical software engineering.’ … The papers are varied and well written … . Academics in both information technology and software engineering will find a basis for further research projects in this title." (David Bellin, Computing Reviews, December, 2006)Table of ContentsSoftware Process Improvement – General Principles and Methods.- Lessons Learned and Recommendations from Two Large Norwegian SPI Programmes.- Improvisation in Small Software Organizations.- An Empirical Investigation of the Key Factors for Success in Software Process Improvement.- Evidence-Based Software Engineering for Practitioners.- Challenges and Recommendations when Increasing the Realism of Controlled Software Engineering Experiments.- Knowledge Management for SPI.- Postmortem Reviews: Purpose and Approaches in Software Engineering.- Value-Based Knowledge Management – the Contribution of Postmortem Reviews and Process Workshops.- A Dynamic Model of Software Engineering Knowledge Creation.- An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company.- An Empirical Study on the Utility of Formal Routines to Transfer Knowledge and Experience.- Process Modelling and Electronic Process Guides.- Tailoring RUP to a Defined Project Type: A Case Study.- A Workshop-Oriented Approach for Defining Electronic Process Guides – A Case Study.- Empirical Investigation on Factors Affecting Software Developer Acceptance and Utilization of Electronic Process Guides.- Six Theses on Software Process Research.- Estimation Methods.- A Review of Studies on Expert Estimation of Software Development Effort.- Reuse of Software Development Experiences – A Case Study.- Effort Estimation of Use Cases for Incremental Large-Scale Software Development.- Empirical Studies in OO and Component-based Systems.- Experiences from Introducing UML-based Development in a Large Safety-Critical Project.- An Empirical Study on Off-the-Shelf Component Usage in Industrial Projects.- Evaluating the Effect of a Delegated versus Centralized Control Style on the Maintainability of Object-Oriented Software.

Read more less

Book SynopsisMultimedia Systems discusses the basic characteristics of multimedia operating systems, networking and communication, and multimedia middleware systems. The overall goal of the book is to provide a broad understanding of multimedia systems and applications in an integrated manner: a multimedia application and its user interface must be developed in an integrated fashion with underlying multimedia middleware, operating systems, networks, security, and multimedia devices. Fundamental characteristics of multimedia operating and distributed communication systems are presented, especially scheduling algorithms and other OS supporting approaches for multimedia applications with soft-real-time deadlines, multimedia file systems and servers with their decision algorithms for data placement, scheduling and buffer management, multimedia communication, transport, and streaming protocols, services with their error control, congestion control and other Quality of Service aware and adaptive algorithms, synchronization services with their skew control methods, and group communication with their group coordinating algorithms and other distributed services. Table of Contents1 Introduction.- 2 Quality of Service.- 3 Multimedia Operating Systems.- 4 Media Server.- 5 Networks.- 6 Communication.- 7 Group Communication.- 8 Synchronization.

Read more less

Book SynopsisAs a software architect you work in a wide-ranging and dynamic environment. You have to understand the needs of your customer, design architectures that satisfy both functional and non-functional requirements, and lead development teams in implementing the architecture. And it is an environment that is constantly changing: trends such as cloud computing, service orientation, and model-driven procedures open up new architectural possibilities. This book will help you to develop a holistic architectural awareness and knowledge base that extends beyond concrete methods, techniques, and technologies. It will also help you to acquire or expand the technical, methodological, and social competences that you need. The authors place the spotlight on you, the architect, and offer you long-term architectural orientation. They give you numerous guidelines, checklists, and best practices to support you in your practical work. "Software Architecture" offers IT students, software developers, and software architects a holistic and consistent orientation across relevant topics. The book also provides valuable information and suggestions for system architects and enterprise architects, since many of the topics presented are also relevant for their work. Furthermore, IT project leads and other IT managers can use the book to acquire an enhanced understanding of architecture. Further information is available at www.software-architecture-book.org.Trade Review"Among the numerous books on the theory and practice of software architecture, we are extremely fortunate to have one that takes a broader perspective on this complex topic, covering not only the requisite technical tricks of the trade, but also the additional challenges arising from the social, business, and cultural contexts that must be fully accounted for in the design process. For seasoned professionals this text will serve as a very handy reference, while, for aspiring architects, it will uncover and explain (perhaps for the first time) the full set of skills required to do the job." - Bran Selic, Malina Software Corp., Ottawa, ON, Canada“I am really looking forward to the latest edition of this book. I can highly recommend it for anyone who needs to deal with the topic of software architecture. It provides a comprehensive starting point for conscious architectural thinking.” - Karin Dürmeyer, IBM Distinguished Engineer, IBM IOT Northeast IT Architect Profession Leader "The book provides an excellent, structured, and fundamental but equally comprehensive orientation in the complex topic of software architecture. I like the fact that instead of looking at specific technologies, it focuses more on concepts and explicitly considers the people and social aspects." - Bernd Oestereich (oose)Table of ContentsIntroduction.- Architecture Orientation Framework.- Architectures and Architecture Disciplines (WHAT).- Architecture Perspectives (WHERE).- Architecture Requirements (WHY).- Architecture Means (WITH WHAT).- Architecture Means (WITH WHAT).- Architecture Method (HOW).-

Read more less

Book SynopsisWhile standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it often does not address smaller market segments, nor the needs and wishes of individual customers. Software product lines reconcile mass production and standardization with mass customization in software engineering. Ideally, based on a set of reusable parts, a software manufacturer can generate a software product based on the requirements of its customer. The concept of features is central to achieving this level of automation, because features bridge the gap between the requirements the customer has and the functionality a product provides. Thus features are a central concept in all phases of product-line development. The authors take a developer’s viewpoint, focus on the development, maintenance, and implementation of product-line variability, and especially concentrate on automated product derivation based on a user’s feature selection. The book consists of three parts. Part I provides a general introduction to feature-oriented software product lines, describing the product-line approach and introducing the product-line development process with its two elements of domain and application engineering. The pivotal part II covers a wide variety of implementation techniques including design patterns, frameworks, components, feature-oriented programming, and aspect-oriented programming, as well as tool-based approaches including preprocessors, build systems, version-control systems, and virtual separation of concerns. Finally, part III is devoted to advanced topics related to feature-oriented product lines like refactoring, feature interaction, and analysis tools specific to product lines. In addition, an appendix lists various helpful tools for software product-line development, along with a description of how they relate to the topics covered in this book. To tie the book together, the authors use two running examples that are well documented in the product-line literature: data management for embedded systems, and variations of graph data structures. They start every chapter by explicitly stating the respective learning goals and finish it with a set of exercises; additional teaching material is also available online. All these features make the book ideally suited for teaching – both for academic classes and for professionals interested in self-study.Trade Review“The book provides a systematic introduction to feature-oriented software product lines, and leads the reader to more advanced topics in its second half. The authors distill the concepts and principles underlying the field with remarkable clarity, providing a much-needed foundation for the field. They also illustrate these concepts and principles using concrete examples, showcasing languages, tools, and systems from both industrial practice and latest research. (…) There is no better team than these four authors to write about feature-oriented software product lines. The authors have made fundamental scientific and engineering contributions to the field.” from the foreword by Krzysztof Czarnecki, University of Waterloo, CanadaTable of ContentsPart I Software Product Lines.- Software Product Lines.- A Development Process for Feature-Oriented Product Lines.- Part II Variability Implementation.- Basic Concepts, Classification, and Quality Criteria.- Classic, Language-Based Variability Mechanisms.- Classic, Tool-Driven Variability Mechanisms.- Advanced, Language-Based Variability Mechanisms.- Advanced, Tool-Driven Variability Mechanisms.- Part III Advanced Topics.- Refactoring of Software Product Lines.- Feature Interactions.- Analysis of Software Product Lines.- Tool Support.

Read more less

Book SynopsisAs a software architect you work in a wide-ranging and dynamic environment. You have to understand the needs of your customer, design architectures that satisfy both functional and non-functional requirements, and lead development teams in implementing the architecture. And it is an environment that is constantly changing: trends such as cloud computing, service orientation, and model-driven procedures open up new architectural possibilities. This book will help you to develop a holistic architectural awareness and knowledge base that extends beyond concrete methods, techniques, and technologies. It will also help you to acquire or expand the technical, methodological, and social competences that you need. The authors place the spotlight on you, the architect, and offer you long-term architectural orientation. They give you numerous guidelines, checklists, and best practices to support you in your practical work. "Software Architecture" offers IT students, software developers, and software architects a holistic and consistent orientation across relevant topics. The book also provides valuable information and suggestions for system architects and enterprise architects, since many of the topics presented are also relevant for their work. Furthermore, IT project leads and other IT managers can use the book to acquire an enhanced understanding of architecture. Further information is available at www.software-architecture-book.org.Trade Review"Among the numerous books on the theory and practice of software architecture, we are extremely fortunate to have one that takes a broader perspective on this complex topic, covering not only the requisite technical tricks of the trade, but also the additional challenges arising from the social, business, and cultural contexts that must be fully accounted for in the design process. For seasoned professionals this text will serve as a very handy reference, while, for aspiring architects, it will uncover and explain (perhaps for the first time) the full set of skills required to do the job." - Bran Selic, Malina Software Corp., Ottawa, ON, Canada“I am really looking forward to the latest edition of this book. I can highly recommend it for anyone who needs to deal with the topic of software architecture. It provides a comprehensive starting point for conscious architectural thinking.” - Karin Dürmeyer, IBM Distinguished Engineer, IBM IOT Northeast IT Architect Profession Leader "The book provides an excellent, structured, and fundamental but equally comprehensive orientation in the complex topic of software architecture. I like the fact that instead of looking at specific technologies, it focuses more on concepts and explicitly considers the people and social aspects." - Bernd Oestereich (oose)Table of ContentsIntroduction.- Architecture Orientation Framework.- Architectures and Architecture Disciplines (WHAT).- Architecture Perspectives (WHERE).- Architecture Requirements (WHY).- Architecture Means (WITH WHAT).- Architecture Means (WITH WHAT).- Architecture Method (HOW).-

Read more less

Book SynopsisPraktiker, IT-Verantwortliche und Berater erhalten eine konkrete und leicht verständliche Anleitung zur Arbeit in Microsoft Dynamics AX 2009. Dieses von Microsoft als Premium-Lösung für den Mittelstand positionierte ERP-System ist für alle Unternehmen interessant, die ein leistungsfähiges System suchen, das dennoch einfach zu bedienen ist. Über ein zur besseren Verständlichkeit einfach gehaltenes, durchgängiges Fallbeispiel - die Modellfirma "Anso Technologies GmbH" - erhalten Sie das erforderliche Fachwissen zu Grundlagen und Systemfunktionen und können sämtliche zentrale Geschäftsprozesse in Dynamics AX abwickeln. Übungsaufgaben unterstützen die Erläuterungen, sodass dieses Buch auch für das Selbststudium gut geeignet ist. Das Buch bezieht sich auf die aktuelle Version Dynamics AX 2009. Neuerungen im Vergleich zur Vorgängerversion Dynamics AX 4.0 sind hervorgehoben.Table of ContentsGrundlagen und Architektur - Oberfläche und Bedienung - Logistik und Supply Chain Management - Handel und Vertriebsabwicklung - Produktionsplanung und -steuerung - Finanzmanagement

Read more less