Software Engineering Books

Book SynopsisThis book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.The 20 full and the 4 short workshop papers presented were carefully reviewed and selected from 61 submissions. The papers are organized according to the workshops: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.Table of ContentsmoDeling, vErification and Testing of dEpendable CriTical systems (DETECT).- Symposium on Intelligent and Autonomous Systems (SIAS).- Control Software : Methods, Models, and Languages (CSMML).- Blockchain for Inter-Organizational Collaboration (BIOC).- The International Health Data Workshop (HEDA).

Read more less

Book SynopsisThis book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions. In addition to this, one keynote paper was included in the workshop. The volume contains two sections: Open Scheduling Problems and Proposals and Technical Papers. The papers cover such topics as parallel computing, distributed systems, workload modeling, performance optimization, and others.Table of ContentsKeynote.- ​Resampling with Feedback: A New Paradigm of Using Workload Data for Performance Evaluation.- Open Scheduling Problems and Proposals.- Collection of Job Scheduling Prediction Methods.- Modular Workload Format: extending SWF for modular systems.- Technical Papers.- Measurement and Modeling of Performance of HPC Applications towards Overcommitting Scheduling Systems.- Scheduling Microservice Containers on Large Core Machines through Placement and Coalescing.- Learning-based Approaches to Estimate Job Wait Time in HTC Datacenters.- A HPC Co-Scheduler with Reinforcement Learning.- Performance-Cost Optimization of Moldable Scientific Workflows.- Temperature-Aware Energy-Optimal Scheduling of Moldable Streaming Tasks onto 2D-Mesh-Based Many-Core CPUs with DVFS.- Scheduling Challenges for Variable Capacity Resources.- GLUME: A Strategy for Reducing Workflow Execution Times on Batch-Scheduled Platforms.

Read more less

Book SynopsisThis book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.Table of ContentsSystems Development.- Translating a Large Subset of State ow to Hybrid CSP with Code Optimization.- DeepGlobal: a Global Robustness Verifiable FNN Framework.- Leveraging Event-B Theories for handling domain knowledge in design models.- Program Analysis and Verification.- Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics.- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP.- Formal Analysis of 5G AKMA.- Verifying the Correctness of Distributed Systems via Mergeable Parallelism.- Testing and Fault Detection.- Mutation Testing of Reinforcement Learning Systems.- AIdetectorX: A Vulnerability Detector based on TCN and Self-attention Mechanism.- MC/DC Test Cases Generation based on BDDs.- Software Quality.- Predicting and Monitoring Bug-proneness at The Feature Level.- CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum.- A Distributed Simplex Architecture for Multi-Agent Systems.- Satisfiability, Reachability and Model Checking.- OURS: Over- and Under-Approximating Reachable Sets for Analytic Time-invariant Differential Equations.- ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas.- API Usage Pattern Search Based on Model Checking.

Read more less

Book SynopsisThis volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 2021. The 13 presented full papers were thoroughly reviewed and selected from 37 submissions. The papers present discussion on such topics as software engineering tools and environments; empirical software engineering; model-driven and domain-specific engineering, human factors and social aspects of software engineering, cooperative, distributed, and global software engineering, component-based software engineering, software metrics, and software engineering for green and sustainable technologies.Table of ContentsInstitutional Commitment and Leadership as Prerequisites for Successful Comprehensive Internationalization.- Software Engineering as an Alchemical Process: Establishing a philosophy of the discipline.- AI Empowered DevSecOps Security for Next Generation Development.- A Case Study on Combining Agile and User Centered Design.- An Analysis of the Sensitivity of Software Reliability Growth Models using Bootstrap and Monte Carlo Simulations.- A study: Design patterns detection approaches and Impact on software quality.- Skills development through agile capstone projects.- Impact of the Communication Issues: A Case Study of IT Start-Up.- Evolution of Information System Design Methodologies: the IFIP Conference Management Problem Revisited.- Development of a Method and a Software for Decision-Making, System Modeling and Planning of Business Processes.- “Extreme development” as a means for learning agile.- A Meta-Analytical Comparison of Energy Consumed by Two Different Programming Languages.- Toward Inclusion of Children as Software Engineering Stakeholders.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 full and 2 short papers presented in this volume were carefully reviewed and selected from 17 submissions. Table of ContentsInvited Talk.- Sniffbots to the Rescue – Fog Services for a Gas-Sniffng Immersive Robot Collective.-Support for Cloud Applications Dynamic Threshold Setting for VM Migration.- Secure Partitioning of Composite Cloud Applications.- A Decentralized Service Control framework for Decentralized Applications in Cloud Environments.- Service Design and Development.- A Systematic Comparison of IoT Middleware.- Pattern-Based Resolution of Integration Mismatches in Enterprise Applications.- Towards a Quality Model for Cloud-native Applications.- Serverless.- Upilio: Leveraging the Serverless Paradigm for Building a Versatile IoT Application.- MAAF: Self-Adaptive Memory Optimization for Serverless Functions.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.

Read more less

Book SynopsisThis book constitutes revised selected papers of the Third International Conference on Computing Science, Communication and Security, COMS2 2022, held in Gandhinagar, India, in February 2022. Due to the COVID-19 pandemic the conference was held virtually. The 22 full papers were thoroughly reveiwed and selected from 143 submissions. The papers present ideas, and research results on the aspects of computing science, network communication, and security.Table of ContentsDevelopment of Smart Sensor for IoT Based Environmental Data Analysis Through Edge Computing.- Application of Forensic Audio-Video Steganography Technique to Improve Security, Robustness, and Authentication of Secret Data.- An Efficient Cluster Based Energy Routing Protocol (E-CBERP) for Wireless Body Area Networks Using Soft Computing Technique.- Ortho Image Mosaicing and Object Detection of UAV Data.- The Novel Approach of Down-Link Spectral Efficiency Enhancement using Massive MIMO in Correlated Rician Fading Scenario.- Blocking Estimation using Optimal Guard Channel Policy in GSM 900 System.- Systematic Review on Various Techniques of Android Malware Detection.- Adaptive Rider Grey Wolf Optimization enabled Pilot-design for Channel Estimation in Cognitive Radio.- To Identify Malwares using Machine Learning Algorithms.- Motor Imagery EEG Signal Classification using Deep Neural Networks.- Extending WSN life-time using Energy Efficient based on K-means clustering method.- One-to-One Matching for Cooperative Resource Sharing and Communication in CRNs.- Sandbox Environment for Real Time Malware Analysis of IoT Devices.- Machine Learning Based DDOS Attack Detection in Design of 5G Smart Healthcare Networks.- Traffic Flow Prediction using Deep Learning Techniques.- Meta Heuristic Backtracking Algorithm for Virtual Machine Placement in Cloud Computing Migration.- Achieving Energy Efficiency in Life-logging Applications of Internet of Things using Data Compression through incorporation of Machine Learning & Edge-Cloud Architecture.- Cab Fare Prediction Using Machine Learning.- Device to Device Communication Over 5G.- Energy efficient Allocation of Resources in NOMA Based (MU-HCRN) with Perfect Spectrum Sensing.- CV based person detection system for smart transportation.- A Performance of Low-Cost NVIDIA Jetson Nano Embedded System in the Real-Time Siamese Single Object Tracking.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Virtual Event, July 6–8, 2021. The conference was held virtually due to the COVID-19 crisis.The 10 full papers included in this book were carefully reviewed and selected from 117 submissions.Table of ContentsLinked Data as Medium for Stigmergy-based Optimization and Coordination.- Object Parsing Expressions for Unplanned, Unmodified, and Incremental Grammar Reuse.- A Methodology for Organizational Data Science towards Evidence-based Process Improvement.- Feedback Generation for Automatic User Interface Design Evaluation.- Tales from the Code #2: A Detailed Assessment of Code Refactoring's Impact on Energy Consumption.- Towards Power Consumption Optimization for Embedded Systems from a Model-driven Software Development Perspective.- Materializing Microservice-oriented Architecture from Monolithic Object-oriented Source Code.- A Personalized Code Formatter: Detection & Fixing.- Software Framework of Context-aware Reconfigurable Secure Smart Grids.- A Novel Neural Network-based Malware Severity Classification System.

Read more less

Book SynopsisThis book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.Table of Contents​Invited Papers.- From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.- Rewriting Privacy.- Invited Tutorials and Experience Report.- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.- An Overview of the Maude Strategy Language and its Applications.- Teaching Formal Methods to Undergraduate Students Using Maude.- Regular Papers.- Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic.- Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.- An Efficient Canonical Narrowing Implementation for Protocol Analysis.- Checking Sufficient Completeness by Inductive Theorem Proving.- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.- Automating Safety Proofs about Cyber-Physical Systems using Rewriting Modulo SMT.- Executable Semantics and Type Checking for Session-Based Concurrency in Maude.- Tool Papers.- Parallel Maude-NPA for Cryptographic Protocol Analysis.- Maude as a Library: An Efficient All-Purpose Programming Interface.

Read more less

Book SynopsisThis book constitutes the proceedings of the 33rd International Conference on Parallel and Distributed Computing, Euro-Par 2022, held in GLasgow, UK, in August 2022.The 25 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The conference Euro-Par 2022 covers all aspects of parallel and distributed computing, ranging from theory to practice, scaling from the smallest to the largest parallel and distributed systems, from fundamental computational problems and models to full-fledged applications, from architecture and interface design and implementation to tools, infrastructures and applications. Table of ContentsCompilers, Tools and Environments.- Performance and Power Modeling, Prediction and Evaluation.- Scheduling and Load Balancing.- Data Management, Analytics and Machine Learning.- Cluster and Cloud Computing.- Theory and Algorithms for Parallel and Distributed Processing.- Parallel and Distributed Programming, Interfaces, and Languages.- Multicore and Manycore Parallelism.- Parallel Numerical Methods and Applications.

Read more less

Book SynopsisThis book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 21 full papers presented in this volume were carefully reviewed and selected from 44 submissions. The papers are organized in topics as follows: High level synthesis; memory systems; processor architecture; embedded software systems and beyond; deep learning optimization; extra-functional property estimation; innovative architectures and tools for security; european research projects on digital systems, services, and platforms.Table of ContentsHigh Level Synthesis.- High-Level Synthesis of Digital Circuits from Template Haskell and SDF-AP 1 H. H. .- Implementing Synthetic Aperture Radar Backprojection in Chisel – A Field Report.- EasyHBM: Simple and Fast HBM Access for FPGAs using High-Level Synthesis.- Memory Systems.- TREAM: A Tool for Evaluating Error Resilience of Tree-based Models using Approximate Memory.- Split’n’Cover: ISO 26262 Hardware Safety Analysis with SystemC.- Tagged Geometric History Length Access Interval Prediction for Tightly Coupled Memory Systems.- Processor Architecture.- NanoController: A Minimal and Flexible Processor Architecture for UltraLow-Power.- ControlPULP: A RISC-V Power Controller for HPC Processors with Parallel Control-Law Computation Acceleration.- Embedded Software Systems and beyond.- CASA: An Approach for exposing and documenting Concurrency-related Software Properties.- High-Level Simulation of Embedded Software Vulnerabilities to EM SideChannel Attacks.- Deep Learning Optimization I.- A Design Space Exploration Methodology for Enabling Tensor Train Decomposition in Edge Devices.- Study of DNN-based Ragweed Detection from Drones.- PULP-TrainLib: Enabling On-Device Training for RISC-V Multi-Core MCUs through Performance-Driven Autotuning.- Extra-functional Property Estimation.- The Impact of Dynamic Storage Allocation on CPython Execution Time, Memory Footprint and Energy Consumption: An Empirical Study.- Application runtime estimation for AURIX embedded MCU using deep learning.- A Hybrid Performance Prediction Approach for Fully-Connected Artificial Neural Networks on Multi-Core Platforms.- Deep Learning Optimization I.- A Smart HW-Accelerator for Non-Uniform Linear Interpolation of MLActivation Functions.- Hardware-Aware Evolutionary Filter Pruning.- Innovative Architectures and tools for Security.- Obfuscating the Hierarchy of a Digital IP.- On the effectiveness of true random number generators implemented on FPGAs.- Power and Energy.- SIDAM: A Design Space Exploration Framework for Multi-Sensor Embedded Systems Powered by Energy Harvesting.- A Data-Driven Approach to Lightweight DVFS-Aware Counter-Based Power Modeling for Heterogeneous Platforms.

Read more less

Book SynopsisThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.Table of ContentsSpecify This - Bridging gaps between program specification paradigms.- X-by-Construction Meets Runtime Verification.- Verification and Validation of Concurrent and Distributed Heterogeneous Systems.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Artificial General Intelligence, AGI 2022, held as a hybrid event in Seattle, WA, USA, in August 2022.The 31 full papers presented in this book were carefully reviewed and selected from 61 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems biology, goal generation, and learning systems, and so much more. Additionally, this volume contains 13 posters. Table of ContentsAccepted for poster presentation.- A General Purpose Machine Reasoning Engine.- COMFO: Multilingual Corpus for Opinion Mining.- Information as Entanglement—A Framework for Artificial General Intelligence.- Causal Analysis of Generic Time Series Data Applied for Market Prediction.- Dynamic and Evolving Neural Network for event discrimination.- Hierarchical temporal DNN and Associative knowledge representation.- MARTI: new model of human brain, considering neocortex and basal ganglia – learns to play Atari game by reinforcement learning on a single CPU.- General-Purpose Minecraft Agents and Hybrid AGI.- Graph Strategy for Interpretable Visual Question Answering.- Analogical Problem Solving in the Causal Cognitive Architecture.- A Biologically Plausible Graph Structure for AGI.- The Delta Normal AGI.- Purely Symbolic Induction of Structure.- Accepted for full oral presentation.- Extended subdomains: a solution to a problem of Hernández-Orallo and Dowe.- Versatility-Efficiency Index (VEI): Towards a Comprehensive Definition of Intelligence Quotient (IQ) for Artificial General Intelligence (AGI) Agents.- Moral Space for Paraconsistent AGI.- PERI.2 Goes to PreSchool and Beyond, in Search of AGI.- Reinforcement Learning with Information-Theoretic Actuation.- Homomorphisms Between Transfer, Multi-Task, and Meta-Learning Systems.- Core and Periphery as Closed-System Precepts for Engineering General Intelligence.- Toward Generating Natural-Language Explanations of Modal Logic Proofs.- ONA for autonomous ROS-based robots.- Generalized Identity Matching in NARS.- Adaptive Multi-Strategy Market-Making Agent For Volatile Markets.- Toward a Comprehensive List of Necessary Abilities for Human Intelligence, Part 2: Using Knowledge.- What can nonhuman animals, children, and g tell us about human-level artificial general intelligence (AGI)?.- Toward a Comprehensive List of Necessary Abilities for Human Intelligence, Part 1: Constructing Knowledge.- Cognitive Architecture for Co-Evolutionary Hybrid Intelligence.- An approach to generation triggers for parrying backdoor in neural networks.- The Learning Agent Triangle: Towards a unified disambiguation of the AGI challenge..- Maze Learning using a Hyperdimensional Predictive Processing Cognitive Architecture.- Market Prediction as a Task for AGI Agents.- Monte Carlo Bias Correction in Q-learning.- Free Will Belief as a Consequence of Model-based Reinforcement Learning.- Thoughts on Architecture.- On the possibility of regulation of human emotions via multimodal social interaction with an embodied agent controlled by eBICA-based emotional interaction model.- QKSA: Quantum Knowledge Seeking Agent.- Elements of Active Continuous Learning and Uncertainty Self-Awareness: a Narrow Implementation for Face and Facial Expression Recognition.- Thrill-K Architecture: Towards a Solution to the Problem of Knowledge Based Understanding.- Grammar Induction - Experimental Results.- Brain Principles Programming.- A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems.- Artificial Open World for Evaluating AGI: a Conceptual Design.- Ownability of AGI.

Read more less

Book SynopsisThis book constitutes revised selected papers from the refereed proceedings of the 15th Colombian Congress on Advances in Computing, CCC 2021, held in Bogotá, Colombia, during November 22–26, 2021.The 8 full papers and 2 short papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Artificial intelligence; educational informatics; and information systems.Table of Contents​Artificial Intelligence.- SIMALL: Emotional BDI Model for Customer Simulation in a Mall.- Classification of Depression Based on Audio with Artificial Intelligence.- Analytical model of recommendations for the mitigation of theft risks.- Implementing a Deep Learning Algorithm for Detection of Denial of Service Attacks.- Correlations and cross-correlations in temperature and relative humidity temporal series from Manizales, Colombia.- Educational Informatics.- ALPY PLUS – Adaptive Model Oriented to Pathway Planning in Virtual Learning System.- Problem-based learning and virtual platforms process in education for civil engineers: An experiment carried out by the University of Medellin, Colombia.- Information Systems.- Cost Estimate Migration for Crystal Reports.- Evaluation of Work Stealing Algorithms.- Analysis of the user experience for an application proposal oriented to the general medical consultation service.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 8th International Conference, CITI 2022, held in Guayaquil, Ecuador, during November 14–17, 2022.The 19 full papers included in this book were carefully reviewed and selected from 48 submissions. They were organized in topical sections as follows: machine Learning; knowledge based systems; computer vision and image analysis; networks, monitoring and collaborative systems; apps and user interfaces.Table of Contents​Machine Learning.- A machine learning study about the vulnerability level of poverty in Perú.- Predicting academic performance in mathematics using machine learning algorithms.- Analysis of classification algorithms for the prediction of purchase intention in electronic commerce.- Knowledge based systems.- Alignment techniques in Domain-specific models.- IVRMaker, an Interactive and Customizable telephone Chatbot services platform.- Digital Transformation of Health Care Services: Médikal Case Study.- Computer vision and Image analysis.- Texture and Color-Based Analysis to Determine the Quality of the Manila Mango using Digital Image Processing Techniques.- Detection of motorcyclists without a safety helmet through YOLO: support for road safety.- Computer Vision-Based Ovitrap for Dengue Control.- Networks, monitoring and collaborative systems.- Performance analysis of Multipath TCP congestion control variants.- Data stream processing method for clustering of trajectories.- Low-Cost Energy Consumption Monitoring System using NodeMCU.- Trend of the use and investment of Blockchain technology in the banking sector in Ecuador.- Effectiveness of monitoring indicators in the architecture of a collaborative system.- IoT monitoring for real-time control of industrial processes.- Metric identification evaluating security information: A Systematic Literature Review.- Apps and user interfaces.- Evaluation of User Interface (UI) and User Experience (UX) for web services of a weather data monitoring platform.- Comparison of Free Android Mobile 3D Modeling Tools for AR Apps.- A Web App for Teaching Specialized English Vocabulary – Case of Study: Computer Sciences.

Read more less

Book SynopsisThis volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and selected from the 167 submissions. They are organized in the topical sections on ​software engineering; intelligent systems; software quality. Table of ContentsSoftware Engineering.- Intelligent Systems.- Software Quality.

Read more less

Book SynopsisThis book constitutes revised selected papers from the refereed proceedings of the 5th The Global IoT Summit, GIoTS 2022, which took place in Dublin, Ireland, in June 20–23, 2022. The 33 full papers included in this book were carefully reviewed andselected from 75 submissions. They were organized in topical sections as follows: ioT enabling technologies; ioT applications, services and real implementations; ioT security, privacy and data protection; and ioT pilots, testbeds and experimentation results.Table of Contents​IoT Enabling Technologies.- Overview of Drone Communication Requirements in 5G.- Accurate indoor positioning based on beacon weighting using RSSI.- Adaptive Data-Driven Routing for Edge-to-Cloud Continuum: a Content-Based Publish/Subscribe Approach.- Online Decentralized Frank-Wolfe: From theoretical bound to applications in smart-building.- IntellIoT: Intelligent IoT Environments.- An Interoperable Framework for Heterogeneous IoT Infrastructure to Unlock Data Value.- Task offloading in Computing Continuum using collaborative reinforcement learning.- Assessing Efficiency Benefits of Edge Intelligence.- IoT Applications, Services and Real Implementations.- A Smart IoT Gateway capable of Prescreening for Atrial Fibrillation.- Internet of Things with web technologies solution for flood notification in S~ao Paulo.- Wi-Monitor: Wi-Fi Channel State Information-based Crowd Counting with Lightweight and Low-cost IoT Devices.- Design of a next-generation interoperable Cognitive Port Solution.- Conceptual Framework of Contact-less Consumer Products Industry during and Post-Pandemic Era.- Blockchain for economy of scale in wind industry: A Demo Case.- Sleep Stage detection on a Wearable Headband using Deep Neural Networks.- A Comparative Study on Energy Consumption Models for Drones.- ConQeng: A Middleware for Quality of Context Aware Selection, Measurement and Validation.- Automating Heterogeneous IoT Device Networks from Multiple Brokers with Multiple Data Models.- A Persuasive system for Stress Detection and Management in an Educational Environment.- Domain Generalization on Constrained Platforms: on the Compatibility with Pruning Techniques.- IoT Security, Privacy and Data Protection.- A low-overhead approach for self-sovereign identity in IoT.- An Analysis of Process Parameters for the Optimization of Specific Emitter Identification Under Rayleigh Fading.- Secure Image Data Storage And Transmission Using ESP32-Cam And Raspberry Pi With Steganography.- Modelling of Resource-aware Information Exchange for Resource Constraint IoT Devices.- IRIS Advanced Threat Intelligence Orchestrator- A way to manage cybersecurity challenges of IoT ecosystems in Smart Cities.- Federated learning-based IoT intrusion detection on non-IID data.- A holistic approach for IoT networks' identity and trust management - The ERATOSTHENES project.- A holistic approach for IoT networks' identity and trust management - The ERATOSTHENES project.- ARCADIAN-IoT - Enabling Autonomous Trust, Security and PrivacyManagement for IoT.- IoT Pilots, Testbeds and Experimentation Results.- GAIA 5G: A Multi-Access Smart-Campus Architecture.- IoT Device for Reduction of Roe Deer Fawn Mortality During Haymaking.- Latency and Energy Consumption of Convolutional Neural Network Models from IoT Edge Perspective.- Industry-Academia Cooperation: Applied IoT Research for SMEs in South-East Sweden.- Experiment to scope Low Carbon Electricity based Additive Manufacturing with IoT.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 10th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2022, held in Maribor, Slovenia, in November 2022.The 19 full papers presented in this book were carefully reviewed and selected from 23 submissions.The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the optimization problems and came in two categories: theoretical studies and methodology advancements on the one hand, and algorithm adjustments and their applications on the other.Table of ContentsAn agent-based model to investigate different behaviours in a crowd simulation.- Accelerating Evolutionary Neural Architecture Search for Remaining Useful Life Prediction.- ACOCaRS: Ant Colony Optimization Algorithm for Traveling Car Renter Problem.- A new type of anomaly detection problem in dynamic graphs: An ant colony optimization approach.- CSS- A Cheap-Surrogate-based Selection Operator for Multi-objective Optimization.- Empirical Similarity Measure for Metaheuristics.- Evaluation of Parallel Hierarchical Differential Evolution for Min-Max Optimization Problems Using SciPy.- Explaining Differential Evolution Performance Through Problem Landscape Characteristics.- Genetic improvement of TCP congestion avoidance.- Hybrid Acquisition Processes in Surrogate-based Optimization. Application to Covid-19 Contact Reduction.- Investigating the Impact of Independent Rule Fitnesses in a Learning Classifier System.- Modified Football Game Algorithm for Multimodal Optimization of Test Task Scheduling Problems Using Normalized Factor Random Key Encoding Scheme.- Performance Analysis of Selected Evolutionary Algorithms.- Refining Mutation Variants in Cartesian Genetic Programming.- Slime mould algorithm: An experimental study of nature-inspired optimizer.- SMOTE inspired extension for differential evolution.- The Influence of Local Search over Genetic Algorithms with Balanced Representations.- Trade-off of networks on weighted space analyzed via a method mimicking human walking track superposition.- Towards interpretable policies in multi-agent reinforcement learning tasksb.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 11th International Conference on Cloud Computing and Services Science, CLOSER 2021, Virtual Event, during April 28–30, 2021. The 5 full papers included in this book were carefully reviewed and selected from 51 submissions. The proceedings deal with the topics of data processing, cloud computing environments, and services science.Table of ContentsTailoring Technology-agnostic Deployment Models to Production-ready Deployment Technologies.- Toward Secure VMs Allocation: Analysis of VMs Allocation Behaviours in the Cloud Computing Environments.- Risk Analysis Automation Process in IT Security for Cloud Applications.- AI Quality Engineering for Machine Learning based IoT Data Processing.- Quality of Service Support through a Self-adaptive System in Edge Computing Environments.

Read more less

Book SynopsisThis volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.The 11 short papers presented were selected from the total of 65 submissions. This volume also contains the 4 accepted papers from the DETECT 2022 workshop, held at MEDI 2022. The volume focuses on advances in data management and modelling, including topics such as data models, data processing, database theory, database systems technology, and advanced database applications.Table of ContentsImage processing and diagnosis.- Machine Learning and Optimization.- Machine Learning and Optimization.- Modelling.- Database systems.- Applications.- DETECT Workshop: modeling, verification and testing of dependable critical systems.

Read more less

Book SynopsisThis volume contains the technical papers presented in the workshops, which took place at the 9th European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.The 4 full papers and 7 short papers included in these proceedings were carefully reviewed and selected from 17 submissions. The workshop proceedings volume of ESOCC 2022 contains contributions from the following workshops and events:First International Workshop on AI for Web Application Infrastructure and Cloud Platform Security (AWACS 2022)PhD Symposium of ESOCC 2022ESOCC 2022 Projects TrackESOCC 2022 Industrial TrackTable of ContentsFirst International Workshop on AI for Web Application Infrastructure and Cloud Platform Security (AWACS 2022).- Towards a Metadata Management System for provenance, reproducibility and accountability in Federated Machine Learning.- Towards a Secure Peer-to-Peer Federated Learning Framework.- MIDA: Micro-Flow Independent Detection of DDoS Attacks with CNNs.- ESOCC 2022 PhD Symposium.- Improving the Key Exchange Process of the eXtended Triple Diffie-Hellman Protocol with Blockchain.- Towards Data Governance for Federated Machine Learning.- ESOCC 2022 Projects Track.- QuickFaaS: Providing Portability and Interoperability between FaaS Platforms.- Cloud Computing Continuum research topics and challenges. A multi-source analysis.- Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code.- Urban Heat Island Detection Utilizing Citizen Science.- Using a multi-sourced methodology to identify challenges in Software Technologies research.- ESOCC 2022 Industrial Track.- Rethinking Monitoring for Cloud Environments: BMC Software AIOps Case Study.

Read more less

Book SynopsisThis book constitutes revised selected papers from the international workshops, the EDOC Forum and the Demonstration and Doctoral Consortium track, that were held at the 26th International Conference on Enterprise Design, Operations, and Computing, EDOC 2022. The conference took place in Bozen-Bolzano, Italy, during October 3–7, 2022.The conference focuses on the area of enterprise computing, this year with the special emphasis on the theme of designing and operating “Flexible Enterprises”. Workshops within EDOC cover more focused topics and allow for the presentation and discussion of work that is in the earlier development stages. The 18 full and 8 short papers included in this volume were carefully reviewed and selected from 82 submissions. They stem from the following satellite events: – Workshop on Intelligent Digital Architecture, Methods, and Services for Industry 4.0 and Society 5.0 (IDAMS) – 14th Workshop on Service-oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE) – 17th Workshop on Trends in Enterprise Architecture Research (TEAR) – EDOC Forum – Demonstrations Track – Doctoral Consortium Table of ContentsIDAMS 2022.- Digital Architectures Under Society 5.0: An Enterprise Architecture Perspective.- Towards a Framework for Context Awareness Based on Textual Process Data: Case Study Insights.- Digital Technologies Supporting Digitalization: A Maturity Model to Manage their Usage Risks.- DTMN a Modelling Notation for Digital Twins.- Adaptive Management of Cyber-Physical Workflows by Means of Case-Based Reasoning and Automated Planning.- An Optimization Ontology for Goal Modelling Frameworks.- SOEA4EE 2022.-Visual Description of Digital IT Consulting Services using DITCOS-DN: Proposal and Evaluation of a Graphical Editor.- Implementing a service-oriented rural smartness platform: lessons learned from a technical action research in West Java, Indonesia.- TEAR 2022.- Areas where Enterprise Architecture Contributes to Organizational Goals - A Quantitative Study in the Netherlands.- Achieving Alignment by Means of EA Artifacts.- Contextuality and Temporality of Enterprise Architecture Problems: A Comparative Case Study.- Zooming in on Competences in Ontology-Based Enterprise Architecture Modeling.- A Knowledge-Graph Based Integrated Digital EA Maturity and Performance Framework.- Workplace Topology Model for Assessment of Static and Dynamic Interactions Among Employees.- EDOC Forum.- Optimized Throttling for OAuth-based Authorization Servers.- A Concept and a Multitenant Web Application for Interactive Software Architecture Analysis.- An ontology for software patterns: application to blockchain-based software development.- Learning-aided Adaptation - A Case Study from Wellness Ecosystem.- Demonstrations Track.- The Deployment Model Abstraction Framework.- Dromi: A Tool for Automatically Reporting the Impacts of Sagas implemented in Microservice Architectures on the Business Processes.- Exploring Enterprise Architecture Knowledge Graphs in Archi: The EAKG Toolkit.- Interactive Design of Time-Aware Business Processes.- Prosimos: Discovering and Simulating Business Processes With Differentiated Resources.- Doctoral Consortium.- Data analytics and machine learning for smart decision making in automotive sector.- To model or not to model? Assessing the value of ontology-driven conceptual modeling.- A Proposal for Intent-based Configuration of ICT Components.

Read more less

Book SynopsisThis book constitutes the thoroughly refereed proceedings of the international workshops associated with the 36th International Conference on Advanced Information Systems Engineering, CAiSE 2024, which was held in Limassol, Cyprus, during June 2024. The total of 25 full and 5 short papers included in these proceedings were carefully reviewed and selected from 60 submissions. They stem from the following workshops: International Workshop on Blockchain for Information Systems (BC4IS24)and Blockchain for Trusted Data Sharing (B4TDS); 2nd International Workshop on Hybrid Artificial Intelligence and EnterpriseModelling for Intelligent Information Systems (HybridAIMS); 2nd International Workshop on Knowledge Graphs for Semantics-driven Systems Engineering (KG4SDSE); 16th International Workshop on Enterprise & Organizational Modeling andSimulation (EOMAS); International Workshop on Digital Transformation with Business ProcessMining (DigPro).

Read more less

Book SynopsisThis open access book provides a basic introduction to feature modelling and analysis as well as to the integration of AI methods with feature modelling.

Read more less

Book SynopsisThis textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience – thus reflecting the majority of students in introductory courses at universities. Using UML, it introduces basic modeling concepts in a highly precise manner, while refraining from the interpretation of rare special cases. After a brief explanation of why modeling is an indispensable part of software development, the authors introduce the individual diagram types of UML (the class and object diagram, the sequence diagram, the state machine diagram, the activity diagram, and the use case diagram), as well as their interrelationships, in a step-by-step manner. The topics covered include not only the syntax and the semantics of the individual language elements, but also pragmatic aspects, i.e., how to use them wisely at various stages in the software development process. To this end, the work is complemented with examples that were carefully selected for their educational and illustrative value.Overall, the book provides a solid foundation and deeper understanding of the most important object-oriented modeling concepts and their application in software development. An additional website offers a complete set of slides to aid in teaching the contents of the book, exercises and further e-learning material. Table of Contents1 Introduction.- 2 A Short Tour of UML.- 3 The Use Case Diagram.- 4 The Class Diagram.- 5 The State Machine Diagram.- 6 The Sequence Diagram.- 7 The Activity Diagram.- 8 All Together Now.- 9 Further Topics.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.Table of ContentsFormal methods integration and experience reports.- Model checking.- Refinement and verification.- Semantics and languages.

Read more less

Book SynopsisThis tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009. The 16 articles comprise 7 long tutorials, 6 short tutorials and 3 participants contributions; they shed light on the generation and transformation of programs, data, models, metamodels, documentation, and entire software systems. The topics covered include software reverse and re-engineering, model driven engineering, automated software engineering, generic language technology, and software language engineering.Table of ContentsAn Introduction to Software Product Line Refactoring.- Excerpts from the TXL Cookbook.- Model Synchronization: Mappings, Tiles, and Categories.- An Introductory Tutorial on JastAdd Attribute Grammars.- Model Driven Language Engineering with Kermeta; EASY Meta-programming with Rascal.- The Theory and Practice of Modeling Language Design for Model-Based Software Engineering—A Personal Perspective.- Code Transformations for Embedded Reconfigurable Computing Architectures.- Model Transformation Chains and Model Management for End-to-End Performance Decision Support; Building Code Generators with Genesys: A Tutorial Introduction; The Need for Early Aspects.- Lightweight Language Processing in Kiama .- Some Issues in the ‘Archaeology’ of Software Evolution; Teaching Computer Language Handling – From Compiler Theory to Meta-modelling; C++ Metastring Library and Its Applications.- Language Convergence Infrastructure.

Read more less

Book SynopsisThis book systematically identifies the lack of methodological support for development of requirements and software architecture in the state-of-the-art. To overcome this deficiency, the QuaDRA framework is proposed as a problem-oriented approach. It provides an instantiation of the Twin Peaks model for supporting the intertwining relationship of requirements and software architecture. QuaDRA includes several structured methods which guide software engineers in quality- and pattern-based co-development of requirements and early design alternatives in an iterative and concurrent manner. Table of ContentsContext Elicitation & Problem Analysis.- Architectural Pattern Selection & Application.- Domain Knowledge Analysis.- Requirements Interaction Analysis.- Software Architecture Alternatives Derivation & Evaluation.- Problem-Oriented Requirements Engineering for Software Product Lines.

Read more less

Book SynopsisThis book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size. This book is aimed at collecting contributions discussing recent advances in facing open challenges in software verification, relying on a broad spectrum of verification techniques. This book collects contributions ranging from theoretical to practical arguments, and it is aimed at both researchers in software verification and their practitioners.Table of ContentsChapter 1. Abstract Interpretation: From 0, 1, To ∞.- Chapter 2. LiSA: A Generic Framework for Multilanguage Static Analysis.- Chapter 3. How to make taint analysis precise.- Chapter 4. “Fixing” the specification of widenings.- Chapter 5. Static Analysis for Data Scientists.- Chapter 6. Completeness in static analysis by abstract interpretation, a personal point of view.- Chapter 7. Lifting String Analysis Domains.- Chapter 8. Local Completeness in Abstract Interpretation.- Chapter 9. The Topdown-Solver — An Exercise in A2I.- Chapter 10. Regular matching with constraint programming.- Chapter 11. Floating-point round-off error analysis of safety-critical avionics software.- Chapter 12. Risk estimation in IoT systems.- Chapter 13. Verification of Reaction Systems Processes.

Read more less

Book SynopsisProgram debugging has always been a difficult and time-consuming task in the context of software development, where spectrum-based fault localization (SBFL) is one of the most widely studied families of techniques. While it’s not particularly difficult to learn about the process and empirical performance of a particular SBFL technique from the available literature, researchers and practitioners aren’t always familiar with the underlying theories. This book provides the first comprehensive guide to fundamental theories in SBFL, while also addressing some emerging challenges in this area. The theoretical framework introduced here reveals the intrinsic relations between various risk evaluation formulas, making it possible to construct a formula performance hierarchy. Further extensions of the framework provide a sufficient and necessary condition for a general maximal formula, as well as performance comparisons for hybrid SBFL methods. With regard to emerging challenges in SBFL, the book mainly covers the frequently encountered oracle problem in SBFL and introduces a metamorphic slice-based solution. In addition, it discusses the challenge of multiple-fault localization and presents cutting-edge approaches to overcoming it. SBFL is a widely studied research area with a massive amount of publications. Thus, it is essential that the software engineering community, especially those involved in program debugging, software maintenance and software quality assurance (including both newcomers and researchers who want to gain deeper insights) understand the most fundamental theories – which could also be very helpful to ensuring the healthy development of the field. Table of ContentsChapter 1. Introduction.- Chapter 2. A Theoretical Framework for Spectrum-based Fault Localization.- Chapter 3. Theoretical Comparison Among Risk Evaluation Formulas.- Chapter 4. On the Maximality of Spectrum-based Fault Localization.- Chapter 5. A Generalized Theoretical Framework for Hybrid Spectrum-based Fault Localization.- Chapter 6. Practicality of the Theoretical Frameworks.- Chapter 7. Tackling the Oracle Problem in Spectrum-based Fault Localization.- Chapter 8. Spectrum-based Fault Localization for Multiple Faults.- Chapter 9. Conclusion.

Read more less

Book SynopsisFrom its humble beginnings a container orchestration system, Kubernetes has become the de facto infrastructure for cloud native applications. Kubernetes impacts every aspect of the application development lifecycle, from design through deployment. To build and operate reliable cloud native systems, you need to understand what's going on below the surface. Core Kubernetes is packed with experience-driven insights and practical techniques, and takes you inside Kubernetes to teach you what you'll need to know to keep your system running like a well-oiled machine and prevent those panicked 3 AM phone calls. about the technologyKubernetes is a platform-independent layer for deploying scalable container-based applications. Kubernetes provides abstractions for clustering, replicating, and scaling system components in real time. It's especially well-suited for microservices applications, where you can easily balance the load among services. Kubernetes has become a core component of cloud native applications, and all major cloud vendors now offer hosted versions of Kubernetes. Kubernetes was initially developed by Google and is now governed as an open source project by the Cloud Native Computing Foundation (CNCF). about the bookCore Kubernetes is a reference guide designed to teach operators, SREs, and developers how to improve reliability and performance of Kubernetes-based systems. In it, Kubernetes experts Chris Love and Jay Vyas provide a guided tour through all major aspects of Kubernetes, from managing iptables to setting up dynamically scaled clusters that respond to changes in load. You'll understand the unique security concerns of container-based applications, discover tips to minimize costly unused capacity, and get pro tips for maximizing performance. This awesome collection of undocumented internals, expert techniques, and practical guidance has invaluable information you won't find anywhere else. what's inside- Kubernetes base components- Kubernetes networking- Storage and the Container Storage Interface- External load balancing and ingress- Kubernetes security- Different ways of creating a Kubernetes cluster- Configuring Kubernetes to use a GPU about the readerWritten for readers with a working knowledge of Kubernetes and microservices applications. about the authorAfter earning his PhD, Jay Vyas started his career contributing to Kubernetes' core features at RedHat, and next, he focused on helping multiple companies migrate to Cloud-Native solutions. He now resides at VMWare, once again contributing to Kubernetes and associated projects. When not coding, Jay likes to play with his video games, his synthesizers, and hang out in his Pod. As a thought leader in the Kubernetes and DevOps segment, Chris Love is a founder of multiple technology companies with over 20 years' experience in software engineering. A Google Cloud Certified Fellow, Chris has contributed to several open-source projects including Kubernetes, Bazel, and Terraform. He enjoys speaking around the world about DevOps and Kubernetes and practices martial arts in his free time.

Read more less

Book SynopsisThis book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is impossible to use weak hardware. The authors provide an easy way to deploy Microsoft C/C++ compiler: with no disk space headache and hardware resources lack. The method described saves significant time since software can even be deployed on removable devices, such as flash sticks, in an easy and portable way. It is achieved by using Enterprise Windows Driver Kit (EWDK), single big ISO image, which can be mounted as virtual device and used directly without any installation. EWDK contains everything from Visual Studio except IDE. EWDK also allows to use MASM64 (Microsoft Macro-Assembly) and C# compilersTable of ContentsPart I. Operating Systems and Platforms Introduction Chapter 1. Files and Devices Chapter Goal: General Information on Files and Devices File types and formats Executable and batch files System commands Mounting Devices Virtual Devices Chapter 2. Software Installation Chapter Goal: Description of Software Installation Ways Installation packages (msi) Installing with archives Installing from sources Portable Installation Overview of Installation Methods Best Software Installation Practices for Windows systems Chapter 3. Programming Languages and Software Chapter Goal: Overview of Programming Languages Programming Languages C/C++ Fortran Assembly Part II. Programming Environments Chapter 4. General Build Information Chapter Goal: Description of Software Building on Various Platforms with Various Compilers Unix systems GNU Autotools (GNU Build System) Windows systems nmake Utility Visual Studio .vcxproj and .sln files MSBuild Build System Cygwin Cross-platform topics Chapter 5. Some Useful Open Source Utilities Chapter Goal: Overview of Handy Tools Far Manager Default Installation Easy Installation Usage 7z Default Installation Easy Installation Usage Notepad++ Default Installation Easy Installation Usage lessmsi Easy Installation Usage WinCDEmu Easy Installation Usage Chapter 6. Command-Line Interface Chapter Goal: Description of Important Shell Environment Command Interpreter Environment Variables Access management Chapter 7. Integrated Development Environments and Editors Chapter Goal: Various Visual Development Tools Microsoft Visual Studio Qt Creator Code::Blocks Geany Kate Chapter 8. Minimal Systems Chapter Goal: Overview of Handy Build Subsystems MSYS Easy Installation Some Tips MSYS2 Default Installation Easy Installation CMake Default Installation Easy Installation Chapter 9. Compilers Chapter Goal: Various Ways of Compilers Installations GCC/MinGW Default Installation Building from the sources Easy Installation Microsoft C/C++ Default Installation Easy Installation (without Visual Studio) with EWDK Intel C/C++ Part III. Building and Using Libraries (A. B. Ospanova, co-author) Chapter 10. Libraries Chapter Goal: Libraries, How to Treat Them Dynamic and Static Libraries Building Libraries Creating User Libraries Chapter 11. Using Libraries Chapter Goal: Overview of Using Libraries Linking with Static Libraries Linking with Dynamic Libraries Using Libraries from Source Code Chapter 12. GMP (GNU Multiprecision Library) Chapter Goal: Using GMP Library Building Example: Computation of 10 000 000! Chapter 13. Crypto++ Chapter Goal: Using Crypto++ Library Building with MinGW Building with Microsoft C/C++ Compiler Example: AES Implementation Chapter 14. Process Hacker Chapter Goal: Using Process Hacker Utility Building with Microsoft C/C++ Compiler Building Driver Building Utility

Read more less

Book SynopsisThis practical guide shows you how storytelling can make a powerful difference in product design. Author Anna Dahlström details the many ways you can use storytelling in your projects and throughout your organization.

Read more less

Book SynopsisWhen you're new to Python, it can be tough to understand where and how to use its many language features. There's a dizzying array of libraries, and it's challenging to fit everything together. The Well- Grounded Python Developer builds on Python skills you've learned in isolation and shows you how to unify them into a meaningful whole. The Well-Grounded Python Developer teaches you how to write real software in Python by building on the basic language skills you already have. It helps you see the big picture you can create out of small pieces, introducing concepts like modular construction, APIs, and the design of a basic web server. When you're finished, you'll have gone from having a basic understanding of Python's syntax, grammar, and libraries to using them as the tools of a professional software developer. About the TechnologyPython is the perfect language for beginning programmers. It is easy to learn, with tons of helpful libraries and tools. Better still, it doesn't run out of steam when you want to create more advanced applications for web development or machine learning. Once you've mastered the syntax of simple Python scripts, it can be a challenge to progress to more ambitious projects. This book helps you on that path.Trade Review"I would consider this book a bible of sorts, offering something to every level of Python developer." Lee Harding "A very good book not just for becoming a well grounded python developer but a good resource to become a well grounded developer in general." Kimberly Winston-Jackson "If you want to become a good Pythonista you need this book!" Gustavo Filipe Ramos Gomes "A great introduction to the necessary concepts that make you a great programmer." Christopher Kardell

Read more less

Book SynopsisPro Git (Second Edition) is your fully-updated guide to Git and its usage in the modern world.Trade ReviewTable of Contents1. Getting Started2. Git Basics3. Git Branching4. Git on the Server5. Distributed Git6. GitHub7. Git Tools8. Customizing Git9. Git and Other Systems10. Git Internals

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

Book SynopsisLen Bass is a senior principal researcher at National ICT Australia Ltd. (NICTA). He joined NICTA in 2011 after 25 years at the Software Engineering Institute (SEI) at Carnegie Mellon University. He is the coauthor of two award-winning books in software architectureSoftware Architecture in Practice, Third Edition (Addison-Wesley 2013) and Documenting Software Architectures: Views and Beyond, Second Edition (Addison-Wesley 2011)as well as several other books and numerous papers in computer science and software engineering on a wide range of topics. Len has more than 50 years' experience in software development and research, which has resulted in papers on operating systems, database management systems, user interface software, software architecture, product line systems, and computer operations. He has worked or consulted in multiple domains, including scientific analysis, embedded systems, and information and financial systems. Table of ContentsPreface xi Previewing the Book xiii Acknowledgments xv Legend xvii Part I: Background 1 Chapter 1: What Is DevOps? 3 1.1 Introduction 3 1.2 Why DevOps? 7 1.3 DevOps Perspective 11 1.4 DevOps and Agile 12 1.5 Team Structure 13 1.6 Coordination 17 1.7 Barriers 20 1.8 Summary 23 1.9 For Further Reading 24 Chapter 2: The Cloud as a Platform 27 2.1 Introduction 27 2.2 Features of the Cloud 29 2.3 DevOps Consequences of the Unique Cloud Features 41 2.4 Summary 44 2.5 For Further Reading 45 Chapter 3: Operations 47 3.1 Introduction 47 3.2 Operations Services 47 3.3 Service Operation Functions 57 3.4 Continual Service Improvement 58 3.5 Operations and DevOps 59 3.6 Summary 61 3.7 For Further Reading 61 Part II: The Deployment Pipeline 63 Chapter 4: Overall Architecture 65 4.1 Do DevOps Practices Require Architectural Change? 65 4.2 Overall Architecture Structure 66 4.3 Quality Discussion of Microservice Architecture 72 4.4 Amazon’s Rules for Teams 75 4.5 Microservice Adoption for Existing Systems 76 4.6 Summary 77 4.7 For Further Reading 78 Chapter 5: Building and Testing 79 5.1 Introduction 79 5.2 Moving a System Through the Deployment Pipeline 81 5.3 Crosscutting Aspects 84 5.4 Development and Pre-commit Testing 86 5.5 Build and Integration Testing 91 5.6 UAT/Staging/Performance Testing 95 5.7 Production 96 5.8 Incidents 98 5.9 Summary 98 5.10 For Further Reading 99 Chapter 6: Deployment 101 6.1 Introduction 101 6.2 Strategies for Managing a Deployment 102 6.3 Logical Consistency 105 6.4 Packaging 111 6.5 Deploying to Multiple Environments 114 6.6 Partial Deployment 117 6.7 Rollback 118 6.8 Tools 121 6.9 Summary 121 6.10 For Further Reading 122 Part III: Crosscutting Concerns 125 Chapter 7: Monitoring 127 7.1 Introduction 127 7.2 What to Monitor 129 7.3 How to Monitor 134 7.4 When to Change the Monitoring Configuration 139 7.5 Interpreting Monitoring Data 139 7.6 Challenges 143 7.7 Tools 147 7.8 Diagnosing an Anomaly from Monitoring Data–the Case of Platformer.com 148 7.9 Summary 152 7.10 For Further Reading 153 Chapter 8: Security and Security Audits 155 8.1 What Is Security? 156 8.2 Threats 157 8.3 Resources to Be Protected 159 8.4 Security Roles and Activities 162 8.5 Identity Management 165 8.6 Access Control 169 8.7 Detection, Auditing, and Denial of Service 172 8.8 Development 173 8.9 Auditors 174 8.10 Application Design Considerations 175 8.11 Deployment Pipeline Design Considerations 176 8.12 Summary 177 8.13 For Further Reading 178 Chapter 9: Other Ilities 181 9.1 Introduction 181 9.2 Repeatability 183 9.3 Performance 186 9.4 Reliability 188 9.5 Recoverability 190 9.6 Interoperability 191 9.7 Testability 192 9.8 Modifiability 194 9.9 Summary 195 9.10 For Further Reading 196 Chapter 10: Business Considerations 197 10.1 Introduction 197 10.2 Business Case 197 10.3 Measurements and Compliance to DevOps Practices 206 10.4 Points of Interaction Between Dev and Ops 209 10.5 Summary 211 10.6 For Further Reading 211 Part IV: Case Studies 213 Chapter 11: Supporting Multiple Datacenters 215 11.1 Introduction 215 11.2 Current State 216 11.3 Business Logic and Web Tiers 216 11.4 Database Tier 220 11.5 Other Infrastructure Tools 223 11.6 Datacenter Switch 225 11.7 Testing 232 11.8 Summary 233 11.9 For Further Reading 234 Chapter 12: Implementing a Continuous Deployment Pipeline for Enterprises 237 12.1 Introduction 237 12.2 Organizational Context 238 12.3 The Continuous Deployment Pipeline 240 12.4 Baking Security into the Foundations of the CD Pipeline 257 12.5 Advanced Concepts 259 12.6 Summary 261 12.7 For Further Reading 262 Chapter 13: Migrating to Microservices 263 13.1 Introduction to Atlassian 263 13.2 Building a Platform for Deploying Microservices 265 13.3 BlobStore: A Microservice Example 268 13.4 Development Process 273 13.5 Evolving BlobStore 279 13.6 Summary 284 13.7 For Further Reading 284 Part V: Moving into the Future 285 Chapter 14: Operations as a Process 287 14.1 Introduction 287 14.2 Motivation and Overview 288 14.3 Offline Activities 289 14.4 Online Activities 294 14.5 Error Diagnosis 296 14.6 Monitoring 296 14.7 Summary 298 14.8 For Further Reading 298 Chapter 15: The Future of DevOps 299 15.1 Introduction 299 15.2 Organizational Issues 300 15.3 Process Issues 302 15.4 Technology Issues 305 15.5 What About Error Reporting and Repair? 309 15.6 Final Words 310 15.7 For Further Reading 310 References 311 About the Authors 315 Index 317

Read more less

Book SynopsisDean Leffingwell, a thirty-year software industry veteran, has spent his career helping software teams achieve their goals. A renowned methodologist, author, coach, entrepreneur, and executive, he founded Requisite, Inc., makers of RequisitePro, and served as its CEO. As vice president at Rational Software (now part of IBM), he led the commercialization of the Rational Unified Process. As an independent consultant and as an advisor to Rally Software, he has helped entrepreneurial teams and large, distributed, multinational corporations implement Agile methods at scale. He is the author of Scaling Software Agility: Best Practices for Large Enterprises (Addison-Wesley, 2007) and is the lead author of Managing Software Requirements, Second Edition (Addison-Wesley, 2003), which has been translated into five languages.Trade Review Praise for Agile Software Requirements “In my opinion, there is no book out there that more artfully addresses the specific needs of agile teams, programs, and portfolios all in one. I believe this book is an organizational necessity for any enterprise.” –Sarah Edrie, Director of Quality Engineering, Harvard Business School “Agile Software Requirements and Mr. Leffingwell’s teachings have been very influential and inspiring to our organization. They have allowed us to make critical cultural changes to the way we approach software development by following the framework he’s outlined here. It has been an extraordinary experience.” –Chris Chapman, Software Development Manager, Discount Tire “This book supplies empirical wisdom connected with strong and very well-structured theory of succeeding with software projects of different scales. People new to agile, practitioners, or accomplished agilists–we all were waiting for such a book.” –Oleksandr (Alex) Yakyma, Agile Consultant, www.enter-Agile.com “This book presents practical and proven agile approaches for managing software requirements for a team, collaborating teams of teams, and all across the enterprise. However, this is not only a great book on agile requirements engineering; rather, Leffingwell describes the bigger picture of how the enterprise can achieve the benefits of business agility by implementing lean product development flow. His ‘Big Picture’ of agile requirements is an excellent reference for any organization pursuing an intrinsically lean software development operational mode. Best of all, we’ve applied many of these principles and practices at Nokia (and even helped create some of them), and therefore we know they work. –Juha-Markus Aalto, Agile Change Program Manager, Nokia Corporation “This pragmatic, easy-to-understand, yet thought-provoking book provides a hands-on guide to addressing a key problem that enterprises face: How to make requirements practices work effectively in large-scale agile environments. Dean Leffingwell’s focus on lean principles is refreshing and much needed!” –Per Kroll, author, and Chief Architect for Measured Improvements, IBM “Agile programming is a fluid development environment. This book serves as a good starting point for learning.” –Brad Jackson, SAS Institute Inc. “Dean Leffingwell captures the essence of agile in its entirety, all the way from the discrete user story in the ‘trenches’ to complex software portfolios at the enterprise level. The narrative balances software engineering theory with pragmatic implementation aspects in an easy-to-understand manner. It is a book that demands to be read in a single sitting.” –Israel Gat, http://theAgileexecutive.com, @Agile_exec on Twitter “An incredibly complete, clear, concise, and pragmatic reference for agile software development. Much more than mere guidelines for creating requirements, building teams, and managing projects, this reference work belongs on the bookshelf of anyone and everyone involved with not only agile processes but software development in general.” –R.L. Bogetti, Lead System Designer, Baxter Healthcare “This book covers software requirements from the team level to program and portfolio levels, including the architecture management and a consistent framework for the whole enterprise. We have practiced the multi-team release planning and the enterprise-level architecture work with kanban and achieved instant success in our organization. Combining the principles of the product development flow with the current large-scale agile and lean software development is a really novel concept. Well worth reading and trying out the ideas here.” –Santeri Kangas, Chief Software Architect, and Gabor Gunyho, Lean Change Agent, F-Secure Corp. “Dean Leffingwell and his Agile Release Train (ART) concept guides us from teamlevel agile to enterprise-level agile. The ART concept is a very powerful tool in planning and managing large software programs and helps to identify and solve potential organizational roadblocks–early.” –Markku Lukkarinen, Head of Programs, Nokia Siemens NetworksTable of Contents Foreword xxiii Preface xxvii Acknowledgments xxxiii About the Author xxxv Part I: Overview: The Big Picture 1 Chapter 1: A Brief History of Software Requirements Methods 3 Software Requirements in Context: Decades of Predictive, Waterfall-Like Processes 5 Iterative and Incremental Processes 9 Adaptive (Agile) Processes 12 Requirements Management in Agile Is Fundamentally Different 16 Enterprise-Scale Adaptive Processes 19 Introduction to Lean Software 20 Summary 28 Chapter 2: The Big Picture of Agile Requirements 31 The Big Picture Explained 32 Big Picture: Team Level 34 Big Picture: Program Level 38 Big-Picture Elements: Portfolio Level 43 Summary 45 Chapter 3: Agile Requirements for the Team 47 Introduction to the Team Level 47 Agile Team Roles and Responsibilities 50 User Stories and the Team Backlog 55 Acceptance Tests 58 Unit Tests 60 Summary 61 Chapter 4: Agile Requirements for the Program 63 Introduction to the Program Level 63 Organizing Agile Teams at Scale 64 Vision 74 Features 75 Nonfunctional Requirements 77 The Agile Release Train 80 Roadmap 81 Summary 82 Chapter 5: Agile Requirements for the Portfolio 83 Introduction to the Portfolio Level 83 Investment Themes 84 Portfolio Management Team 85 Epics and the Portfolio Backlog 85 Epics, Features, and Stories 87 Architectural Runway and Architectural Epics 88 Summary 91 Summary of the Full, Enterprise Requirements Information Model 91 Interlude: Case Study: Tendril Platform 93 Background for the Case Study 93 System Context Diagram 95 Part II: Agile Requirements for the Team 97 Chapter 6: User Stories 99 Introduction 99 User Story Form 102 INVEST in Good User Stories 105 Splitting User Stories 111 Spikes 114 Technical Spikes and Functional Spikes 114 Story Modeling with Index Cards 116 Summary 117 Chapter 7: Stakeholders, User Personas, and User Experiences 119 Stakeholders 119 Identifying Stakeholders 122 User Personas 126 Agile and User Experience Development 129 Summary 133 Chapter 8: Agile Estimating and Velocity 135 Introduction 135 Why Estimate? The Business Value of Estimating 137 Estimating Scope with Story Points 138 Understanding Story Points: An Exercise 138 An Alternate Technique: Tabletop Relative Estimation 145 From Scope Estimates to Team Velocity 146 Caveats on the Relative Estimating Model 147 From Velocity to Schedule and Cost 148 Estimating with Ideal Developer Days 149 A Hybrid Model 151 Summary 152 Chapter 9: Iterating, Backlog, Throughput, and Kanban 155 Iterating: The Heartbeat of Agility 155 Backlog, Lean, and Throughput 169 Software Kanban Systems 179 Summary 180 Chapter 10: Acceptance Testing 183 Why Write About Testing in an Agile Requirements Book? 183 Agile Testing Overview 184 What Is Acceptance Testing? 187 Characteristics of Good Story Acceptance Tests 188 Acceptance Test-Driven Development 190 Acceptance Test Template 192 Automated Acceptance Testing 193 Unit and Component Testing 196 Summary 199 Chapter 11: Role of the Product Owner 201 Is This a New Role? 201 Perspectives on Dual Roles of Product Owner and Product Manager 202 Responsibilities of the Product Owner in the Enterprise 207 Five Essential Attributes of a Good Product Owner 218 Collaboration with Product Managers 220 Product Owner Bottlenecks: Part-Time Product Owners, Product Owner Proxies, Product Owner Teams 221 Seeding the Product Owner Role in the Enterprise 222 Summary 224 Chapter 12: Requirements Discovery Toolkit 227 The Requirements Workshop 228 Brainstorming 232 Interviews and Questionnaires 237 User Experience Mock-Ups 241 Forming a Product Council 243 Competitive Analysis 244 Customer Change Request Systems 245 Use-Case Modeling 247 Summary 247 Part III: Agile Requirements for the Program 249 Chapter 13: Vision, Features, and Roadmap 251 Vision 251 Expressing the Vision 252 Features 255 Estimating Features 257 Testing Features 260 Prioritizing Features 261 The Roadmap 271 Summary 273 Chapter 14: Role of the Product Manager 275 Product Manager, Business Analyst? 276 Responsibilities of the Product Manager in a Product Company 276 Business Responsibilities of the Role in the IT/IS Shop 278 Responsibility Summary 279 Phases of Product Management Disillusionment in the Pre-Agile Enterprise 280 Evolving Product Management in the Agile Enterprise 283 Responsibilities of the Agile Product Manager 287 Summary 297 Chapter 15: The Agile Release Train 299 Introduction to the Agile Release Train 300 Driving Strategic Alignment 304 Institutionalizing Product Development Flow 305 Designing the Agile Release Train 308 Planning the Release 308 Tracking and Managing the Release 309 Release Retrospective 310 Measuring Release Predictability 310 Releasing 313 Summary 317 Chapter 16: Release Planning 319 Preparing for Release Planning 319 Release Planning Narrative, Day 1 322 Release Planning Narrative, Day 2 328 Stretch Goals 336 Summary 338 Chapter 17: Nonfunctional Requirements 339 Modeling Nonfunctional Requirements 340 Exploring Nonfunctional Requirements 342 Persisting Nonfunctional Requirements 347 Testing Nonfunctional Requirements 348 Template for an NFR Specification 352 Summary 354 Chapter 18: Requirements Analysis Toolkit 355 Activity Diagrams 357 Sample Reports 358 Pseudocode 358 Decision Tables and Decision Trees 359 Finite State Machines 361 Message Sequence Diagrams 364 Entity-Relationship Diagrams 365 Use-Case Modeling 366 Summary 366 Chapter 19: Use Cases 367 The Problems with User Stories and Backlog Items 368 Five Good Reason to Still Use Use Cases 368 Use Case Basics 369 A Use Case Example 375 Applying Use Cases 377 Use Cases in the Agile Requirements Information Model 378 Summary 379 Part IV: Agile Requirements for the Portfolio 381 Chapter 20: Agile Architecture 383 Introduction to the Portfolio Level of the Big Picture 383 Systems Architecture in Enterprise-Class Systems 384 Eight Principles of Agile Architecture 390 Implementing Architectural Epics 399 Splitting Architecture Epics 403 Summary 405 Chapter 21: Rearchitecting with Flow 407 Architectural Epic Kanban System 408 Overview of the Architectural Epic Kanban System 409 1. The Funnel: Problem/Solution Needs Identification 412 2. Backlog 415 3. Analysis 418 4. Implementation 423 Summary 427 Chapter 22: Moving to Agile Portfolio Management 429 Portfolio Management 429 When Agile Teams Meet the PMO: Two Ships Pass in the Night 431 Legacy Mind-Sets Inhibit Enterprise Agility 432 Legacy Mind-Sets in Portfolio Management 433 Eight Recommendations for Moving to Agile Portfolio Management 436 Summary: On to Agile Portfolio Planning 447 Chapter 23: Investment Themes, Epics, and Portfolio Planning 449 Investment Themes 450 Epics 452 Identifying and Prioritizing Business Epics: A Kanban System for Portfolio Planning 456 Summary 467 Chapter 24: Conclusion 469 Further Information 470 Appendix A: Context-Free Interview 471 Appendix B: Vision Document Template 475 Appendix C: Release Planning Readiness Checklist 485 Appendix D: Agile Requirements Enterprise Backlog Meta-model 489 Bibliography 491 Index 495

Read more less

Book SynopsisVirtualization has become a megatrend-and for good reason. Implementing virtualization allows for more efficient utilization of network server capacity, simpler storage administration, reduced energy costs, and better use of corporate capital. In other words: virtualization helps you save money, energy, and space.Table of ContentsForeword xvii Introduction 1 Part I: Getting Started with a Virtualization Project 7 Chapter 1: Wrapping Your Head around Virtualization 9 Chapter 2: Making a Business Case for Virtualization 33 Chapter 3: Understanding Virtualization: Technologies and Applications 49 Chapter 4: Peeking at the Future of Virtualization 83 Part II: Server Virtualization 99 Chapter 5: Deciding Whether Server Virtualization Is Right for You 101 Chapter 6: Performing a Server Virtualization Cost-Benefit Analysis 111 Chapter 7: Managing a Virtualization Project 129 Chapter 8: Choosing Hardware for Your Server Virtualization Project 159 Part III: Server Virtualization Software Options 187 Chapter 9: Migrating to Your New Virtualized Environment 189 Chapter 10: Managing Your Virtualized Environment 209 Chapter 11: Creating a Virtualized Storage Environment 221 Part IV: Implementing Virtualization 243 Chapter 12: Implementing VMware Server 245 Chapter 13: Implementing Fedora Virtualization 267 Chapter 14: Implementing XenExpress 291 Part V: The Part of Tens 319 Chapter 15: Ten Steps to Your First Virtualization Project 321 Chapter 16: Ten Virtualization Pitfalls to Avoid 329 Chapter 17: Ten Great Resources on Virtualization 335 Index 341

Read more less

Book SynopsisThis book takes a deep dive into the use of text within SVG to explore the creative possibilities as well as the potential pitfalls. You'll start with SVG's text basics, and then learn methods for using SVG to generate complex layouts.

Read more less

Book SynopsisJurgen Appelo is a writer, speaker, trainer, developer, entrepreneur, manager, blogger, reader, dreamer, leader, and freethinker. And he's Dutch, which explains his talent for being weird.   After studying software engineering at the Delft University of Technology, and earning his Master's degree in 1994, Jurgen busied himself either starting up or leading a variety of Dutch businesses, always in the position of team leader, manager, or executive.   Jurgen's most recent occupation was CIO at ISM eCompany, one of the largest e-business solution providers in The Netherlands. As a manager, Jurgen has experience in leading software developers, development managers, project managers, quality managers, service managers, and kangaroos, some of which he hired accidentally.   He is primarily interestedTrade Review“ I don’t care for cookbooks, as in ‘5 steps to success at whatever.’ I like books that urge you to think–that present new ideas and get mental juices flowing. Jurgen’s book is in this latter category; it asks us to think about leading and managing as a complex undertaking–especially in today’s turbulent world. Management 3.0 offers managers involved in agile/lean transformations a thought-provoking guide how they themselves can ‘become’ agile.” – Jim Highsmith, Executive Consultant, ThoughtWorks, Inc., www.jimhighsmith.com, Author of Agile Project Management “ An up-to-the-minute, relevant round-up of research and practice on complexity and management, cogently summarized and engagingly presented.” –David Harvey, Independent Consultant, Teams and Technology “ Management 3.0 is an excellent book introducing agile to management. I’ve not seen any book that comes near to what this book offers for managers of agile teams. It’s not only a must read, it’s a must share.” –Olav Maassen, Xebia “ If you want hard fast rules like ‘if x happens, do y to fix it’ forget this book. Actually forget about a management career. But if you want tons of ideas on how to make the work of your team more productive and thereby more fun and thereby more productive and thereby more fun and…read this book! You will get a head start on this vicious circle along with a strong reasoning on why the concepts work.” –Jens Schauder, Software Developer, LINEAS “ There are a number of books on managing Agile projects and transitioning from being a Project Manager to working in an Agile setting. However, there isn’t much on being a manager in an Agile setting. This book fills that gap, but actually addresses being an effective manager in any situation. The breadth of research done and presented as background to the actual concrete advice adds a whole other element to the book. And all this while writing in an entertaining style as well.” –Scott Duncan, Agile Coach/Trainer, Agile Software Qualities “ Don’t get tricked by the word ‘Agile’ used in the subtitle. The book isn’t really about Agile; it is about healthy, sensible and down-to-earth management. Something, which is still pretty uncommon.” –Pawel Brodzinski, Software Project Management “ When I first met Jurgen and learned he was writing a book based on complexity theory, I thought, ‘That sounds good, but I’ll never understand it.’ Books with words like entropy, chaos theory, and thermodynamics tend to scare me. In fact, not only did I find Management 3.0 accessible and easy to understand, I can [also] apply the information immediately, in a practical way. It makes sense that software teams are complex adaptive systems, and a relief to learn how to apply these ideas to help our teams do the best work possible. This book will help you whether you’re a manager or a member of a software team”. –Lisa Crispin, Agile Tester, ePlan Services, Inc., author of Agile Testing “ This book is an important read for managers who want to move bTable of Contents 1 Why Things Are Not That Simple 2 Agile Software Development 3 Complex Systems Theory 4 The Information-Innovation System 5 How to Energize People 6 The Basics of Self-Organization 7 How to Empower Teams 8 Leading and Ruling on Purpose 9 How to Align Constraints 10 The Craft of Rulemaking 11 How to Develop Competence 12 Communication on Structure 13 How to Grow Structure 14 The Landscape of Change 15 How to Improve Everything 16 All Is Wrong, but Some Is Useful Index

Read more less

Book SynopsisSoftware Engineering: Principles and Practice challenges the reader to appreciate the issues, design trade-offs and teamwork required for successful software development. This new edition has been brought fully up to date, with complete coverage of all aspects of the software lifecycle and a strong focus on all the skills needed to carry out software projects on time and within budget. Highlights of the third edition include: Fully updated chapters on requirements engineering and software architecture. New chapters on component-based software engineering, service orientation and global software development. Extensive coverage of the human and social aspects of software development. Balanced coverage of both traditional, heavyweight development and agile, lightweight development approaches such as Extreme Programming (XP). Written to support both introductory and advanced software engineering courses, this book is invaluable for everyone in softwareTable of ContentsForeword xvii Preface xix 1 Introduction 1 1.1 What Is Software Engineering? 5 1.2 Phases in the Development of Software 10 1.3 Maintenance or Evolution 15 1.4 From the Trenches 17 1.4.1 Ariane 5, Flight 501 18 1.4.2 Therac-25 19 1.4.3 The London Ambulance Service 21 1.4.4 Who Counts the Votes? 23 1.5 Software Engineering Ethics 24 1.6 Quo Vadis? 27 1.7 Summary 29 1.8 Further Reading 30 Exercises 31 Part I Software Management 35 2 Introduction to Software Engineering Management 37 2.1 Planning a Software Development Project 40 2.2 Controlling a Software Development Project 43 2.3 Summary 45 Exercises 46 3 The Software Life Cycle Revisited 49 3.1 The Waterfall Model 52 3.2 Agile Methods 54 3.2.1 Prototyping 56 3.2.2 Incremental Development 60 3.2.3 Rapid Application Development and Dynamic Systems Development Method 62 3.2.4 Extreme Programming 66 3.3 The Rational Unified Process (RUP) 68 3.4 Model-Driven Architecture 71 3.5 Intermezzo: Maintenance or Evolution 72 3.6 Software Product Lines 75 3.7 Process Modeling 77 3.8 Summary 80 3.9 Further Reading 81 Exercises 82 4 Configuration Management 85 4.1 Tasks and Responsibilities 87 4.2 Configuration Management Plan 92 4.3 Summary 93 4.4 Further Reading 94 Exercises 94 5 People Management and Team Organization 97 5.1 People Management 99 5.1.1 Coordination Mechanisms 101 5.1.2 Management Styles 102 5.2 Team Organization 104 5.2.1 Hierarchical Organization 104 5.2.2 Matrix Organization 106 5.2.3 Chief Programmer Team 107 5.2.4 SWAT Team 107 5.2.5 Agile Team 108 5.2.6 Open Source Software Development 108 5.2.7 General Principles for Organizing a Team 111 5.3 Summary 112 5.4 Further Reading 113 Exercises 113 6 On Managing Software Quality 115 6.1 On Measures and Numbers 118 6.2 A Taxonomy of Quality Attributes 123 6.3 Perspectives on Quality 130 6.4 The Quality System 134 6.5 Software Quality Assurance 135 6.6 The Capability Maturity Model (CMM) 137 6.6.1 Personal Software Process 142 6.6.2 BOOTSTRAP and SPICE 143 6.6.3 Some Critical Notes 143 6.7 Getting Started 144 6.8 Summary 147 6.9 Further Reading 148 Exercises 149 7 Cost Estimation 153 7.1 Algorithmic Models 158 7.1.1 Walston–Felix 160 7.1.2 COCOMO 162 7.1.3 Putnam 163 7.1.4 Function Point Analysis 165 7.1.5 COCOMO 2: Variations on a Theme 168 7.1.6 Use-Case Points: Another Variation on a Theme 173 7.2 Guidelines for Estimating Cost 175 7.3 Distribution of Manpower over Time 179 7.4 Agile Cost Estimation 183 7.5 Summary 184 7.6 Further Reading 186 Exercises 187 8 Project Planning and Control 189 8.1 A Systems View of Project Control 190 8.2 A Taxonomy of Software Development Projects 192 8.2.1 Realization Control Situation 194 8.2.2 Allocation Control Situation 195 8.2.3 Design Control Situation 195 8.2.4 Exploration Control Situation 196 8.2.5 Summary of Control Situations 197 8.3 Risk Management 198 8.4 Techniques for Project Planning and Control 201 8.5 Summary 207 8.6 Further Reading 208 Exercises 208 Part II The Software Life Cycle 211 9 Requirements Engineering 213 9.1 Requirements Elicitation 220 9.1.1 Requirements Engineering Paradigms 224 9.1.2 Requirements Elicitation Techniques 226 9.1.3 Goals and Viewpoints 234 9.1.4 Prioritizing Requirements 237 9.1.5 COTS selection 239 9.1.6 Crowdsourcing 240 9.2 Requirements Documentation and Management 241 9.2.1 Requirements Specification 241 9.2.2 Requirements Management 247 9.3 Requirements Specification Techniques 249 9.3.1 Choosing a Notation 250 9.3.2 Specifying Non-Functional Requirements 252 9.4 Verification and Validation 253 9.5 Summary 254 9.6 Further Reading 255 Exercises 257 10 Modeling 261 10.1 Classic Modeling Techniques 263 10.1.1 Entity–Relationship Modeling 263 10.1.2 Finite State Machines 265 10.1.3 Data Flow Diagrams 267 10.1.4 CRC Cards 267 10.2 On Objects and Related Stuff 268 10.3 The Unified Modeling Language 274 10.3.1 The Class Diagram 276 10.3.2 The State Machine Diagram 279 10.3.3 The Sequence Diagram 283 10.3.4 The Communication Diagram 284 10.3.5 The Component Diagram 285 10.3.6 The Use Case 286 10.4 Summary 287 10.5 Further Reading 287 Exercises 288 11 Software Architecture 289 11.1 Software Architecture and the Software Life Cycle 293 11.2 Architecture Design 294 11.3 Architectural Views 298 11.4 Architectural Styles 303 11.5 Software Architecture Assessment 317 11.6 Summary 321 11.7 Further Reading 322 Exercises 322 12 Software Design 325 12.1 Design Considerations 329 12.1.1 Abstraction 330 12.1.2 Modularity 333 12.1.3 Information Hiding 336 12.1.4 Complexity 337 12.1.5 System Structure 344 12.1.6 Object-Oriented Metrics 348 12.2 Classical Design Methods 351 12.2.1 Functional Decomposition 353 12.2.2 Data Flow Design (SA/SD) 356 12.2.3 Design Based on Data Structures 361 12.3 Object-Oriented Analysis and Design Methods 369 12.3.1 The Booch Method 376 12.3.2 Fusion 377 12.3.3 RUP Revisited 379 12.4 How to Select a Design Method 380 12.4.1 Design Method Classification 381 12.4.2 Object Orientation: Hype or the Answer? 382 12.5 Design Patterns 385 12.6 Design Documentation 389 12.7 Verification and Validation 393 12.8 Summary 393 12.9 Further Reading 398 Exercises 399 13 Software Testing 405 13.1 Test Objectives 410 13.1.1 Test Adequacy Criteria 412 13.1.2 Fault Detection Versus Confidence Building 413 13.1.3 From Fault Detection to Fault Prevention 415 13.2 Testing and the Software Life Cycle 417 13.2.1 Requirements Engineering 417 13.2.2 Design 419 13.2.3 Implementation 420 13.2.4 Maintenance 420 13.2.5 Test-Driven Development (TDD) 421 13.3 Verification and Validation Planning and Documentation 422 13.4 Manual Test Techniques 425 13.4.1 Reading 425 13.4.2 Walkthroughs and Inspections 426 13.4.3 Correctness Proofs 428 13.4.4 Stepwise Abstraction 429 13.5 Coverage-Based Test Techniques 430 13.5.1 Control-Flow Coverage 431 13.5.2 Data Flow Coverage 433 13.5.3 Coverage-Based Testing of Requirements Specifications 435 13.6 Fault-Based Test Techniques 437 13.6.1 Error Seeding 437 13.6.2 Mutation Testing 438 13.7 Error-Based Test Techniques 440 13.8 Comparison of Test Techniques 441 13.8.1 Comparison of Test Adequacy Criteria 442 13.8.2 Properties of Test Adequacy Criteria 443 13.8.3 Experimental Results 446 13.9 Test Stages 448 13.10 Estimating Software Reliability 450 13.11 Summary 457 13.12 Further Reading 458 Exercises 459 14 Software Maintenance 465 14.1 Maintenance Categories Revisited 468 14.2 Major Causes of Maintenance Problems 471 14.3 Reverse Engineering and Refactoring 475 14.3.1 Refactoring 478 14.3.2 Inherent Limitations 480 14.3.3 Tools 484 14.4 Software Evolution Revisited 486 14.5 Organizational and Managerial Issues 488 14.5.1 Organization of Maintenance Activities 488 14.5.2 Software Maintenance from a Service Perspective 492 14.5.3 Control o fMaintenance Tasks 497 14.5.4 Quality Issues 500 14.6 Summary 501 14.7 Further Reading 502 Exercises 504 15 Software Tools 507 15.1 Toolkits 511 15.2 Language-Centered Environments 513 15.3 Integrated Environments and WorkBenches 514 15.3.1 Analyst WorkBenches 515 15.3.2 Programmer WorkBenches 516 15.3.3 Management WorkBenches 520 15.3.4 Integrated Project Support Environments 520 15.4 Process-Centered Environments 521 15.5 Summary 522 15.6 Further Reading 524 Exercises 525 Part III Advanced Topics 527 16 User Interface Design 529 16.1 Where Is the User Interface? 532 16.2 What Is the User Interface? 536 16.3 Human Factors in Human–Computer Interaction 537 16.3.1 Humanities 537 16.3.2 Artistic Design 538 16.3.3 Ergonomics 539 16.4 The Role of Models in Human–Computer Interaction 540 16.4.1 A Model of Human Information Processing 542 16.4.2 Mental Models of Information Systems 544 16.4.3 Conceptual Models in User Interface Design 547 16.5 The Design of Interactive Systems 549 16.5.1 Design as an Activity Structure 550 16.5.2 Design as Multi-Disciplinary Collaboration 552 16.6 Task Analysis 553 16.6.1 Task Analysis in HCI Design 554 16.6.2 Analysis Approaches for Collaborative Work 556 16.6.3 Sources of Knowledge and Collection Methods 557 16.6.4 An Integrated Approach to Task Analysis: GTA 558 16.7 Specification of the User Interface Details 559 16.7.1 Dialog 560 16.7.2 Representation 561 16.8 Evaluation 562 16.8.1 Evaluation of Analysis Decisions 562 16.8.2 Evaluation of UVM Specifications 563 16.8.3 Evaluation of Prototypes 566 16.9 Summary 567 16.10 Further Reading 568 Exercises 569 17 Software Reusability 571 17.1 Reuse Dimensions 574 17.2 Reuse of Intermediate Products 576 17.2.1 Libraries of Software Components 576 17.2.2 Templates 580 17.2.3 Reuse of Architecture 581 17.2.4 Application Generators and Fourth-Generation Languages 581 17.3 Reuse and the Software Life Cycle 582 17.4 Reuse Tools and Techniques 585 17.4.1 From Module Interconnection Language to Architecture Description Language 586 17.4.2 Middleware 588 17.5 Perspectives of Software Reuse 591 17.6 Non-Technical Aspects of Software Reuse 594 17.6.1 Economics 596 17.6.2 Management 597 17.6.3 Psychology of Programmers 598 17.7 Summary 599 17.8 Further Reading 601 Exercises 601 18 Component-Based Software Engineering 605 18.1 Why Component-Based Software Engineering? 607 18.2 Component Models and Components 608 18.2.1 Component Forms in Component Models 610 18.2.2 Architecture and Component Models 614 18.3 Component-Based Development Process and Component Life Cycle 619 18.3.1 Component-Based System Development Process 620 18.3.2 Component Assessment 622 18.3.3 Component Development Process 623 18.4 Architectural Approaches in Component-Based Development 625 18.4.1 Architecture-Driven Component Development 626 18.4.2 Product-Line Development 626 18.4.3 COTS-Based Development 627 18.4.4 Selecting an Approach 627 18.5 Summary 628 18.6 Further Reading 628 Exercises 629 19 Service Orientation 631 19.1 Services, Service Descriptions, and Service Communication 634 19.2 Service-Oriented Architecture (SOA) 639 19.3 Web Services 641 19.3.1 Extensible Markup Language (XML) 643 19.3.2 Simple Object Access Protocol (SOAP) 644 19.3.3 Web Services Description Language (WSDL) 644 19.3.4 Universal Description, Discovery, and Integration (UDDI) 646 19.3.5 Business Process Execution Language for Web Services (BPEL4WS) 647 19.4 Service-Oriented Software Engineering 650 19.5 Summary 652 19.6 Further Reading 652 Exercises 653 20 Global Software Development 655 20.1 Challenges of Global System Development 657 20.2 How to Overcome Distance 664 20.2.1 Common Ground 664 20.2.2 Coupling of Work 666 20.2.3 Collaboration Readiness 666 20.2.4 Technology Readiness 666 20.2.5 Organizing Work in Global Software Development 668 20.3 Summary 670 20.4 Further Reading 670 Exercises 671 Bibliography 673 Index 705

Read more less

Book SynopsisTensorFlow is a one-stop solution for building, monitoring, optimizing,and deploying your models. This practical guide to building deep learning models with the new features of TensorFlow 2.0is filled with engaging projects, simple language, and coverage of the latest algorithms. TensorFlow 2.0 in Action teaches you to use the new features of TensorFlow 2.0 to create advanced deep learning models. You'll learn by building hands-on projects including an image classifier that can recognize objects, a French-to-English machine translator, and even a neural network that can write fiction. You'll dive into the details of modern deep learning techniques including both transformer and attention models, and learn how pretrained models can solve your tricky data science- problems. TensorFlow is the go-to framework for putting deep learning into production. Created by Google, this ground breaking tool handles repetitive low-level operations and frees you up to focus on innovating your AIs.TensorFlow encompasses almost every element of a deep learning pipeline—aone-stop solution for building, monitoring, optimizing, and deploying your models.Trade Review“Excellent explanations and walk throughs to help bring you up to speed in Tensorflow 2.” Todd Cook “The illustrations of technical concepts are excellent.” BrianGriner “A hands-on introduction to effective Tensorflow use for real worlds problems.” Francisco Rivas “Mr Ganegedara goes to great lengths, with the exemplary use of many figures, to explain not only TensorFlow 2 solutions themselves but also the mechanics of the technology. Highly recommended!” TonyHoldroyd “An excellent resource to learning Tensorflow 2.0 using practical examples.” Biswanath Chowdhury “The conversation on writing custom layer was probably the best discussion on that I've ever seen. I learned a lot from that chapter.” LeviMcClenny “In you want to gain a deep knowledge of deep learning, read this book.”Tiklu Ganguly

Read more less