Software Engineering Books

Book SynopsisThis book is one of its own kind. It is not an encyclopedia or a hands-on tutorial that traps readers in the tutorial hell. It is a distillation of just one common Python user's learning experience. The experience is packaged with exceptional teaching techniques, careful dependence unraveling and, most importantly, passion.Learning Advanced Python by Studying Open Source Projects helps readers overcome the difficulty in their day-to-day tasks and seek insights from solutions in famous open source projects. Different from a technical manual, this book mixes the technical knowledge, real-world applications and more theoretical content, providing readers with a practical and engaging approach to learning Python.Throughout this book, readers will learn how to write Python code that is efficient, readable and maintainable, covering key topics such as data structures, algorithms, object-oriented programming and more. The author's passion for Python shines through in tTable of ContentsIntroductionChapter 1 ◾ The Data Model of PythonChapter 2 ◾ Selected Topics of Python ClassesChapter 3 ◾ Concurrency in PythonChapter 4 ◾ Asynchronous Programming in PythonChapter 5 ◾ Power Up Your Python FunctionsChapter 6 ◾ Selected OOP Design Best PracticesChapter 7 ◾ Testing in a Pistachio Shell

Read more less

Book SynopsisDigital Image Processing with C++: Implementing Reference Algorithms with the CImg Library presents the theory of digital image processing and implementations of algorithms using a dedicated library. Processing a digital image means transforming its content (denoising, stylizing, etc.), or extracting information to solve a given problem (object recognition, measurement, motion estimation, etc.). This book presents the mathematical theories underlying digital image processing, as well as their practical implementation through examples of algorithms implemented in the C++ language using the free and easy-to-use CImg library.Chapters cover the field of digital image processing in a broad way and propose practical and functional implementations of each method theoretically described. The main topics covered include filtering in spatial and frequency domains, mathematical morphology, feature extraction and applications to segmentation, motion estimation, multispecTable of ContentsI INTRODUCTION TO Clmg1. Introduction. 2. Getting Started With the CImg Library. 2.1 Objective: subdivide an image into blocks. 2.2 Setup and first program. 2.3 Computing the variations. 2.4 Computing the block decomposition. 2.5 Rendering of the decomposition. 2.6 Interactive visualization. 2.7 Final source code II IMAGE PROCESSING USING CImg3. Point Processing Transformations. 3.1 Image operations. 3.2 Histogram operations. 4. Mathematical Morphology. 4.1 Binary images. 4.2 Gray-level images. 4.3 Some applications. 5. Filtering. 5.1 Spatial filtering. 5.2 Recursive filtering. 5.3 Frequency filtering. 5.4 Diffusion filtering. 6. Feature Extraction. 6.1 Points of interest. 6.2 Hough transform. 6.3 Texture features. 7. Segmentation. 7.1 Edge-based approaches. 7.2 Region-based approaches. 8. Motion Estimation. 8.1 Optical flow: dense motion estimation. 8.2 Sparse estimation. 9. Multispectral Approaches. 9.1 Dimension reduction. 9.2 Color imaging. 10. 3D Visualisation. 10.1 Structuring of 3D mesh objects. 10.2 3D plot of a function z = f (x;y). 10.3 Creating complex 3D objects. 10.4 Visualization of a cardiac segmentation in MRI. 11. And So Many Other Things. 11.1 Compression by transform (JPEG). 11.2 Tomographic reconstruction. 11.3 Stereovision. 11.4 Interactive deformation using RBF. List of CImg Codes.References.Index.

Read more less

Book SynopsisThe book comprehensively covers a wide range of evolutionary computer vision methods and applications, feature selection and extraction for training and classification, and metaheuristic algorithms in image processing. It further discusses optimized image segmentation, its analysis, pattern recognition, and object detection.Features: Discusses machine learning-based analytics such as GAN networks, autoencoders, computational imaging, and quantum computing Covers deep learning algorithms in computer vision Showcases novel solutions such as multi-resolution analysis in imaging processing, and metaheuristic algorithms for tackling challenges associated with image processing Highlight optimization problems such as image segmentation and minimized feature design vector Presents platform and simulation tools for image processing and segmentation The book aims to get the readers familiar with the fundamentals ofTable of ContentsChapter 1 A Review Approach on Deep Learning Algorithms in Computer VisionChapter 2 Object Extraction from Real Time Color Images Using Edge Based ApproachChapter 3 Deep Learning Techniques for Image Captioning Chapter 4 Deep Learning Based Object Detection for Computer Vision Tasks: A Survey of Methods & Applications Chapter 5 Deep Learning Algorithms for Computer Vision: A Deep Insight into Principles and Applications Chapter 6Handwritten Equation Solver Using Convolutional Neural Network Chapter 7Agriware: Crop Suggester System by Estimating the Soil Nutrient Indicators Chapter 8A Machine Learning Based Expeditious Covid-19 Prediction Model Through Clinical Blood Investigations Chapter 9Comparison of Image Based and Audio Based Techniques for Bird-Species Identification Chapter 10Detection of Ichthyosis Vulgaris Using SVM Chapter 11Chest X-Ray Diagnosis and Report Generation: Deep Learning Approach Chapter 12Deep Learning Based Automatic Image Caption Generation for Visually Impaired People Chapter 13Empirical Analysis of Machine Learning Techniques Under Class Imbalance and Incomplete DatasetsChapter 14 Gabor Filter As Feature Extractor in Anomaly Detection from Radiology Images Chapter 15Discriminative Features Selection from Zernike Moments for Shape Based Image Retrieval SystemChapter 16Corrected Components of Zernike Moments for Improved Content Based Image Retrieval: A Comprehensive StudyChapter 17Translate And Recreate Text in An Image Chapter 18Multi-Label Indian Scene Text Language Identification: Benchmark Dataset and Deep Ensemble BaselineChapter 19AI Based Wearables for Healthcare Applications: A Survey of Smart Watches Chapter 20Nature Inspired Computing for Optimization Chapter 21Automated Smart Billing Cart for Fruits

Read more less

Book SynopsisThis book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems.The quality and reliability of embedded systems have become a great concern, faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and expound on the testing theory and techniques of embedded software systems and relevant environment construction technologies, providing effective solutions for the automated testing of embedded systems. Through analyzing typical testing examples of the complex embedded software systems, the authors verify the effectiveness of the theories, technologies and methods proposed in the book.In combining the fundamental theory and technology and practical solutions, this book will appeal to researchers and students studying computer science, software engineering, and embedded systems, aTable of Contents1. Introduction 2. Embedded System and Software 3. Embedded Software Engineering and Quality Characteristics 4. Embedded Software System Testing Techniques Based on Formal Methods 5. Real-time Embedded Software Automation Test Description Technology 6. Testing Technology of Intelligent Terminal Application Software System 7. Real-time Embedded Software System Testing Environment Construction Technology 8. Case Study of Real-time Embedded Software System Testing

Read more less

Book SynopsisThis textbook provides an excellent focus on the advanced topics of the power system protection philosophy and gives exciting analysis methods and a cover of the important applications in the power systems relaying. Each chapter opens with a historical profile or career talk, followed by an introduction that states the chapter objectives and links the chapter to the previous ones, and then the introduction for each chapter. All principles are presented in a lucid, logical, step-by-step approach. As much as possible, the authors avoid wordiness and detail overload that could hide concepts and impede understanding. In each chapter, the authors present some of the solved examples and applications using a computer program.Toward the end of each chapter, the authors discuss some application aspects of the concepts covered in the chapter using a computer program.In recognition of requirements by the Accreditation Board for Engineering and Technology (ABET) on integrating comTable of Contents1. Introduction to Power Protection Systems. 2. Protective Relays. 3. Protection Systems with SCADA Technology 4. Faults Analysis. 5. Fuses and Circuit Breakers. 6. Overcurrent Relay. 7. Transmission Line Protection. 8. Transformer Protection. 9. Generator, Motor, and Busbar Protection. 10. High-Impedance Faults. 11. Grounding of Power System.

Read more less

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

Read more less

Book SynopsisPython Experiments in Physics and Astronomy acts as a resource for science and engineering students or faculty who would like to see how a diverse selection of topics can be analyzed and simulated using Python programs.

Read more less

Book SynopsisCategory theory reveals commonalities between structures of all sorts. This self-contained tour of applied category theory shows its potential in science, engineering, and beyond. Each chapter discusses a real-world application using category-theoretic tools, all of which are introduced in an accessible way with many examples and exercises.Trade Review'Category theory was always applied, but traditionally within pure mathematics. Now it is being used to clarify and synthesize a broad range of topics outside mathematics: from computer science to linguistics, from quantum theory to chemistry, and beyond. Charmingly informal yet crystal clear, Fong and Spivak's book does a wonderful job of demonstrating the power of category theory to beginners – even beginners without much background in pure mathematics.' John Baez, University of California, Riverside'The authors quite rightly describe category theory as a tool for thinking. So if your work requires thinking, this book is for you.' Bartosz Milewski, author of Category Theory for Programmers'This book provides a fantastic introduction to how category is not just abstract nonsense but can be applied to real-world engineering problems, pedagogical while still broad, and fun. A must read for all those entering the exciting emerging field of applied category theory by two key players of this community.' Bob Coecke, University of Oxford'An invitation to Applied Category Theory: Seven Sketches in Compositionality provides a grand tour of the fascinating emergent field of applied category theory that centers examples and use cases before gently introducing the accompanying abstract notions. Fong and Spivak should be congratulated for providing this accessible broad viewpoint to illustrate what category theory is all about vis-à-vis the real world.' Emily Riehl, The Johns Hopkins University'An Invitation to Applied Category Theory is clearly and entertainingly written, and provides a great entry into the world of applied category theory. It is chock full of concrete examples and illustrated with clear diagrams … Fong and Spivak will whet your appetite for learning about categories and how they - and the categorical way of thinking - can be applied in and beyond mathematics. And they will give you the means to do that in a self-contained text.' David Jaz Myers, MAA Reviews'Fong and Spivak's book is highly recommendable for anyone with even a passing interest in category theory in general. And it is mandatory reading for scholars aiming to apply category theory to real world problems.' Fernando A. Tohme, MathSciNet'The presentation is highly visual, employing graphs (nodes and edges), directed graphs, and hypergraphs. In addition, exercises intersperse each presentation, and the solutions to many of the exercises are included. Finally, the chapters include concluding summaries, with suggestions for further study. The book contains scores of references. In short, an excellent self-study resource for those interested in learning about applications of category theory to real-world problems.' J. T. Saccoman, Choice'… highly recommended.' Berthold Stoge, IUCr Journals CRYSTALLOGRAPHY JOURNALS ONLINETable of ContentsPreface; 1. Generative effects: orders and Galois connections; 2. Resource theories: monoidal preorders and enrichment; 3. Databases: categories, functors, and universal constructions; 4. Collaborative design: profunctors, categorification, and monoidal categories; 5. Signal flow graphs: props, presentations, and proofs; 6. Electric circuits: hypergraph categories and operads; 7. Logic of behavior: sheaves, toposes, and internal languages; Appendix. Exercise solutions; References; Index.

Read more less

Book SynopsisTable of ContentsIntroduction. Framing the Cloud Service Customer’s Problem: Cloud Computing Fundamentals. Desired Cloud Service Customer Benefits. Risk and Risk Management. Cloud Service Qualities. Analyzing the Cloud Service Customer’s Problem: The Application Service Lifecycle. Lean Application Capacity Management. Testing Cloud-Based Application Services. Service Design, Transition and Operations Processes. Continual Service Improvement. Improving Operational Efficiency of Cloud-Based Applications. Service Strategy. Cloud Service Quality Risk Inventory: Factoring Cloud Service Quality Risks. VNF Product Risks Virtual Machine Risks. Virtual Networking Risks. Virtual Storage Risks. Virtualized Application Latency Risks. Service Integration Risks. Visibility Risks. Service Policy Risks. Accountability Risks. Human and Organizational Risks. Lifecycle Management (Execution) Risks. Functional-Component-as-a-Service Quality Risks. Cloud Service Provider Catastrophe Risks. Unknown-Unknown Risks. Cloud Service Quality Risk Assessment and Management: Establish the Context. Establish Service Quality Objectives. Risk Assessment Process. Risk Assessment Techniques. Service Quality Risk Management Process.

Read more less

Book SynopsisSo you think you know CSS? Take your CSS skills to the next level and learn to write organized and optimized CSS that will improve the maintainability, performance, and appearance of your work.You''ll learn how document flow and CSS positioning schemes will help you make your documents more accessible. You''ll discover the great styling possibilities of CSS paired with semantic structures like Microformats and RDFa, while enriching the self-describing semantics of XHTML content. Learn how to group logically related declarations, minify style sheets, and prevent performance bottle necks such as reflows and repaints. With support for CSS enjoying unprecedented ubiquity, you can finally use such features as generated content, complex selector chains, and CSS3''s visual properties, like box-shadow, in your projects.Table of Contents Markup Underpins CSS CSS Fundamentals for Advanced Use CSS-Generated Content Optimizing for Print Developing for Small Screens and the Mobile Web Managing and Organizing Style Sheets Semantic Patterns for Styling Common Design Components Using a Style Sheet Library Styling XML with CSS Optimizing CSS for Performance Exploring the Emergence of CSS3 The Future of CSS and the Web

Read more less

Book SynopsisPro PHP Application Performance will help you understand all the technologies and components which play a role in how well your applications run. When seconds can mean the difference between retaining a user and losing a user, it''s important for all of us to have optimization as part of our project roadmap. But what components within your application should you analyze? How should you optimize? And how can you measure how well your application is performing? These are some of the questions thatare answered in this book. Along the way you will also learn the why of optimizing. You'll discover why you should optimize a specific component, why selecting one function over another is beneficial, and how to find and use the optimization tools available to the open source community. You'll also learn how to deploy caching software as well as web server software.Pro PHP Application Performance willalso teach you more advanced techniques, such as: Using XdebuTable of Contents Benchmarking Techniques Improving Client Download and Rendering Performance PHP Code Optimization Opcode Caching Variable Caching Choosing the Right Web Server Web Server and Delivery Optimization Database Optimization Installing Apache, MySQL, PHP, and PECL on Windows Installing Apache, MySQL, PHP, and PECL on Linux

Read more less

Book Synopsis CSS Basics CSS Selectors Font, Text and Color CSS Typography Tables and Lists CSS Box Model CSS Positioning and Layouts Multidevice Development Transitions and Transformations Multimedia and Accessibility UX Patterns Mobile UX Patterns Table of Contents CSS Basics CSS Selectors Font, Text and Color CSS Typography Tables and Lists CSS Box Model CSS Positioning and Layouts Multidevice Development Transitions and Transformations Multimedia and Accessibility UX Patterns Mobile UX Patterns

Read more less

Book SynopsisDevOps for Developers delivers a practical, thorough introduction to approaches, processes and tools to foster collaboration between software development and operations. Efforts of Agile software development often end at the transition phase from development to operations. This book covers the delivery of software, this means the last mile, with lean practices for shipping the software to production and making it available to the end users, together with the integration of operations with earlier project phases (elaboration, construction, transition). DevOps for Developers describes how to streamline the software delivery process and improve the cycle time (that is the time from inception to delivery). It will enable you to deliver software faster, in better quality and more aligned with individual requirements and basic conditions. And above all, work that is aligned with the DevOps approach makes even more fun! ProvidesTable of Contents Beginning DevOps for Developers Introducing DevOps Building Blocks of DevOps Quality and Testing Introduce Shared Incentives Gain Fast Feedback Unified and Holistic Approach Automatic Releasing Infrastructure as Code Specification by Example

Read more less

Book SynopsisDrupal 8 for Absolute Beginners is your definitive guide to starting from scratch with Drupal even if you have little web knowledge. This book teaches you the basics of HTML, CSS, JavaScript, and PHP in relation to Drupal, so that you can begin to use this popular CMS with all of its features.You will first learn how to set up and customize a basic blog using Drupal, one of the most powerful and popular content management systems available today. From there you will learn the basics of HTML, CSS, JavaScript and PHP, and apply this knowledge to create your own custom Drupal module. You will learn how to build, style, and add functionality to your own Drupal module from scratch. You will then use Drush to apply a theme to Drupal, customizing everything to your liking, before publishing your work to the world. The book also covers some more advanced topics that beginners often ask about, such as getting set up with Git and using source control, using MySQL to interact with a dTable of Contents1. Setting Up Your Development Environment and Installing Drupal2. Site Building: Building Drupal Sites Without Programming3. Getting Started with HTML4. Creating a Basic Drupal Module with HTML Output5. A CSS Primer for Drupal6. Adding CSS to Your Drupal Module7. A JavaScript Primer for Drupal8. Adding JavaScript to Your Drupal Module9. A PHP Primer for Drupal10. Adding PHP-Generated Output to Your Drupal Module11. Creating a Drupal Block Programmatically and Basic MySQL Usage12. Theming Your Site Part 1: Theme Functions and a Twig Primer13. Theming Your Site Part 2: Creating a Custom Theme and Overriding Functions14. Commonly Needed Custom Code, node_save, Forms15. Using Git to Manage Your Source Code16. An Advanced MySQL Primer17. A Linux Primer for Drupal18. Publishing Your Site to a Production Linux Box19. Appendix: Other Ways to Install Drupal

Read more less

Book SynopsisBeginning Drupal 8 teaches you how to build, maintain, and manage Drupal 8-based web sites. The book covers what Drupal is, using Drupal when building a new web site, installing and configuring Drupal, creating and managing content, managing users, adding functionality to your web site through Drupal modules, and advanced topics on using themes, panels, and views. The book also builds practical examples of common Drupal sites, such as a company website, a community website, and a commerce website, that you can take and expand on to create your own Drupal 8 sites. By reading this book, you will understand the power of the Drupal platform, and why you should be using Drupal if you''re not already. Through following the samples in the book, you will quickly build your confidence and your ability to use Drupal. Beginning Drupal 8 gives you the knowledge necessary to build, deploy, and manage web sites on Drupal 8. Table of Contents Introduction to Drupal Creating and Managing Content Creating and Managing Users Creating and Using Taxonomy Creating Content Types Creating and Using Views Creating and Using Page Payouts Creating and Using Menus Creating and Using Blocks Theming Your Site Making Your Site Responsive Extending Your Site Through Contributed Modules The Anatomy of a Module Using Multilingual Administering Your Drupal Site Using Drush Using Git Putting It All Together Building a Blog Site Building a Company Website Building a Community Website Building a Commerce Website App A: Modules App B: Learn More

Read more less

Book SynopsisYou have a Pi 2, but what exactly can you do with it? This book takes you on a tour of the Pi 2 hardware and all of the fantastic things that you can do to create innovative and useful projects with your Pi. Start with creating a workstation that does actual work, and move into installing a custom kernel, creating a clock, learning the ins and outs of the GPIO interface, and pick up some useful C++ skills along the way.Warren Gay, author of Mastering the Raspberry Pi, takes you through a set of experiments to show just what the Pi 2 is capable of and how you can use it to make your own fantastic creations.What You Will Learn: How to create an experimenter''s workstation for the Pi 2, complete with breadboard and even Arduino All the details of GPIO, including a custom command for working with it Useful projects like a general purpose clock and the PiSpy Quick intro to C++ for the Table of ContentsChapter 1: Introduction to Pi 2.- Chapter 2: Workstation.- Chapter 3: The Matrix.- Chapter 4: Installing a Kernel.- Chapter 5: GPIO gp Command.- Chapter 6: General Purpose Clock.- Chapter 7: Pulse Width Modulation.- Chapter 8: Physics of the GPIO Interface.- Chapter 9: PiSpy.- Chapter 10: Debouncing.- Chapter 11: Fast Track to C++.- Chapter 12: Multi-core Webserver.- Appendix A: GPIO Class, Part I.- Appendix B: GPIO Class, Part II.- Appendix C: GPIO Class, Part III.- Appendix D: MAX7219 Class.- Appendix E: Matrix Class.- Appendix F: MTop and Diskstat.- Appendix G: The Rest.

Read more less

Book SynopsisUse the enormously popular React framework to build dynamic JavaScript applications that take advantage of the capabilities of modern browsers and devices. You will learn how React brings the power of strong architecture and responsive data to the client, providing the foundation for complex and rich user interfaces.Best-selling author Adam Freeman explains how to get the most from React. He begins by describing the React architecture and the benefits it offers and then shows you how to use React and its associated tools and libraries in your projects, starting from the nuts and bolts and building up to the most advanced and sophisticated features, going in-depth to give you the knowledge you need.Each topic is presented clearly and concisely. Chapters include common problems and how to avoid them.What You''ll Learn Gain a solid understanding of the React design Create rich and dynamic web app clients using ReactTable of ContentsPart 1 - Getting Started with React 1 - Your First React Application 2 - Understanding React 3 - HTML and JSX Primer 4 - JavaScript Primer 5 - SportsStore: A Real Application 6 - SportsStore: REST and Checkout 7 - SportsStore: Administration 8 - SportsStore: Authentication and Deployment Part 2 - Working with React 9 - Understanding React Projects 10 - Stateless Components 11 - Stateful Components 12 - Events 13 - Reconciliation and Lifecycle 14 - Composing Applications 15 - Forms and Validations 16 - Using Refs 17 - Unit Testing Part 3 - Creating Complete React Applications 18 - Creating Complete Applications 19 - Using a Data Store 20 - Using the Data Store APIs 21 - Using URL Routing 22 - Advanced URL Routing 23 - Using RESTful Web Services 24 - Understanding GraphQL 25 - Consuming GraphQL

Read more less

Book SynopsisThis in-depth Spring-based Java developer code reference has been updated and now solves many of your Spring Framework 6 problems using reusable, complete and real-world working code examples. Spring 6 Recipes (5th Edition) now includes Spring Native which speeds up your Java-based Spring Framework built enterprise, native cloud, web applications and microservices. It also has been updated to now include Spring R2DBC for Reactive Relational Database Connectivity, a specification to integrate SQL databases, like PostgreSQL, MySQL and more, using reactive drivers.Furthermore, this book includes additional coverage of WebFlux for more reactive Spring web applications.  Reactive programming allows you to build systems that are resilient to high load, especially common in the more complex enterprise, native cloud applications that Spring Framework lets you build. This updated edition also uses code snippets and examples based on neTable of Contents1. Spring Development Tools2. Spring Core Tasks3. Spring Native: Spring + GraalVM4. Spring MVC5. Spring REST6. Spring MVC - Async Processing7. Spring WebFlux8. Spring Security9. Data Access10. Spring R2DBC11. Spring Transaction Management12. Spring Batch13. Spring with NoSQL14. Spring Java Enterprise Services and Remoting Technologies15. Spring Messaging16. Spring Integration17. Spring TestingA. Spring Deployment to the CloudB. Caching.

Read more less

Book SynopsisCreating an inclusive environment where different software developers can feel welcome and leverage their talents is an ethical imperative no company can ignore. Indeed, software organizations have in the last decade been trying to make changes for a more diverse and inclusive software development environment. The push for increased diversity in software has been a public one, from annual diversity reports by some of the worlds' most visible companies such as Microsoft, Google, and Facebook, to large projects such as Linux Foundation's Software Developer Diversity and Inclusion project that explores, evaluates, and promotes best practices from research and industry to increase diversity and inclusion in software engineering. Despite these many efforts, diversity remains low. Numbers from the software industry show that less than 25% of software engineers are women. Diversity is also low in regards to many other facets of diversity. This book provides an overview of research into th

Read more less

Book Synopsis* Covers three years of the best essays. * Essays range from technical to humorous, but are always tangible. * Beautifully written and extremely timely. * Google lists 183,000 links for "Joel on Software". * Spolsky is one of the most popular programmers around today, with legions of followers. Table of Contents Choosing a Language Back to Basics The Joel Test: 12 Steps to Better Code The Absolute Minimum Every Software Developer Absolutely, Positively Must Know About Unicode and Character Sets (No Excuses!) Painless Functional Specifications Part 1: Why Bother? Painless Functional Specifications Part 2: What's a Spec? Painless Functional Specifications Part 3: But . . . How? Painless Functional Specifications Part 4: Tips Painless Software Schedules Daily Builds Are Your Friend Hard-Assed Bug Fixin' Five Worlds Paper Prototyping Don't Let Architecture Astronauts Scare You Fire and Motion Craftsmanship Three Wrong Ideas from Computer Science Biculturalism Get Crash Reports From Users—Automatically! The Guerilla Guide to Interviewing Incentive Pay Considered Harmful Top Five (Wrong) Reasons You Don't Have Testers Human Task Switches Considered Harmful Things You Should Never Do, Part One The Iceberg Secret, Revealed The Law of Leaky Abstractions Lord Palmerston on Programming Measurement Rick Chapman Is In Search of Stupidity What Is the Work of Dogs in This Country? Getting Things Done When You're Only a Grunt Two Stories Big Macs vs. The Naked Chef Nothing Is As Simple As It Seems In Defense of Not-Invented-Here Syndrome Strategy Letter I: Ben & Jerry's vs. Amazon Strategy Letter II: Chicken-and-Egg Problems Strategy Letter III: Let Me Go Back! Strategy Letter IV: Bloatware and the 80/20 Myth Strategy Letter V: The Economics of Open Source A Week of Murphy's Law Gone Wild How Microsoft Lost the API War Microsoft Goes Bonkers Our .NET Strategy Please Sir May I Have a Linker?

Read more less

Book SynopsisIn Create and Export Tables Using Stata, Michael Mitchell teaches you how to expertly craft custom, publication-quality tables of summary statistics, regression results, and more. Mitchell examined hundreds of published journal articles from many disciplines, searching for commonly used table layouts. This book breaks down how to create the most popularly used tables by guiding you through examples using Stataâs table, dtable, and etable commands, as well as the collect suite of commands.This book begins with 24 sample tables, including 6 examples of a Table 1, 8 examples of regression models, 4 examples with Student's t tests, and an example of reporting results from a pretestâposttest design. Each sample table is illustrated step by step, showing you how to create it, customize it, and export it as a Word document. You'll also learn how you can export your table as a PDF or an Excel spreadsheet.After the quick examples, the book takes a more thorough look at the process of creating a Table 1âa table of descriptive statistics that optionally includes a comparison across groups. This discussion also includes extensive instruction on how to create different types of composite results to include in your table; composite results combine multiple statistics into one cell, such as the mean (SE) or median (IQR).Next Mitchell focuses on creating tables from regression models, such as multiple regression, multivariate regression, logistic, and multinomial logistic models, and illustrates how to make tables that combine results from several models.The book ends with a look under the hood, describing what a collection looks like and the steps used by the collect suite of commands for creating a table and filling it in based on the contents of the collection. This information can help you more deeply understand the process of creating tables and help you make more complex tables using Stata.Create and Export Tables Using Stata is integral to anyone reporting data characteristics or analysis. You will learn how to create tables with the layout, formatting, and style you need. Optimize your workflow by using your styles to automate the creation of any future tables. You will take this book off your shelf over and over again as it quickly becomes your go-to reference for creating tables in Stata.

Read more less

Book SynopsisAI models can become so complex that even experts have difficulty understanding them—and forget about explaining the nuances of a cluster of novel algorithms to a business stakeholder! InterpretableAI is filled with cutting-edge techniques that will improve your understanding of how your AI models function. InterpretableAI is a hands-on guide to interpretability techniques that open up the black box of AI. This practical guide simplifies cutting edge research into transparent and explainable AI, delivering practical methods you can easily implement with Python and opensource libraries. With examples from all major machine learning approaches, this book demonstrates why some approaches to AI are so opaque, teaches you toidentify the patterns your model has learned, and presents best practices for building fair and unbiased models. How deep learning models produce their results is often a complete mystery, even to their creators. These AI"black boxes" can hide unknown issues—including data leakage, the replication of human bias, and difficulties complying with legal requirements such as the EU's "right to explanation." State-of-the-art interpretability techniques have been developed to understand even the most complex deep learning models, allowing humans to follow an AI's methods and to better detect when it has made a mistake.Trade Review“I think this is a valuable book both for beginners as well for more experienced users.”Kim Falk Jørgensen “This book provides a great insight into the interpretability step of developing a structured learning robust AI systems.” IzharHaq “Really great introduction to interpretability of ML models as well asgreat examples of how you can do it to your own models.” JonathanWood “Techniques are consistently presented with excellent examples.” JamesJ. Byleckie “A fine book towards making ML models less opaque.” AlainCouniot “Read this to understand what the model actually says about the underlying data.” Shashank Polasa “Everybody working with ML models should be able to interpret (and check) results. This book will help you with that.” KaiGellien

Read more less

Book SynopsisYour customers want rock-solid, bug-free software that does exactly what they expect it to do. Yet they can't always articulate their ideas clearly enough for you to turn them into code. You need Cucumber: a testing, communication, and requirements tool-all rolled into one. All the code in this book is updated for Cucumber 2.4, Rails 5, and RSpec 3.5. Express your customers' wild ideas as a set of clear, executable specifications that everyone on the team can read. Feed those examples into Cucumber and let it guide your development. Build just the right code to keep your customers happy. You can use Cucumber to test almost any system or any platform. Get started by using the core features of Cucumber and working with Cucumber's Gherkin DSL to describe-in plain language-the behavior your customers want from the system. Then write Ruby code that interprets those plain-language specifications and checks them against your application. Next, consolidate the knowledge you've gained with a worked example, where you'll learn more advanced Cucumber techniques, test asynchronous systems, and test systems that use a database. Recipes highlight some of the most difficult and commonly seen situations the authors have helped teams solve. With these patterns and techniques, test Ajax-heavy web applications with Capybara and Selenium, REST web services, Ruby on Rails applications, command-line applications, legacy applications, and more. Written by the creator of Cucumber and the co-founders of Cucumber Ltd., this authoritative guide will give you and your team all the knowledge you need to start using Cucumber with confidence. What You Need: Windows, Mac OS X (with XCode) or Linux, Ruby 1.9.2 and upwards, Cucumber 2.4, Rails 5, and RSpec 3.5

Read more less

Book SynopsisWrite code that's clean, concise, and to the point: code that others will read with pleasure and reuse. Comparing your code to that of expert programmers is a great way to improve your coding skills. Get hands-on advice to level up your coding style through small and understandable examples that compare flawed code to an improved solution. Discover handy tips and tricks, as well as common bugs an experienced Java programmer needs to know. Make your way from a Java novice to a master craftsman. This book is a useful companion for anyone learning to write clean Java code. The authors introduce you to the fundamentals of becoming a software craftsman, by comparing pieces of problematic code with an improved version, to help you to develop a sense for clean code. This unique before-and-after approach teaches you to create clean Java code. Learn to keep your booleans in check, dodge formatting bugs, get rid of magic numbers, and use the right style of iteration. Write informative comments when needed, but avoid them when they are not. Improve the understandability of your code for others by following conventions and naming your objects accurately. Make your programs more robust with intelligent exception handling and learn to assert that everything works as expected using JUnit5 as your testing framework. Impress your peers with an elegant functional programming style and clear-cut object-oriented class design. Writing excellent code isn't just about implementing the functionality. It's about the small important details that make your code more readable, maintainable, flexible, robust, and faster. Java by Comparison teaches you to spot these details and trains you to become a better programmer. What You Need: You need a Java 8 compiler, a text editor, and a fresh mind. That's it.

Read more less

Book SynopsisElixir offers new paradigms, and challenges you to test in unconventional ways. Start with ExUnit: almost everything you need to write tests covering all levels of detail, from unit to integration, but only if you know how to use it to the fullest - we'll show you how. Explore testing Elixir-specific challenges such as OTP-based modules, asynchronous code, Ecto-based applications, and Phoenix applications. Explore new tools like Mox for mocks and StreamData for property-based testing. Armed with this knowledge, you can create test suites that add value to your production cycle and guard you from regressions. Write Elixir tests that you can be proud of. Dive into Elixir's test philosophy and gain mastery over the terminology and concepts that underlie good tests. Create and structure a comprehensive ExUnit test suite, starting from the basics, and build comprehensive test coverage that will provide safety for refactoring and confidence that your code performs as designed. Use tests to make your software more reliable and fault tolerant. Explore the basic tool set provided by ExUnit and Mix to write and organize your test suite. Test code built around different OTP functionality. Isolate your code through dependency injection and by using Mox. Write comprehensive tests for Ecto projects, covering Ecto as a database tool as well as a standalone data validation tool. Test Phoenix channels from end to end, including authentication and joining topics. Write Phoenix controller tests and understand the concepts of integration testing in Elixir. Learn property-based testing with StreamData from the author who wrote the library. Code with high confidence that you are getting the most out of your test suite, with the right tools that make testing your code a pleasure and a valuable part of your development cycle. What You Need: To get the most out of this book, you will need to have installed Elixir 1.8 or later and Erlang/OTP 21 or later. In order to complete the relevant chapters, you will also need Ecto 3.1 or later, EctoSQL 3.1 or later and Phoenix 1.3 or later.

Read more less

Book SynopsisThis new volume explores the computational intelligence techniques necessary to carry out different software engineering tasks. Software undergoes various stages before deployment, such as requirements elicitation, software designing, software project planning, software coding, and software testing and maintenance. Every stage is bundled with a number of tasks or activities to be performed. Due to the large and complex nature of software, these tasks can become costly and error prone. This volume aims to help meet these challenges by presenting new research and practical applications in intelligent techniques in the field of software engineering. Computational Intelligence Applications for Software Engineering Problems discusses techniques and presents case studies to solve engineering challenges using machine learning, deep learning, fuzzy-logic-based computation, statistical modeling, invasive weed meta-heuristic algorithms, artificial intelligence, the DevOps model, time series forecasting models, and more.Table of Contents1. A Statistical Experimentation Approach for Software Quality Management and Defect Evaluations 2. Open Challenges in Software Measurements Using Machine Learning Techniques 3. Empirical Software Engineering and Its Challenges 4. Uncertain Multiobjective COTS Product Selection Problems for Modular Software System and Their Solutions by Genetic Algorithm 5. Fuzzy Logic Based Computational Technique for Analyzing Software Bug Repository 6. Software Measurements from Machine Learning to Deep Learning 7. Time Series Forecasting Using ARIMA Models: Systematic Literature Review of 2000s 8. Industry Maintenance Optimization Using AI 9. Comparative Study of Invasive Weed Optimization Algorithms 10. An Overview of Computational Tools 11. Enhanced Intelligence Architecture 12. Systematic Literature Review of Search-Based Software Engineering Techniques for Code Modularization/Remodularization 13. Automation of Framework Using DevOps Model to Deliver DDE Software

Read more less

Book SynopsisSoftware development is becoming recognised more and more as an essential skill and profession in today's increasingly digital world. Familiarity with basic programming concepts is no longer sufficient to succeed as a software developer, today's developers require a wider field of expertise and a holistic, customer-focused approach. This book is a pragmatic guide to software development in practice. It explores the inner workings of software development in the context of the industry, covering good practice for software developers and providing you with tools and practical understanding you'll need to advance within the software development world.Trade ReviewA remarkable book that provides a unique perspective on modern software development. A distinctive and unusual feature is the way modern software development principles are explained holistically in terms of all project activities. The focus on key employment skills and knowledge also makes it a must read for aspiring developers. -- Chris Beaumont PhD FBCS FHEA * Chair of Examiners, NCC Education *I wish this book was around when I was starting out 30 years ago. It’s a manual for all aspects of software development and the scope of the role in business, rather than focusing on being a ‘coder’. I particularly like the fact it includes client aspects, which are usually forgotten! -- Andy Doyle * Director, Nice Group (SW) Ltd *As a leader of many software development teams, this book will be indispensable to modern developers and managers alike. It will not teach you how to write .NET, but will help when someone who does tries to bamboozle you with jargon. It is brilliantly written and easy to digest. -- Paul Leonard * Group Technology & Infrastructure Manager, DCC plc *A comprehensive, practical overview of what awaits you in the real world of professional software development. -- Karl Beecher * Author of Computational Thinking *Software Development in Practice takes the guesswork out of your journey into tech. From term definitions, Agile practices and clean code tips, this book is my go-to resource for anyone breaking into the tech industry. I especially appreciate the emphasis on communication, collaboration and user experience. -- Sjoukje Ijlstra * Software Engineer, JP Morgan *There are many books which describe various technical and theoretical aspects of software development. However, few describe what’s actually involved in day-to-day software development. This book is one of those few and should be of real interest to prospective and early-career software developers. -- Dr Patrick Hill * R&D Director, QPC Ltd *As a security researcher and advocate for embedding security in the software development process, it is enlightening to see this book dedicate some detailed coverage to consider use of defensive coding techniques, GDPR from a developers point of view and looking at specific vulnerabilities and associated mitigations taken direct from the OWASP Top10. -- Adrian Winckles * Director of Cyber and Networking, Anglia Ruskin University *A great book for both those thinking of working or progressing in the commercial software development industry. The book gives insight into working practices, identifying positives and negatives to each of them. Deliberately avoiding specific programming languages (other than to explain some points), the book will be a perfect addition for any dev team in any development environment. -- Martin Thorne * Technical Director, Montpellier Integrated *This book provides the framework to apply knowledge of how to code into the real world of being a software developer. It is the theory and thought processes that you can’t learn without doing the job first - until now! If you’re considering a career path in software development this book should be the first port of call on your journey. -- Kieran Purdie * Pro AV Channel Manager & Business Development / Technical Manager, NETGEAR Business, UK & Ireland *If you want a guide on what you need to do to become a fantastic software developer, then this book is for you. The book’s in-depth topic coverage will provide you with all the tools and information you will need to succeed in the software development Industry. -- Anthony Davis * Senior Manager Platform Engineering, Sixt *IT now permeates almost every area of business, in an environment where the pace is ever increasing it is essential for those aspiring to work as a software developer to gain knowledge, skills and experience in many areas. Software Development in Practice covers the areas to master to become a productive member of a software development team. -- Chris Galley FBCS CITPTable of Contents GETTING STARTED IN SOFTWARE DEVELOPMENT TARGET ROLES OVERVIEW OF DIFFERENT TASKS A COMMERCIAL DEVELOPER MIGHT ENCOUNTER IN THE ROLE OVERVIEW OF SOFTWARE DEVELOPMENT METHODOLOGIES OVERVIEW OF COMMERCIAL SOFTWARE LANGUAGES AND PARADIGMS ANALYSIS AND PLANNING WRITING GOOD-QUALITY CODE DEVELOPING EFFECTIVE USER INTERFACES LINKING PROGRAM CODE TO BACK-END DATA SOURCES TESTING CODE AND ANALYSING RESULTS WORKING WITH STRUCTURED TECHNIQUES TO PROBLEM-SOLVE AND DESIGN SOLUTIONS HOW TO DEBUG CODE AND UNDERSTAND UNDERLYING PROGRAM STRUCTURE WORKING WITH SYSTEMS ANALYSIS ARTEFACTS BUILDING, MANAGING AND DEPLOYING CODE INTO ENTERPRISE ENVIRONMENTS INDUSTRY APPROACHES TO TESTING CLIENT AND STAKEHOLDER FOCUS PROFESSIONAL RECOGNITION FINAL THOUGHTS

Read more less

Book SynopsisGet ready to kick some software project butt. Enter the world of the agile samurai, where the most dire of software project situations are dispatched with ease and grace. By learning the ways of the agile samurai you will discover: * how to create plans and schedules your customer and your team can believe in * what characteristics make a good agile team and how to form your own * how to gather requirements in a fraction of the time using agile user stories * what to do when you discover your schedule is wrong, and how to look like a pro correcting it * how to execute fiercely by leveraging the power of the agile software engineering practices By the end of this book you will know everything you need to set up, execute, and successfully deliver agile projects. If you're a project lead, this book gives you the tools to set up and lead your agile project from start to finish. If you are an analyst, programmer, tester, usability designer, or project manager, this book gives you the insight and foundation necessary to become a valuable agile team member. Packed with best practices, war stories, and hands-on tutorial exercises, The Agile Samurai slices away the fluff and theory that make other books un-agile. This book will make a difference.

Read more less

Book SynopsisThis book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS. Table of ContentsTOOLympics 2019: An Overview of Competitions in Formal Methods.- Confluence Competion 2019.- International Competition on Runtime Verification (CRV).- The Model Checking Contest (2019).- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models.- The Rewrite Engines Competitions: A RECtrospective.- RERS 2019: Combining Synthesis with Real-World Models.- SL-COMP: Competition of Solvers for Separation Logic.- Automatic Verification of C and Java Programs: SV-COMP 2019.- The Termination and Complexity Competition.- Competition on Software Testing (Test-Comp).- VerifyThis - Verification Competition with a Human Factor.- SV-COMP 2019.- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution).- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution).- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution).- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution).- JayHorn: A Java Model Checker (Competition Contribution).- Java Pathfinder at SV-COMP 2019.- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution).- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution).- Symbolic Pathfinder for SV-COMP.- VeriFuzz: Program Aware Fuzzing.- VIAP 1.1 (Competition Contribution).

Read more less

Book SynopsisThis open access book constitutes the proceedings of the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years The 15 full papers presented in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections named: agile adoption, agile practices; large-scale agile; agility beyond IT, and the future of agile. Trade Review Table of Contents

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 31st International Conference on Advanced Information Systems Engineering, CAiSE 2019, held in Rome, Italy, in June 2019. The 41 full papers presented in this volume were carefully reviewed and selected from 206 submissions. The book also contains one invited talk in full paper length. The papers were organized in topical sections named: information system engineering; requirements and modeling; data modeling and analysis; business process modeling and engineering; information system security; and learning and mining in information systems. Abstracts on the CAiSE 2019 tutorials can be found in the back matter of the volume. Table of ContentsInvited Talk.- Direct and reverse rewriting in data interoperability.- Information System Engineering.- Efficient Engineering Data Exchange in Multi-Disciplinary Systems Engineering Enterprises.- Bing-CF-IDF+: A Semantics-Driven News Recommender System.- Methodological Framework to Guide the Development of Continual Evolution Methods.- Inter-organizational integration in the AEC/FM industry: Exploring the "addressed" and "unaddressed" information exchange needs between stakeholders.- A Lightweight Framework for Multi-Device Integration and Multi-Sensor Fusion to Explore Driver Distraction.- Exhaustive Simulation and Test Generation Using fUML Activity Diagrams.- A Block-Free Distributed Ledger for P2P Energy Trading: Case with IOTA.- Profile Reconciliation through Dynamic Activities across Social Networks.- Requirements and Modeling.- Towards an Ontology-based Approach for Eliciting Possible Solutions to Non-Functional Requirements.- Using a Modelling Language to Describe the Quality of Life Goals of People Living with Dementia.- Multi-Platform Chatbot Modeling and Deployment with the Jarvis Framework.- Information Systems Modeling: Language, Verification, and Tool Support.- Expert2Vec: Experts Representation in Community Question Answering for Question Routing.- A Pattern Language for Value Modeling in ArchiMate.- Paving Ontological Foundation for Social Engineering Analysis.- Improving Traceability Links Recovery in Process Models through an Ontological Expansion of Requirements.- Requirements Engineering for Cyber Physical Production Systems.- Data modeling and Analysis.- A Fourth Normal Form for Uncertain Data.- Revealing the Conceptual Schemas of RDF Datasets.- Modeling and In-Database Management of Relational, Data-Aware Processes.- D2IA: Stream Analytics on User-Defined Event Intervals.- Business Process Modeling and Engineering.- Extracting Declarative Process Models from Natural Language.- From Process Models to Chatbots.- Dynamic Role Binding in Blockchain-Based Collaborative Business Processes.- 3D virtual world BPM training systems: process gateway experimental results.- Deriving and Combining Mixed Graphs from Regulatory Documents Based on Constraint Relations.- A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle.- Generation and Transformation of Compliant Process Collaboration Models to BPMN.- GameOfFlows: Process Instance Adaptation in Complex, Dynamic and Potentially Adversarial Domains.- Information System Security.- Security Vulnerability Information Service with Natural Language Query Support.- Automated Interpretation and Integration of Security Tools Using Semantic Knowledge.- An Assessment Model for Continuous Security Compliance in Large Scale Agile Environments.- Learning and Mining in Information Systems.- Proactive Process Adaptation using Deep Learning Ensembles.- Using Machine Learning Techniques for Evaluating the Similarity of Enterprise Architecture Models.- Efficient Discovery of Compact Maximal Behavioral Patterns from Event Logs.- Discovering Responsibilities with Dynamic Condition Response Graphs.- Fifty Shades of Green: How Informative is a Compliant Process Trace.- Solution Patterns for Machine Learning.- Managing and Simplifying Cognitive Business Operations using Process Architecture Models.- A Constraint Mining Approach to Support Monitoring Cyber-Physical Systems.- Behavior-Derived Variability Analysis: Mining Views for Comparison and Evaluation.

Read more less

Book SynopsisThis book brings together enterprise modeling and software specification, providing a conceptual background and methodological guidelines that concern the design of enterprise information systems. In this, two corresponding disciplines (enterprise engineering and software engineering) are considered in a complementary way. This is how the widely recognized gap between domain experts and software engineers could be effectively addressed. The content is, on the one hand, based on a conceptual invariance (embracing concepts whose essence transcends the barriers between social and technical disciplines) while on the other, the book is featuring a modeling duality, by bringing together social theories (that are underlying with regard to enterprise engineering) and computing paradigms (that are underlying as it concerns software engineering). In addition, the proposed approach as well as its guidelines and related notations further foster such enterprise-software modeling, by facilitating modeling generations and transformations. Considering unstructured business information in the beginning, the modeling process would progress through the methodological construction of enterprise models, to reach as far as a corresponding derivation of software specifications. Finally, the enterprise-software alignment is achieved in a component-based way, featuring a potential for re-using modeling constructs, such that the modeling effectiveness and efficiency are further stimulated. For the sake of grounding the presented studies, a case study and illustrative examples are considered. They are not only justifying the idea of bringing together (in a component-based way) enterprise modeling and software specification but they are also demonstrating various strengths and limitations of the proposed modeling approach.The book was mainly written for researchers and graduate students in enterprise information systems, and also for professionals whose work involves the specification and realization of such systems. In addition, researchers and practitioners entering these fields will benefit from the blended view on enterprise modeling and software specification, for the sake of an effective and efficient design of enterprise information systems.Table of Contents1 Introduction.- 2 Systems.- 3 System Environment and Context-Awareness.- 4 Social Theories.- 5 Computing Paradigms.- 6 The SDBC Approach.- 7 Case Study and Examples.

Read more less

Book SynopsisThis practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and offering guidance on applying the theory in an industrial environment.Topics and features: presents a brief history of software quality and its influential pioneers, as well as a discussion of the various software lifecycles used in software development; describes the fundamentals of testing in traditional software engineering, and the role that static testing plays in building quality into a product; explains the process of software test planning, test analysis and design, and test management; discusses test outsourcing, and test metrics and problem solving; reviews the tools available to support software testing activities, and the benefits of a software process improvement initiative; examines testing in the Agile world, and the verification of safety critical systems; considers the legal and ethical aspects of software testing, and the importance of software configuration management; provides key learning topics and review questions in every chapter, and supplies a helpful glossary at the end of the book.This easy-to-follow guide is an essential resource for undergraduate students of computer science seeking to learn about software testing, and how to build high quality and reliable software on time and on budget. The work will also be of interest to industrialists including software engineers, software testers, quality professionals and software managers, as well as the motivated general reader.Table of ContentsFundamentals of Software Quality Fundamentals of Software Engineering Fundamentals of Software Testing Static Testing Software Test Planning Test Case Analysis and Design Test Execution and Management Test Outsourcing Test Metrics and Problem Solving Software Testing Tools Test Process Improvement Testing in the Agile World Verification of Safety Critical Systems Legal, Ethical and Professional Aspects of Testing Configuration Management Epilogue

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019. In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections as follows: Services and Micro-services, Software Architecture in Development Process, Adaptation and Design Space Exploration, and Quality Attributes. In the Industrial Track, 6 submissions were received and 3 were accepted to form part of these proceedings. Table of ContentsServices and Micro-services.- Guiding Architectural Decision Making on Service Mesh Based Microservice Architectures.- Supporting Architectural Decision Making on Data Management in Microservice Architectures.- From a Monolith to a Microservices Architecture: An Approach Based on Transactional Contexts.- Software Architecture in Development Process.- An Exploratory Study of Naturalistic Decision Making in Complex Software Architecture Environments.- Evaluating the Effectiveness of Multi-level Greedy Modularity Clustering for Software Architecture Recovery.- What Quality Attributes Can we Find in Product Backlogs? A Machine Learning Perspective.- Architecturing Elastic Edge Storage Services for Data-Driven Decision Making.- Adaptation and Design Space Exploration.- Continuous Adaptation Management in Collective Intelligence Systems.- ADOOPLA – Product-Line- and Product-Level PLA Optimization.- Assessing Adaptability of Software Architectures for Cyber Physical Production Systems.- Quality Attributes.- Optimising Architectures for Performance, Cost, and Security.- QoS-based Formation of Software Architectures in the Internet of Things.- A Survey on Big Data Analytics Solutions Deployment.- Assessing the Quality Impact of Features in Component-based Software Architectures.- Components and Design Alternatives in E-Assessment Systems.- Industry track.- A Four-Layer Architecture Pattern for Constructing and Managing Digital Twins.- Tool Support for the Migration to Microservice Architecture: An Industrial Case Study.- ACE: Easy Deployment of Field Optimization Experiments.

Read more less

Book SynopsisSoftware programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book. Topics and features: Explains foundations, and introduces specification, verification, and testing methods Explores various application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University.The companion site for the book offers additional resources, including further material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book. The URL is: https://sefm-book.github.ioTable of Contents1 Formal Methods.- Part I Languages: 2 Logics for Software Engineering.- 3 The Process Algebra CSP.- Part II Methods: 4 Algebraic Specification in CASL.- 5 Specification-Based Testing.- Part III Application Domains: 6 Specification and Verification of Normative Documents.- 7 Formal Methods for Human-Computer Interaction.- 8 Formal Verification of Security Protocols.- Part IV Wrapping up: 9 Origins and Development of Formal Methods.- Authors' Conclusion.- Appendix A Syntax of the Logics in this Book.- Appendix B Language Definition of CSP.- Appendix C Concrete CASL Syntax.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 4th Computational Methods in Systems and Software 2020 (CoMeSySo 2020) proceedings. Software engineering, computer science and artificial intelligence are crucial topics for the research within an intelligent systems problem domain. The CoMeSySo 2020 conference is breaking the barriers, being held online. CoMeSySo 2020 intends to provide an international forum for the discussion of the latest high-quality research results.

Read more less

Book SynopsisThis book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in modern cars and a discussion of the main challenges driving that evolution, Chapter 2 describes the main architectural styles of automotive software and their use in cars’ software. Chapter 3 details this further by presenting two modern architectural styles, i.e. centralized and federated software architectures. In Chapter 4, readers will find a description of the software development processes used to develop software on the car manufacturers’ side. Chapter 5 then introduces AUTOSAR – an important standard in automotive software. Chapter 6 goes beyond simple architecture and describes the detailed design process for automotive software using Simulink, helping readers to understand how detailed design links to high-level design. The new chapter 7 reports on how machine learning is exploited in automotive software e.g. for image recognition and how both on-board and off-board learning are applied. Next, Chapter 8 presents a method for assessing the quality of the architecture – ATAM (Architecture Trade-off Analysis Method) – and provides a sample assessment, while Chapter 9 presents an alternative way of assessing the architecture, namely by using quantitative measures and indicators. Subsequently Chapter 10 dives deeper into one of the specific properties discussed in Chapter 8 – safety – and details an important standard in that area, the ISO/IEC 26262 norm. Lastly, Chapter 11 presents a set of future trends that are currently emerging and have the potential to shape automotive software engineering in the coming years. This book explores the concept of software architecture for modern cars and is intended for both beginning and advanced software designers. It mainly aims at two different groups of audience – professionals working with automotive software who need to understand concepts related to automotive architectures, and students of software engineering or related fields who need to understand the specifics of automotive software to be able to construct cars or their components. Accordingly, the book also contains a wealth of real-world examples illustrating the concepts discussed and requires no prior background in the automotive domain. Compared to the first edition, besides the two new chapters 3 and 7 there are considerable updates in chapters 5 and 8 especially.Table of Contents1 Introduction.- 2. Software Architectures—Views and Documentation.- 3. Contemporary Software Architectures: Federated and Centralized.- 4. Automotive Software Development.- 5. AUTOSAR (AUTomotive Open System ARchitecture).- 6. Detailed Design of Automotive Software.- 7. Machine Learning in Automotive Software.- 8. Evaluation of Automotive Software Architectures.- 9. Metrics for Software Design and Architectures.- 10. Functional Safety of Automotive Software.- 11. Current Trends in Automotive Software Architectures.- 12 Summary.

Read more less

Book SynopsisThis book provides a method to plan, develop, validate, or evolve the design of an enterprise architecture function so that it fully meets the organization’s needs. The reader will benefit from this book in two ways. First, it provides a structured overview and orientation to the subject of architecture from an architecture function perspective. Second, it guides through the process of planning, building, and operating your own architecture organization based on a generic architecture function blueprint presented in the form of a pattern language offering a structured means for navigating, contextualizing, combining, and composing the architecture function patterns. The book is structured in six chapters. Chapter 1 “Introduction” explains the starting position and objectives of the book and introduces key concepts that will be explained further in subsequent chapters. Chapter 2 “Architecture Function Pattern Language” introduces the concepts of pattern, pattern catalogue, pattern topology, and ontology and explains how these concepts are combined to form a pattern language for planning, designing, and operating an architecture function. Next, Chapter 3 “Architecture Function – Context“ introduces concepts that are crucial for understanding the challenges that an architecture function faces and presents a generic schema for the business organizations and value chain. Chapter 4 “Architecture Function – Challenge” looks at an architecture function from a black box perspective and outlines the expectations and requirements that companies place on architecture organizations. It discusses the building blocks of an architecture function, the services it provides along the enterprise value chain, and the quality attributes that enterprises expect from their functions. Chapter 5 “Architecture Function – Constitution” then shifts from a black-box perspective to a white-box perspective and outlines the generic design of an architecture function in order to realize functional and quality-related requirements. Chapter 6 “Pattern Catalogue“ eventually introduces the pattern catalogue with a total of 48 architecture function patterns. These patterns suggest designs for collaboration between the architecture function and enterprise organizations, for the elaboration and development of enterprise services along the enterprise value chain, or for aligning architecture governance with enterprise governance. The book is intended for a broad readership, including enterprise, domain, and solution architects, lecturers and students, and anyone else interested in understanding the value proposition, responsibilities, outcomes, methods, and practices of architecture functions. It introduces the basic concepts and theories needed to understand the pattern language presented and the patterns it summarizes. Table of Contents1. Introduction.- 2. Architecture Function Pattern Language.- 3. Architecture Function: Context.- 4. Architecture Function: Challenge.- 5. Architecture Function: Constitution.- 6. Pattern Catalog.

Read more less

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