Software Engineering Books

Book SynopsisIf you maintain or plan to build Puppet infrastructure, this practical guide will take you a critical step further with best practices for managing the task successfully. Authors Chris Barbour and Jo Rhett present best-in-class design patterns for deploying Puppet environments and discuss the impact of each.

Read more less

Book SynopsisThe Customer-Driven Playbook details a complete end-to-end process to help large teams and organizations learn from their customers, conceptualize new ideas, and build products their customers will love.

Read more less

Book SynopsisImprove your understanding of Scrum through the proven experience and collected wisdom of experts around the world. Based on real-life experiences, the 97 essays in this unique book provide a wealth of knowledge and expertise from established practitioners who have dealt with specific problems and challenges with Scrum.

Read more less

Book SynopsisWith concise, easy-to-read code that supports asynchronous, concurrent processing, aspects of functional programming have begun to appear in several traditionally object-oriented languages such as C# and Java. This practical book shows C# programmers how to use functional programming features without having to navigate an entirely new language.

Read more less

Book SynopsisThis comprehensive reference on software development quality assurance addresses all four dimensions of quality: specifications, design, construction and conformance. It focuses on quality from both the micro and macro viewpoint. From a micro view, it details the aspect of building-in quality at the component level to help ensure that the overall deliverable has ingrained quality. From a macro view, it addresses the organizational-level activities that provide an environment conducive to fostering quality in the deliverables as well as developing a culture focused on quality in the organization. Mastering Software Quality Assurance also explores a process driven approach to quality and provides the information and guidance needed for implementing a process quality model in your organization. It includes best practices and valuable tools and techniques for software developers.Trade Review"Finally, a solid book dedicated to quality within software development. It should be mandatory reading for any software project manager. Every aspect of quality assurance and quality control is covered with topics dedicated to helping an organization succeed in its quality program implementation. The descriptions and benefits of the most valuable activities of software development are detailed and precise. Mastering Software Quality Assurance is a desk reference that experts and amateurs will refer to everyday." -Paul Laberge, Continuous Improvement Analyst, Wolters Kluwer; "Outstanding! Read this book carefully since a few minutes of consideration may save you or your company millions of dollars and years of struggle in achieving business value from your software development initiatives." -Robert C. Anderson, Director, Process Development & Quality Assurance, Computer Aid, Inc.Table of ContentsChapter 1: Quality Assurance BasicsConnotations of the Word "Quality" What Is Quality? SpecificationsDefinition of Quality from the Standpoint of the ProviderQuality and ReliabilityEvolution of Concepts of Quality Quality GurusTotal Quality ManagementAre We Giving Adequate Importance to Quality in Organizations? Organizational Goals and Quality GoalsIs a Quality Department in Software Development Organizations Really Needed? The Present Scenario in Software Development OrganizationsChapter 2: Four Dimensions of QualityBackgroundEnsuring Quality in SpecificationsEnsuring Quality in DesignEnsuring Quality in Development (Software Construction) Ensuring Conformance Quality Chapter 3: Software Product QualityFunctionality StandpointWhite Box StandpointPresence of Defects in the ProductProgram QualityMeasurement of Product QualityChapter 4: Organizational Environments that Foster a Quality CultureNecessity for an Independent Quality DepartmentThe Role of a Quality DepartmentThe Position of the Quality Assurance Department in the Organization Organization of a Quality Assurance DepartmentOrganization and Staffing of a Quality Assurance DepartmentA Well-defined and Institutionalized Software Development Process Explicit System of Rewards and Recognition for Achieving Excellence in QualityCommitment and Involvement of Senior Management to Fostering a Culture of Quality in the OrganizationFinal WordsChapter 5: Software VerificationWalkthroughs (Peer Reviews) InspectionsAuditsVerification ProcessImplementation of Verification Activities in ProjectsChapter 6: ValidationValidation of Software DesignsValidating the Product SpecificationsValidating the Software ProductTesting Different Types of Software ProductsTesting BasicsApproaches to TestingTest Case DesignTest EnvironmentTesting ScenariosProduct TestingBest Practices in TestingAutomation of Testing and Use of Testing ToolsFinal Words about Software TestingChapter 7: Software Product ReliabilitySoftware DisastersSoftware ReliabilityCause of Software FailuresPrediction of Software ReliabilitySoftware Reliability ImprovementChapter 8: Process QualityProcessProcess QualityProcess DefinitionAligning the Process with a Process ModelProcess ImprovementProcess StabilizationSoftware Development ProcessComponents of a ProcessProcess CertificationChapter 9: New Paradigm for Software QualityThe Fallacy of CertificationsCriticisms of Maturity ModelsA New Paradigm for Software Quality AssuranceFinal WordsAppendix A: Audit ProcessAppendix B: Defect Resolution MethodologyAppendix C: Guidelines for Error Guessing Appendix D: Guidelines for Graphical User Interface Quality Conformance Appendix E: Guidelines for Stress TestingAppendix F: Guidelines for Negative TestingAppendix G: Measurement of QualityAppendix H: Quality Assurance of DatabasesAppendix I: Coding Guidelines Appendix J: Sample Review ProcessAppendix K: Software Quality Assurance PlanAppendix L: AbbreviationsIndex

Read more less

Book SynopsisThis book describes the state-of-the-art of software ecosystems. It constitutes a fundamental step towards an empirically based, nuanced understanding of the implications for management, governance, and control of software ecosystems.This is the first book of its kind dedicated to this emerging field and offers guidelines on how to analyze software ecosystems; methods for managing and growing; methods on transitioning from a closed software organization to an open one; and instruments for dealing with open source, licensing issues, product management and app stores. It is unique in bringing together industry experiences, academic views and tackling challenges such as the definition of fundamental concepts of software ecosystems, describing those forces that influence its development and lifecycles, and the provision of methods for the governance of software ecosystems.This book is an essential starting point for software industry researchers, product managers, and entrepreneurs.Contributors: T. Aaltonen, T.A. Alspaugh, C. Alves, M. Anvaari, H.U. Asuncion, O. Barbosa, S. Biffl, S. Brinkkemper, M.A. Cusumano, E. den Hartigh, D. Dhungana, R.P. dos Santos, A. Finkelstein, M. Goeminne, I. Groher, I. Hammouda, S. Jansen, A. Jiménez Salas, J. Kabbedijk, M. Kauppinen, T. Kilamo, Y.-R. Li, L. Luinenburg, T. Mens, T. Mikkonen, K.M. Popp, W. Scacchi, E. Schludermann, J. Souer, M. Tol, J. van Angeren, G. van Capelleveen, M. Viljainen, W. Visscher, C. WernerTable of ContentsContents: Foreword David Messerschmitt and Clemens Szyperski Introduction Slinger Jansen PART I: INTRODUCTION TO SOFTWARE ECOSYSTEMS 1. Defining Software Ecosystems: A Survey of Software Platforms and Business Network Governance Slinger Jansen and Michael A. Cusumano 2. Business Network Management as a Survival Strategy Slinger Jansen, Sjaak Brinkkemper and Anthony Finkelstein 3. Guiding Principles of Natural Ecosystems and their Applicability to Software Ecosystems Deepak Dhungana, Iris Groher, Elisabeth Schludermann and Stefan Biffl 4. A Systematic Mapping Study on Software Ecosystems from a Three-dimensional Perspective Olavo Barbosa, Rodrigo Pereira dos Santos, Carina Alves, Claudia Werner and Slinger Jansen PART II: BUSINESS NETWORK MANAGEMENT 5. Managing Software Ecosystems through Partnering Joey van Angeren, Jaap Kabbedijk, Karl Michael Popp and Slinger Jansen 6. The Challenge of Heterogeneously-Licensed Systems in Open Architecture Software Ecosystems Thomas A. Alspaugh, Hazeline U. Asuncion and Walt Scacchi 7. Framing Management Practices for Keystones in Platform Ecosystems Martti Viljainen and Marjo Kauppinen 8. Architectural Openness: Comparing Five Mobile Platform Architectures Mohsen Anvaari and Slinger Jansen 9. The Open Software Enterprise Model: How Open is My Software Business? Slinger Jansen, Sjaak Brinkkemper, Jurriaan Souer and Lutzen Luinenburg 10. Quality Review and Approval Methods for Extensions in Software Ecosystems Slinger Jansen and Guido van Capelleveen PART III: VISUALIZATION AND ANALYSIS OF SOFTWARE ECOSYSTEMS 11. Measuring the Health of a Business Ecosystem Erik den Hartigh, Wouter Visscher, Michiel Tol and Adolfo Jiménez Salas 12. Analyzing Ecosystems for Open Source Software Developer Communities Mathieu Goeminne and Tom Mens 13. Open Source Ecosystems: A Tale of Two Cases Terhi Kilamo, Imed Hammouda, Tommi Mikkonen and Timo Aaltonen 14. The Technological Roadmap of Cisco’s Business Ecosystem Yan-Ru Li 15. Unraveling Ruby Ecosystem Dynamics: A Quantitative Network Analysis Jaap Kabbedijk and Slinger Jansen Index

Read more less

Book SynopsisThis book aims to promote an understanding of the origins and dynamics of the software industry in a number of key emerging markets - Brazil, China, India and Israel, and to establish what experiences, if any, are potentially replicable in other prevailing markets. In-depth interviews with leading players in the industry are combined with other new data to provide a comparative study of the dynamics of the sector in emerging markets, to emphasise the public policy implications of these developments, and place them in a wider international context. The last 25 years have seen an explosive growth in the software industry, which is still overwhelmingly dominated by firms from North America and Europe. The authors argue that a number of companies from emerging markets have made significant headway and have even consolidated their positions on account of major cost advantages. They go on to explain the factors behind these developments, and conclude that the software industry, through its ability to project good corporate governance, its lack of hierarchy and widespread use of motivating working practices and compensation schemes, has proved a powerful example to other sectors in these emerging market economies.This book will be of immense interest to both academics and practitioners with an interest in development economics or technology.Trade Review'The software industry represents a unique example of a truly global industry, growing rapidly in both developed and developing countries. This important book provides the first serious study of the growth of the industry in emerging markets, with an excellent discussion of the key cases including India, China and Brazil. Simon Commander is to be congratulated producing such a timely and policy relevant book.' -- Saul Estrin, London Business School, UKTable of ContentsContents: 1. What Explains the Growth of a Software Industry in Some Emerging Markets? 2. India 3. China 4. Israel 5. Brazil Bibliography Index

Read more less

Book SynopsisThe testing market is growing at a fast pace and ISTQB certifications are being increasingly requested, with more than 180,000 persons currently certified throughout the world. The ISTQB Foundations level syllabus was updated in 2011, and this book provides detailed course study material including a glossary and sample questions to help adequately prepare for the certification exam.The fundamental aspects of testing are approached, as is testing in the lifecycles from Waterfall to Agile and iterative lifecycles. Static testing, such as reviews and static analysis, and their benefits are examined as well as techniques such as Equivalence Partitioning, Boundary Value Analysis, Decision Table Testing, State Transitions and use cases, along with selected white box testing techniques. Test management, test progress monitoring, risk analysis and incident management are covered, as are the methods for successfully introducing tools in an organization. Contents 1. Fundamentals of Testing.2. Testing Throughout the Software Life Cycle.3. Static Techniques (FL 3.0).4. Test Design Techniques (FL 4.0).5. Test Management (FL 5.0).6. Tools support for Testing (FL 6.0).7. Mock Exam.8. Templates and Models.9. Answers to the Questions.Table of ContentsPreface xi Glossary xv Chapter 1. Fundamentals of Testing 1 1.1. Why is testing necessary? (FL 1.1) 1 1.2. What is testing? (FL 1.2) 7 1.3. Paradoxes and main principles (FL 1.3) 11 1.4. Fundamental test process (FL 1.4) 14 1.5. Psychology of testing (FL 1.5) 22 1.6. Testers and code of ethics (FL 1.6) 27 1.7. Synopsis of this chapter 34 1.8. Sample exam questions 35 Chapter 2. Testing Throughout the Software Life Cycle 43 2.1. Software development models (FL 2.1) 43 2.2. Test levels (FL 2.2) 58 2.3. Types of tests (FL 2.3) 66 2.4. Test and maintenance (FL 2.4) 74 2.5. Oracles 81 2.6. Specific cases 83 2.7. Synopsis of this chapter 84 2.8. Sample exam questions 85 Chapter 3. Static Techniques (FL 3.0) 91 3.1. Static techniques and the test process (FL 3.1) 91 3.2. Review process (FL 3.2) 94 3.3. Static analysis by tools (FL 3.3)119 3.4. Added value of static activities 130 3.5. Synopsis of this chapter 131 3.6. Sample exam questions 131 Chapter 4. Test Design Techniques (FL 4.0) 137 4.1. The test development process (FL 4.1) 139 4.2. Categories of test design techniques (FL 4.2)143 4.3. Black-box techniques (FL 4.3) 147 4.4. Structure-based techniques (FL 4.4) 172 4.5. Experience-based techniques (FL 4.5) 187 4.6. Choosing test techniques (FL 4.6) 193 4.7. Synopsis of this chapter 194 4.8. Sample exam questions 195 Chapter 5. Test Management (FL 5.0) 209 5.1. Test organization (FL 5.1) 209 5.2. Test planning and estimation (FL 5.2) 215 5.3. Test progress monitoring and control (FL 5.3) 239 5.4. Reporting 242 5.5. Transverse processes and activities 246 5.6. Risks management (FL 5.5) 248 5.7. Defect management (FL 5.6) 257 5.8. Synopsis of this chapter 264 5.9. Sample exam questions 265 Chapter 6. Tools support for Testing (FL 6.0) 277 6.1. Types of test tools (FL 6.1) 278 6.2. Assumptions and limitations of test tools (FL 6.2) 283 6.3. Selecting and introducing tools in an organization (FL 6.3) 289 6.4. Synopsis of this chapter 295 6.5. Sample exam questions 296 Chapter 7. Mock Exam 301 Chapter 8. Templates and Models 315 8.1. Master test plan 315 8.2. Test plan 317 8.3. Test design document 319 8.4. Test case 320 8.5. Test procedure 321 8.6. Test log 322 8.7. Defect report 322 8.8. Test report 324 Chapter 9. Answers to the Questions 327 9.1. Answers to the end of chapter questions 327 9.2. Correct answers to the sample paper questions 329 Bibliography 331 Index 335

Read more less

Book SynopsisSystem virtualization has become increasingly common in distributed systems because of its functionality and convenience for the owners and users of these infrastructures. In Scheduling of Large-scale Virtualized Infrastructures, author Flavien Quesnel examines the management of large-scale virtual infrastructures with an emphasis on scheduling up to 80,000 virtual machines on 8,000 nodes. The text fills a need for updated software managing to meet the increasing size of virtual infrastructures. Virtual machine managers and virtual operators will appreciate this guide to improvement in cooperative software management.Table of ContentsList of Abbreviations xi Introduction xiii Part 1 Management of Distributed Infrastructures 1 Chapter 1 Distributed Infrastructures Before the Rise of Virtualization 3 Chapter 2 Contribution of Virtualization 13 Chapter 3 Virtual Infrastructure Managers Used in Production 27 Part 2 Toward a Cooperative and Decentralized Framework to Manage Virtual Infrastructures 49 Chapter 4 Comparative Study Between Virtual Infrastructure Managers and Distributed Operating Systems 51 Chapter 5 Dynamic Scheduling of Virtual Machines 67 Part 3 DVMS, A Cooperative and Decentralized Framework to Dynamically Schedule Virtual Machines 83 Chapter 6 DVMS: A Proposal to Schedule Virtual Machines in a Cooperative and Reactive Way 85 Chapter 7 Experimental Protocol and Testing Environment 101 Chapter 8 Experimental Results and Validation of DVMS 113 Chapter 9 Perspectives Around DVMS 133 Conclusion 141 Bibliography 145 List of Tables 157 List of Figures 159 Index 163

Read more less

Book SynopsisComplex behavior models (plasticity, cracks, visco elascticity) face some theoretical difficulties for the determination of the behavior law at the continuous scale. When homogenization fails to give the right behavior law, a solution is to simulate the material at a meso scale in order to simulate directly a set of discrete properties that are responsible of the macroscopic behavior. The discrete element model has been developed for granular material. The proposed set shows how this method is capable to solve the problem of complex behavior that are linked to discrete meso scale effects. The first book solves the local problem, the second one presents a coupling approach to link the structural effects to the local ones, this third book presents the software workbench that includes all the theoretical developments.Table of ContentsList of Figures ix List of Tables xiii Introduction xv Chapter 1 Object Oriented Approach and UML 1 1.1 Object Oriented (OO) paradigms 1 1.2 OO analysis and design 4 1.2.1 Association 4 1.2.2 Association class 5 1.2.3 Inheritance 5 1.2.4 Aggregation 5 1.2.5 Composition 6 1.2.6 Genericity with the template classes 7 1.2.7 Encapsulation and class interface 8 1.3 UML diagrams 9 1.3.1 Class diagram 10 1.3.2 Sequence diagram 12 Chapter 2 Operating Architecture 15 2.1 The GranOO package 16 2.1.1 The Docs directory 18 2.1.2 The Examples directory 19 2.1.3 The Libs directory 19 2.1.4 The Licenses directory 21 2.1.5 The Local directory 22 2.1.6 The Tests directory 22 2.1.7 The Tools directory 22 2.2 Compilation process of the executable file 23 2.3 Launching a GranOO executable 25 2.4 The input files 26 2.4.1 Quick introduction to XML: the tags 26 2.4.2 Input file structure 27 2.4.3 The header and footer sections 28 2.4.4 The plugin sections 28 2.4.5 Input file validation process 30 2.5 The magic world of the plugins 34 2.5.1 The standard plugins versus user plugins 34 2.5.2 Writing a good plugin 34 2.5.3 The plugin class hierarchy 35 2.5.4 The plugin object factory 36 2.5.5 Interaction with the input file 37 2.5.6 Calling a plugin from another plugin 42 2.6 The output files 44 2.6.1 The output directory 44 2.6.2 The GDD files 45 2.6.3 The sensor file 46 2.6.4 Conclusion 52 Chapter 3 Focus on Libraries 53 3.1 The geometrical library 54 3.1.1 About performance 54 3.1.2 All you need is frame 56 3.1.3 The Vector class 58 3.1.4 The Point class 60 3.1.5 The quaternion class 61 3.1.6 The matrix class 63 3.1.7 The shape classes 64 3.1.8 The elastic pendulum example 65 3.1.9 Conclusion 73 3.2 The DEM library 73 3.2.1 Focus on the Set Of class environment 74 3.2.2 The discrete element classes 82 3.2.3 The physical property class group 84 3.2.4 The interaction class group 87 3.2.5 The discrete shape classes 91 3.2.6 Class serialization using boost library 93 3.2.7 On-the-fly contact detection and treatment 97 3.3 The libMySandbox library 99 3.4 Conclusion 99 Chapter 4 Tools and Practical Examples of Use of GranOO 101 4.1 Tool overview 101 4.1.1 gddViewer program: a tool to visualize GDD files 101 4.1.2 Postprocessing sensors data with plot-sensor-data.py 104 4.1.3 Building and running parametric studies 107 4.1.4 Building gdd file with cooker 111 4.1.5 Cohesive beam calibration 114 4.1.6 Managing project 118 4.2 Granular simulation: the bluewave example 119 4.3 The continuous discrete element model 124 4.3.1 Silica glass calibration 124 4.3.2 The failure tensile test 130 4.3.3 The failure torsion problem 141 4.3.4 Loose abrasive grinding of silica glass 143 4.4 Conclusion 147 Conclusion 149 Appendices 153 Appendix 1 Using Quaternions 155 Appendix 2 Pendulum Problem Complete Code 169 Bibliography 175 Index 179

Read more less

Book SynopsisEnterprises and organizations of any kind embedded in today's economic environment are deeply dependent on their ability to take part in collaborations. Consequently, it is strongly required for them to get actively involved for their own benefit in emerging, potentially opportunistic collaborative enterprise networks. The concept of “interoperability” has been defined by INTEROP-VLab as “The ability of an enterprise system or application to interact with others at a low cost in a flexible approach”. Consequently, interoperability of organizations appears as a major issue to succeed in building on the fly emerging enterprise networks. The International Conference on Interoperability for Enterprise Systems and Applications (I-ESA 2014) was held under the motto “interoperability for agility, resilience and plasticity of collaborations” on March 26-28, 2014 and organized by the Ecole des Mines d’Albi-Carmaux, France on behalf of the European Laboratory for Enterprise Interoperability (INTEROP-VLab). On March 24-25, co-located with the conference eight workshops and one doctoral symposium were held in four tracks complementing the program of the I-ESA’14 conference. The workshops and the doctoral symposium address areas of greatest current activity focusing on active discussions among the leading researchers in the area of Enterprise Interoperability. This part of the conference helps the community to operate effectively, building co-operative and supportive international links as well as providing new knowledge of on-going research to practitioners. The workshops and doctoral symposium aimed at exploiting new issues, challenges and solutions for Enterprise Interoperability (EI) and associated domains of innovation such as Smart Industry, Internet-Of-Things, Factories of the Future, EI Applications and Standardisation. These proceedings include the short papers from the I-ESA’14 workshops and the doctoral symposium. The book is split up into 9 sections, one for each workshop and one for the doctoral symposium. All sections were organized following four tracks: (1) EI and Future Internet / Factory of the Future; (2) EI Application Domains and IT; (3) EI Standards; (4) EI Doctoral Symposium. For each section, a workshop report is provided summarizing the content and the issues discussed during the sessions. The goal of the first track was to offer a discussion opportunity on interoperability issues regarding the use of Internet of Things on manufacturing environment (Workshops 1 and 3) on one hand, and regarding the potential of innovation derived from the use of digital methods, architectures and services such as Smart Networks (Workshops 2 and 4) on the other hand. The second track focused on particular application domains that are looking for innovative solutions to support their strong collaborative needs. Thus, the track developed one workshop on the use of EI solution for Future City-Logistics (Workshop 5) and one on the use of EI solutions for Crisis / Disaster Management (Workshop 6). The third track studied the recent developments in EI standardization. Two workshops were dedicated to this issue. The first one has proposed to focus on the management of standardization (Workshop 8) and the second one has chosen to work on the new knowledge on standardization developments in the manufacturing service domain (Workshop 9). The last track, the doctoral symposium presented research results from selected dissertations. The session discussed EI knowledge issues, notably in terms of gathering through social networks or Internet of Things and of exploitation through innovative decision support systems.Table of ContentsPreface xiM. LAURAS, M. ZELM, B. ARCHIMÈDE, F. BÉNABEN, G. DOUMEINGTS Workshop 1. IoT Interoperability for Manufacturing: Challenges and Experiences 1 ReportD. ROTONDI 2 Smart Industry Services in Times of Internet of Things and Cloud Computing 5M. SERRANO, P. DIMITROPOULOS Designing and Executing Interoperable IoT Manufacturing Systems 15U. KANNENGIESSER, G. WEICHHART Internet of Things Research on Semantic Interoperability to Address Manufacturing Challenges 21P. COUSIN, M. SERRANO, J. SOLDATOS Manufacturing Integration Challenges: Top-Down Interoperability and Bottom-Up Comprehensiveness Towards a Global Information Backbone for Smart Factory 31V.K. NGUYEN An Improved Decision Support System in Factory Shop-Floor through an IoT Approach 37P. PETRALI Leveraging IoT Interoperability for Enhanced Business Process in Smart, Digital and Virtual Factories 43J. SOLA, A. GONZALEZ, O. LAZARO Workshop 2. Future Internet Methods, Architectures and Services for Digital Business Innovation in Manufacturing, Health and Logistics Enterprises 49 Report 50S. GUSMEROLI, G. DOUMEINGTS Future Internet Technologies and Platforms to Support Smart, Digital and Virtual and Business Processes for Manufacturing 53J. SOLA, A. GONZALEZ, O. LAZARO Delivering Care in a Future Internet59 C. THUEMMLER, T. JELL FITMAN Verification and Validation Method: Business Performance Indicators and Technical Indicators 64G. DOUMEINGTS, B. CARSALADE, M. RAVELOMANANTSOA, F. LAMPATHAKI, P. KOKKINAKOS, D. PANOPOULOS Validation and Quality in FI-PPP e-Health Use Case, FI-STAR Project 71P. COUSIN, S. FRICKER, D. FEHLMY, F. LE GALL, M. FIEDLER Workshop 3. ICT Services and Interoperability for Manufacturing 81 Report82K. POPPLEWELL Intelligent Systems Configuration Services for Flexible Dynamic Global Production Networks 85R.I.M. YOUNG, K. POPPLEWELL, F.-W. JAEKEL, B. OTTO, G. BHULLAR Binding Together Heterogeneous Future Internet Services in Manufacturing Workplaces 91M. SESANA, S. GUSMEROLI, R. SANGUINI Holistic, Scalable and Semantic Approach at Interoperable Virtual Factories 95G. PAVLOV, V. MANAFOV, I. PAVLOVA, A. MANAFOV Predictive Industrial Maintenance: A Collaborative Approach 101F. FERREIRA, A. SHAMSUZZOHA, A. AZEVEDO, P. HELO On Optimizing Collaborative Manufacturing Processes in Virtual Factories 108D. SCHULLER, R. HANS, S. ZÖLLER, R. STEINMETZ Modelling Interoperability-Related, Economic and Efficiency Benefits in Dynamic Manufacturing Networks through Cognitive Mapping 115O.I. MARKAKI, S. KOUSSOURIS, P. KOKKINAKOS, D. PANOPOULOS, D. ASKOUNIS Cloud-Based Interoperability for Dynamic Manufacturing Networks 122D. STOCK, A. BILDSTEIN A smart Mediator to Integrate Dynamic Networked Enterprises 128C. DIOP, A. KAMOUN, E. MEZGHANI, M. ZOUARI, E. EXPOSITO Workshop 4. SmartNets – Collaborative Development and Production of Knowledge-Intensive Products and Services 135 Report 136A. LAU The Industrial Model of Smart Networks for SME Collaboration: Implementation and Success Stories 139A. LAU, M. TILEBEIN, T. FISCHER Towards a Conceptual Model of the Resource Base for Hyperlinking in Innovation Networks 146S.-V. REHM, S. GROSS Enhanced Incubators: Fostering Collaboration, Growth and Innovation 152T.J. MARLOWE, V. KIROVA, M. MOHTASHAMI Application of the SmartNets Methodology in Manufacturing Service Ecosystems 158M. HIRSCH, D. OPRESNIK, H. MATHEIS Application of a Domain-Specific Language to Support the User-Oriented Definition of Visualizations in the Context of Collaborative Product Development 164T. RESCHENHOFER, I. MONAHOV, F. MATTHES Workshop 5. Collaboration Issues for City-Logistics 171 Report – G. MACE-RAMETE, J. GONZALEZ-FELIU 172 Simulation-Based Analysis of Urban Freight Transport with Stochastic Features 175N. HERAZO-PADILLA, J.R. MONTOYA-TORRES, S. NIETO-ISAZA, L. RAMIREZ POLO, L. CASTRO, D. RAMÍREZ, C.L. QUINTERO-ARAÚJO Impacts of Urban Logistics on Traffic Flow Dynamics 181N. CHIABAUT, J.-M. SIGAUD, G. MARQUES, J. GONZALEZ-FELIU A Basic Collaborative City Logistics’ Solution: The Urban Consolidation Centre 188L. FAURE, B. MONTREUIL, G. MARQUÈS, P. BURLAT VRP Algorithms for Decision Support Systems to Evaluate Collaborative Urban Freight Transport Systems 196J. GONZALEZ-FELIU, J.-M. SALANOVA GRAU The Last Food Mile Concept as a City Logistics Solution for Perishable Products: The Case of Parma's Food Urban Distribution Center 202E. MORGANTI, J. GONZALEZ-FELIU Supporting Decision for Road Crisis Management through an Agile and Collaborative Information System 208G. MACÉ-RAMÈTE, F. BÉNABEN, M. LAURAS, J. LAMOTHE Workshop 6. Applications of Advanced Technologies in the Context of Disaster Relief and Crisis Management 213 Report – A. CHARLES214 Enhancing the Emergency Response Using an Event-Driven System 216A.-M. BARTHE-DELANOË, F. BÉNABEN, M. LAURAS, S. TRUPTIL Designing Decision Support Systems for Humanitarian Organisations: Requirements and Issues 222K. SAKSRISATHAPORN, A. CHARLES, A. BOURAS From Global to Local Disaster Resilience: The Case of Typhoon Haiyan 228T. COMES, B. VAN DE WALLE Workshop 8. Corporate Standardisation Management 235 Report – K. JAKOBS 236 Lack of Openness as a Potential Failure in Standardisation Management: Lessons Learnt from Setbacks in European Learning Technology Standardisation 238T. HOEL The Individual in Standard Setting: Selection, Training, Motivation in the Public Sector 244G. CANARSLAN A Framework for the Management of Intra-Organizational Security Process Standardization 250C. SILLABER, M. BRUNNER, R. BREU Standards Roles in Hacklin's Strategic Model: Cases in the Space Sector 256K. BENMEZIANE, A. MIONE Standardization Management and Decision-Making: The Case of a Large Swedish Automotive Manufacturer 261A. FOUKAKI Some Factors Influencing Corporate ICT Standardisation Management 267K. JAKOBS Workshop 9. Standardisation Developments for Enterprise Interoperability and the Manufacturing Service Domain 273 Report – M. ZELM, D. CHEN 274 Towards Standardisation in Manufacturing Service Engineering of Ecosystem 277M. ZELM, G. DOUMEINGTS Framework for Manufacturing Servitization: Potentials for standardization 283D. CHEN, S. GUSMEROLI How Can Existing Standards Support Service Life Cycle Management 290M. FREITAG, M. HIRSCH, J. NEUHÜTTLER An Approach to Interoperability Testing to Speed up the Adoption of Standards 295A. BRUTTI, P. DE SABBATA, N. GESSA A Common Vocabulary to Express Standardization Features: Towards the Interoperability of Industrial Data Standards 301A.-F. CUTTING-DECELLE, G.-I. MAGNAN, C. MOUTON, R.I.M. YOUNG An Info*Engine-Based Architecture to Support Interoperability with Windchill System 308M. ANIS DHUIEB, F. BELKADI, F. LAROCHE, A. BERNARD Doctoral Symposium 315 Report – B. ARCHIMÈDE, J. LAMOTHE 316 Build Enterprise Relationship Network to Support Collaborative Business 318L. WANG, S. LIU, L. WU, L. PAN, X. MENG Analysing Internet of Things to Feed Internet of Knowledge: Support Decision-Making in Crisis Context 325A. SIRKO, S. TRUPTIL, A.-M. BARTHE- DELANOË, F. BÉNABEN On the Interoperability in Marine Pollution Disaster Management 331V. NICOLESCU, M. CARAIVAN, G. SOLOMON, V. CIUPINA A Framework for Characterizing Collaborative Networks of Organizations 337A. MONTARNAL, X. FERNANDEZ, J. LAMOTHE, F. GALASSO, C. THIERRY, F. BÉNABEN, M. LAURAS Index of Authors 343

Read more less

Book SynopsisThe software industry is in transition from craft work to engineering practice, but development, operational and maintenance overheads are still unpredictable and expensive. Cleanroom Software engineering is the first practical development and certification to use statistical quality control to reduce software defects and costs. It has already distinguished itself as a complete software life cycle process with sound foundations in theory and demonstrated effectiveness in practice. The Cleanroom method is one of the few fully articulated life cycle process models in software engineering today and involves: *Incremental development under statistical process review. *Formal methods for specification, design and verification. *Statistical reliability certification. A Reader in Classroom Software Engineering gathers together, for the first time, the most up-to-date material available to form an in-depth treatment of the complete Cleanroom process.Table of ContentsAn overview of cleanroom software engineering. Part 1 Adopting cleanroom software engineering with a phased approach, P. Hauser et al. Part 2 Cleanroom management: current practice in cleanroom management; cleanroom software engineering, H. Mills et al; cleanroom - an alternative software development approach, H. Mills; the cleanroom approach to six-igma software, J. Poore; planning and certifying softsware system reliability, J. Poore et al; cleanroom process model, R. Linger; evolving practice in cleanroom management. Part 3 Cleanroom development: current practice in cleanroom developments; box-structured information systems, H. Mills; stepwise refinement and verification in box-structured systems, H. Mills; correctness verification - alternative to structure testing, M. Dyer and A. Kouchakjian; reuse and cleanroom, E. Karlsson; six-sigma software using cleanroom software engineering techniques, G. Head; evolving practice in cleanroom development. Part 4 Cleanroom certification. Part 5 Certification case studies. Appendices: training and consultation; tools.

Read more less

Book SynopsisThe first course in software engineering is the most critical. Education must start from an understanding of the heart of software development, from familiar ground that is common to all software development endeavors.This book is an in-depth introduction to software engineering that uses a systematic, universal kernel to teach the essential elements of all software engineering methods.This kernel, Essence, is a vocabulary for defining methods and practices. Essence was envisioned and originally created by Ivar Jacobson and his colleagues, developed by Software Engineering Method and Theory (SEMAT) and approved by The Object Management Group (OMG) as a standard in 2014. Essence is a practice-independent framework for thinking and reasoning about the practices we have and the practices we need. Essence establishes a shared and standard understanding of what is at the heart of software development. Essence is agnostic to any particular method, lifecycle independent, programming language independent, concise, scalable, extensible, and formally specified. Essence frees the practices from their method prisons.The first part of the book describes Essence, the essential elements to work with, the essential things to do and the essential competencies you need when developing software. The other three parts describe more and more advanced use cases of Essence. Using real but manageable examples, it covers the fundamentals of Essence and the innovative use of serious games to support software engineering. It also explains how current practices such as user stories, use cases, Scrum, and micro-services can be described using Essence, and illustrates how their activities can be represented using the Essence notions of cards and checklists. The fourth part of the book offers a vision how Essence can be scaled to support large, complex systems engineering.Essence is supported by an ecosystem developed and maintained by a community of experienced people worldwide. From this ecosystem, professors and students can select what they need and create their own way of working, thus learning how to create ONE way of working that matches the particular situation and needs.Trade Review“Essence is an important breakthrough in understanding the meaning of software engineering. It is a key contribution to the development of our discipline and I’m confident that this book will demonstrate the value of Essence to a wider audience. It too is an idea whose time has come.” – Ian Somerville, St. Andrews University, Scotland (author of Software Engineering, 10th Edition, Pearson)“In the foundational course “Software Engineering” I am teaching Essence to 400 students introducing Essence from day one. We will deliver a functioning system over the coming three months’ time developed by small teams. In the past we used a best-selling textbook, but not anymore. Tomorrow’s education will be fundamentally changed starting with the Essence of software engineering.” – Dr. Pekka Abrahamsson, Norwegian University of Science and Technology“What you hold in your hands (or on your computer or tablet if you are so inclined) represents the deep thinking and broad experience of the authors, information you’ll find approachable, understandable, and, most importantly, actionable.” – Grady Booch, IBM Fellow, ACM Fellow, IEEE Fellow, BCS Ada Lovelace Award, and IEEE Computer PioneerTable of Contents Foreword By Ian Sommerville Foreword By Grady Booch Preface Part 1 – The Essence of Software Engineering 1. From Programming to Software Engineering 2. Software Engineering Methods and Practices 3. Essence in a Nutshell 4. Identifying the Key Elements of Software Engineering 5. The Language of Software Engineering 6. The Kernel of Software Engineering 7. Key Principles: Practical, Actionable and Extensible 8. Reflection on Theory Part 2 – Developing Software with Essence 9. Applying Essence in the Small – Playing Serious Games 10. Kick Starting Development Using Essence 11. Developing with Essence 12. The Development Journey 13. Reflection on Kernel Part 3 – Small Scale Development with Practices 14. Kick Starting Development with Practices 15. Running with Scrum 16. Running with User Story Lite 17. Running with Use-Case Lite 18. Running with Microservices 19. Putting the Practices Together: Composition Part 4 – Large Scale Complex Development 20. What it Means to Scale 21. Essentializing Practices 22. Scaling Up to Large and Complex Development 23. Reaching Out to Different Kinds of Development 24. Being Agile with Practices and Methods 25. Reflecting on the SEMAT Journey APPENDIX: A Brief History of Software and Software Engineering Author Biographies

Read more less

Book SynopsisThe first course in software engineering is the most critical. Education must start from an understanding of the heart of software development, from familiar ground that is common to all software development endeavors.This book is an in-depth introduction to software engineering that uses a systematic, universal kernel to teach the essential elements of all software engineering methods.This kernel, Essence, is a vocabulary for defining methods and practices. Essence was envisioned and originally created by Ivar Jacobson and his colleagues, developed by Software Engineering Method and Theory (SEMAT) and approved by The Object Management Group (OMG) as a standard in 2014. Essence is a practice-independent framework for thinking and reasoning about the practices we have and the practices we need. Essence establishes a shared and standard understanding of what is at the heart of software development. Essence is agnostic to any particular method, lifecycle independent, programming language independent, concise, scalable, extensible, and formally specified. Essence frees the practices from their method prisons.The first part of the book describes Essence, the essential elements to work with, the essential things to do and the essential competencies you need when developing software. The other three parts describe more and more advanced use cases of Essence. Using real but manageable examples, it covers the fundamentals of Essence and the innovative use of serious games to support software engineering. It also explains how current practices such as user stories, use cases, Scrum, and micro-services can be described using Essence, and illustrates how their activities can be represented using the Essence notions of cards and checklists. The fourth part of the book offers a vision how Essence can be scaled to support large, complex systems engineering.Essence is supported by an ecosystem developed and maintained by a community of experienced people worldwide. From this ecosystem, professors and students can select what they need and create their own way of working, thus learning how to create ONE way of working that matches the particular situation and needs.Trade Review“Essence is an important breakthrough in understanding the meaning of software engineering. It is a key contribution to the development of our discipline and I’m confident that this book will demonstrate the value of Essence to a wider audience. It too is an idea whose time has come.” – Ian Somerville, St. Andrews University, Scotland (author of Software Engineering, 10th Edition, Pearson)“In the foundational course “Software Engineering” I am teaching Essence to 400 students introducing Essence from day one. We will deliver a functioning system over the coming three months’ time developed by small teams. In the past we used a best-selling textbook, but not anymore. Tomorrow’s education will be fundamentally changed starting with the Essence of software engineering.” – Dr. Pekka Abrahamsson, Norwegian University of Science and Technology“What you hold in your hands (or on your computer or tablet if you are so inclined) represents the deep thinking and broad experience of the authors, information you’ll find approachable, understandable, and, most importantly, actionable.” – Grady Booch, IBM Fellow, ACM Fellow, IEEE Fellow, BCS Ada Lovelace Award, and IEEE Computer PioneerTable of Contents Foreword by Ian Sommerville Foreword by Grady Brooch Preface THE ESSENCE OF SOFTWARE ENGINEERING From Programming to Software Engineering Software Engineering Methods and Practices Essence in a Nutshell Identifying the Key Elements of Software Engineering The Language of Software Engineering The Kernel of Software Engineering Reflection on Theory Applying Essence in the Small—Playing Serious Games DEVELOPING SOFTWARE WITH ESSENCE Kick-Starting Development Using Essence Developing with Essence The Development Journey Reflection on the Kernel SMALL-SCALE DEVELOPMENT WITH PRACTICES Kick-Starting Development with Practices Running with Scrum Running with User Story Lite Running with Use Case Lite Running with Microservices Putting the Practices Together: Composition LARGE-SCALE COMPLEX DEVELOPMENT What It Means to Scale Essentializing Practices Scaling Up to Large and Complex Development Reaching Out to Different Kinds of Development Reaching Out to the Future A Brief History of Software and Software Engineering References Index Author Biographies

Read more less

Book SynopsisIs Internet software so different from "ordinary" software? This book practically answers this question through the presentation of a software design method based on the State Chart XML W3C standard along with Java. Web enterprise, Internet-of-Things, and Android applications, in particular, are seamlessly specified and implemented from "executable models."Internet software puts forward the idea of event-driven or reactive programming, as pointed out in Bonér et al.'s "Reactive Manifesto" (http://www.reactivemanifesto.org). It tells us that reactiveness is a must. However, beyond concepts, software engineers require effective means with which to put reactive programming into practice. This book's purpose is to outline and explain such means.The lack of professional examples in the literature that illustrate how reactive software should be shaped can be quite frustrating. Therefore, this book helps to fill in that gap by providing in-depth professional case studies that contain comprehensive details and meaningful alternatives. Furthermore, these case studies can be downloaded for further investigation.Internet software requires higher adaptation, at run time in particular. After reading Reactive Internet Programming, the reader therefore will be ready to enter the forthcoming Internet era.Table of Contents 1. Introduction 2. Event and State-based Modeling and Programming 3. Applying State Chart XML 4. Programming State Chart XML Models 5. Execution Semantics 6. Advanced Programming with PauWare engine 7. Programming the ""Internet of Things"" 8. Programming Web Enterprise Component Management 9. Software Component Management Appendix A. Internal Structure of PauWare Engine Appendix B. Acronyms Appendix C. Software References Author's Biography

Read more less

Book SynopsisIs Internet software so different from "ordinary" software? This book practically answers this question through the presentation of a software design method based on the State Chart XML W3C standard along with Java. Web enterprise, Internet-of-Things, and Android applications, in particular, are seamlessly specified and implemented from "executable models."Internet software puts forward the idea of event-driven or reactive programming, as pointed out in Bonér et al.'s "Reactive Manifesto" (http://www.reactivemanifesto.org). It tells us that reactiveness is a must. However, beyond concepts, software engineers require effective means with which to put reactive programming into practice. This book's purpose is to outline and explain such means.The lack of professional examples in the literature that illustrate how reactive software should be shaped can be quite frustrating. Therefore, this book helps to fill in that gap by providing in-depth professional case studies that contain comprehensive details and meaningful alternatives. Furthermore, these case studies can be downloaded for further investigation.Internet software requires higher adaptation, at run time in particular. After reading Reactive Internet Programming, the reader therefore will be ready to enter the forthcoming Internet era.Table of Contents 1. Introduction 2. Event and State-based Modeling and Programming 3. Applying State Chart XML 4. Programming State Chart XML Models 5. Execution Semantics 6. Advanced Programming with PauWare engine 7. Programming the ""Internet of Things"" 8. Programming Web Enterprise Component Management 9. Software Component Management Appendix A. Internal Structure of PauWare Engine Appendix B. Acronyms Appendix C. Software References Author's Biography

Read more less

Book SynopsisThis 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the complex systems that are part of operation centers. As such, each chapter includes principles to summarize the design implication that engineers can use to inform their own design of interfaces for operation centers and similar systems. It includes example materials for the design of a fictitious system, which are referenced in the book and can be duplicated and extended for real systems. The design materials include a system overview, the system architecture, an example scenario, a stakeholder analysis, a task analysis, a description of the system and interface technology, and contextualized design guidelines. The guidelines can be specified because the user, the task, and the technology are well specified as an example.Building Better Interfaces for Remote Autonomous Systems is for working system engineers who are designing interfaces used in high throughput, high stake, operation centers (op centers) or control rooms, such as network operation centers (NOCs). Intended users will have a technical undergraduate degree (e.g., computer science) with little or no training in design, human sciences, or with human-centered iterative design methods and practices. Background research for the book was supplemented by interaction with the intended audience through a related project with L3Harris Technologies (formerly Harris Corporation). Table of ContentsIntroducing Interface Design for Complex Systems.- User-centered Design and Situation Awareness.- Cognition and Operator Performance.- Conclusion and Final Comments.- Appendices.- Index

Read more less

Book SynopsisIn this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities.The author's maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand a rationally describable discrete dynamics segment of human activity, of natural and man-made artefacts, examples include road, rail and air transport, container terminal ports, manufacturing, trade, healthcare, and urban planning. The book addresses issues of seemingly large systems, not small algorithms, and it emphasizes descriptions as formal, mathematical quantities.This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a methodological approach by treating, in depth, analysis and description principles, techniques and tools. It does this by basing its domain modeling on fundamental philosophical principles, a view that is new for a computer science monograph.The book will be of value to computer scientists engaged with formal specifications of software. The author reveals this as a field of interesting problems, most chapters include pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a primer to the formal specification language RSL and extensive indexes.Table of ContentsPart I, Setting the Scope.- Concepts.- Philosophy.- Space, Time and Matter.- Logic and Mathematics.- Part II, Domains.- Domains: A Taxonomy: External Qualities.- Domains: An Ontology: Internal Qualities.- Transcendental Deduction.- Domains: A Dynamics Ontology: Perdurants.- Domain Facets.- Part III, Requirements.- Requirements.- Part IV, Closing.- Demos, Simulators, Monitors and Controllers.- Winding Up.- References.- Appendix A: Pipelines Domain: Endurants.- Appendix B: Mereology, A Model.- Appendix C: Four Languages.- Appendix D: An RSL Primer.- Appendix E: Indexes.- List of Figures

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the artificial intelligence in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Artificial intelligence in intelligent systems topics are presented in this book. Modern hybrid and bio-inspired algorithms and their application are discussed in selected papers.Table of ContentsOnline teaching as an important means of technogenic society development during the pandemic.- Application of Principal Component Analysis based Support Vector Machine for long-run Economic Growth Forecasting.- Experimental Study of Speed Parameters and Resource Intensity of Programming Languages for Embedded Systems.- Classification of Cardiotocography data for fetal health using Feature Selection Techniques.- Intersection as an Event- and Agent-Based System.- Comparison of UAV Landing Site Classifications with Deep Neural Networks.- An Approach to Optimize Multi-objective Problems using Hybrid Genetic Algorithms Supported by Initial Centroid Selection Optimization Enhanced K-Means Based Selection Operator.- Numerical Modelling of the Impact of Dredging on Stability of Oum Rabiâ estuary (Morocco) using SWAN Model.- New method of verifying cryptographic protocols, based on the process model.- A Method of Search Space Adaptation in the False Pseudonyms Detection Procedure.- Analytical Studies of Behavior of Users of the Moscow Electronic School Service.- Information and Control Systems with Distributed Ledger Usage: a Reliability Issue.- A Modified Ontology-Based Method of Workload Relocation Problem Solving for Monitoring and Forecasting Systems.- Intelligent data analysis using a classification method for data mining knowledge discovery process.- Multimodal Transportation Overview andOptimization Ontology for a Greener Future.- A Complex Cognitive-Based Technique for Social Tension Detection in the Internet Communities.- Method of crystallization of alternatives for solving the problem of placing VLSI elements.- Resilient Rerouting in IoT Systems with Evolutionary Computing.- Urban Monthly Water Consumption Forecasting Based on Signal Decomposition and Optimized Extreme Learning Machine.- Comparison of Control Systems Based on PID Controllers and Based on Fuzzy Logic Using MatLab and Simulink.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the informatics and cybernetics in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Modern cybernetics and computer engineering papers in the scope of intelligent systems are an essential part of actual research topics. In this book, a discussion of modern algorithms approaches techniques is held. Table of ContentsDesign of multi loop control systems with decision makers under incomplete information.- Forecasting and Assessing the Risk of Negative Consequences of Strategic Decisions in Organisation Systems.- Application of Computer Methods for acoustic analysis of the West-Middle German Dialect.- The Concept of Intellectualized Control in Precision Farming.- Allocation of Organizational and Financial Resources of the Information Protection Side Using a Genetic Algorithm.- Application of information security technologies for improving the imitation resistance of low-orbital satellite communication systems.- Time series forecasting based on neural analysis.- Alternative designs of high load queuing systems with small queue.- Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Setting.- Architecture of InnoChain, a Formally-Veried Distributed Ledger System.- A New Approach to Modelling and Verification of Functional Programs.- Measuring Random Pulses with Unknown Time- Frequency and Power Parameters.- Efficiency of Detection of Ultra-Wideband Signals against Additive and Pulse Random Distortions.- Development of a risk assessment tool for manufacturing processes.- Determining the future profitability of the main types of cryptocurrencies.- THE PECULIARITIES OF COMPUTER TECHNOLOGIES APPLICATION IN INFORMATICS TRAINING IN CONDITIONS OF THE ECONOMY AND EDUCATION DIGITALIZATION.- LSTM forecasting: time series forecasting to predict the concentration of air pollutants (CO, SO2, NO and NO2) in Krasnoyarsk, Russia.- Local weather station for decision making in civil engineering.- Algorithmic approach to the design of e-learning courses.- New failures occurrence software testing based on predicting the time organization.

Read more less

Book SynopsisThis book is an introductory text on design science, intended to support both graduate students and researchers in structuring, undertaking and presenting design science work. It builds on established design science methods as well as recent work on presenting design science studies and ethical principles for design science, and also offers novel instruments for visualizing the results, both in the form of process diagrams and through a canvas format. While the book does not presume any prior knowledge of design science, it provides readers with a thorough understanding of the subject and enables them to delve into much deeper detail, thanks to extensive sections on further reading. Design science in information systems and technology aims to create novel artifacts in the form of models, methods, and systems that support people in developing, using and maintaining IT solutions. This work focuses on design science as applied to information systems and technology, but it also includes examples from, and perspectives of, other fields of human practice. Chapter 1 provides an overview of design science and outlines its ties with empirical research. Chapter 2 discusses the various types and forms of knowledge that can be used and produced by design science research, while Chapter 3 presents a brief overview of common empirical research strategies and methods. Chapter 4 introduces a methodological framework for supporting researchers in doing design science research as well as in presenting their results. This framework includes five core activities, which are described in detail in Chapters 5 to 9. Chapter 10 discusses how to communicate design science results, while Chapter 11 compares the proposed methodological framework with methods for systems development and shows how they can be combined. Chapter 12 discusses how design science relates to research paradigms, in particular to positivism and interpretivism, and Chapter 13 discusses ethical issues and principles for design science research. The new Chapter 14 showcases a study on digital health consultations and illustrates the whole process in one comprehensive example. Also added to this 2nd edition are a number of sections on practical guidelines for carrying out basic design science tasks, a discussion on design thinking and its relationship to design science, and the description of artefact classifications. Eventually, both the references in each chapter and the companion web site were updated to reflect recent findings.Table of Contents1 Introduction.- 2 Knowledge Types and Forms.- 3 Research Strategies and Methods.- 4 A Method Framework for Design Science Research.- 5 Explicate Problem.- 6 Define Requirements.- 7 Design and Develop Artefact.- 8 Demonstrate Artefact.- 9 Evaluate Artefact.- 10 Communicate Artefact Knowledge.- 11 Systems Development and the Method Framework for Design Science Research.- 12 Research Paradigms.- 13 Ethics and Design Science. 14 Digital Consultations — a Case Study.

Read more less

Book SynopsisThis book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2021 which was held as part of the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, in June 2021. The conference was held virtually due to the COVID-19 pandemic.The CAiSE Forum is a place within the CAiSE conference for presenting and discussing new ideas and tools related to information systems engineering. Intended to serve as an interactive platform, the Forum aims at the presentation of emerging new topics and controversial positions, as well as demonstration of innovative systems, tools and applications. This year’s theme was “Intelligent Information Systems”.The 18 full papers presented in this volume were carefully reviewed and selected for inclusion in this book.Table of ContentsVisionary papers.- Evolution of an Adaptive Information System for Precision Medicine.- Security Risk Estimation and Management in Autonomous Driving Vehicles.- BPMN Extensions for Modeling Continuous Processes.- Sensor Data Stream Selection and Aggregation for the Ex Post Discovery of Impact Factors on Process Outcomes.- Requirements Elicitation for Applications Running on a Blockchain: Preliminary Results.- ISGE: A conceptual Model-based Method to correctly manage genome data.- Case Level Counterfactual Explanation in Process Mining.- Evaluating Fidelity of Explainable Methods for Predictive Process Analytics.- Data-Driven Process Performance Measurement and Prediction: A Process-Tree-Based Approach.- Detecting Privacy, Data and Controlflow Deviations in Business Processes.- Dynamic Strategic Modeling for Alliance-Driven Data Platforms: The Case of Smart Farming.- Modelling Cyber-physical Security in Healthcare Systems.- Declarative Process Discovery: Linking Process and Textual Views.- A Tool for Computing Probabilistic Trace Alignments.- Innovative tools and prototypes.- Applied Predictive Process Monitoring and Hyper Parameter Optimization in Camunds.- SmartRPA: A Tool to Reactively Synthesize Software Robots from User Interface Logs.- PatternLens: Inferring evolutive patterns from web API usage logs.- Designing a Self-Service Analytics System for Supply Base Optimization.

Read more less

Book SynopsisThis open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice.The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.Table of ContentsErnst Denert Software Engineering Award 2020.- Some Patterns of Convincing Software Engineering Research, or: How to Win the Ernst Denert Software Engineering Award 2020.- What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style.- How to Effectively Reduce Failure Analysis Time?.- Open Source Software Governance: Distilling and Applying Industry Best Practices.- Dynamically Scalable Fog Architectures.- Crossing Disciplinary Borders to Improve Requirements Communication.- DevOps Use: A Community-Oriented Methodology for Societal Software Engineering.- Hybrid Differential Software Testing.- Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules.- Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems.- Improving the Model-Based Systems Engineering Process.- Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics.

Read more less

Book SynopsisThis book presents interdisciplinary research in software engineering with applications for the social sector. The author focuses on software applications that are used for social good and that serve the needs of society. The author aims to bridge the knowledge gap between requirement engineers, industry, and users in order to help identify a diverse range of needs in the social sector (taking into account user crowd diversity in terms of technological competencies, geography, demographics, and behavioral and psychographic aspects). The book provides rigorous empirical studies and validates solutions that serve as a guide to the software engineering community, researchers, graduate students, and teachers. Provides interdisciplinary research in software engineering and the needs of the social sector, helping to increase success rates of society focused startups and applications Ideal for social entrepreneurs who can use the book for doing customer development with diverse users Establishes a new research line of social sector requirement engineering, taking into account user age, language, ability, and access Table of ContentsChapter 1. Introductiona. Introduction.b. Social sector of economyc. Social impacts of software solutionsd. Requirement Engineering in Generale. Social sector applications: Divide between users, funders and customersf. Requirement Engineering for Social sector applications (Social sector Requirement Engineering)g. Conclusionh. Further ReadingChapter 2. Towards Gamification and Crowdsourcing in Social Sector Requirement Engineering a. Introduction.b. Tertiary Review Protocolc. Result Analysisd. State of affairs in Social sector contexte. Discussionf. Conclusion and future workg. Further ReadingChapter 3. Requirement Engineering Challenges for Social Sector Software Development: Insights from Multiple Case studies. a. Introduction.b. Case study protocolc. Backgroundd. Result Analysise. Real use casef. Discussion and future directions g. Frameworkh. Result assessmenti. Implications for Government and Software Engineersj. Conclusion k. Further Reading Chapter 4. Social Sector Requirement Engineering Process using Customer Journeysa. Introduction.b. Theoretical Background c. Working Algorithmd. Hypothetical Algorithme. Result Validationf. Conclusion & Future workg. Further Reading Chapter 5. Implications for Social Innovation stakeholders a. Implications for researchers.b. Implications for fundersc. Implications for Governmentd. Implications for academiae. Implications for Social entrepreneurs f. Conclusion & Future workg. Further Reading

Read more less

Book SynopsisThis book constitutes the first part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021). The CoMeSySo 2021 Conference is breaking the barriers, being held online. CoMeSySo 2021 intends to provide an international forum for the discussion of the latest high-quality research results. The software engineering, computer science, and artificial intelligence are crucial topics for the research within an intelligent systems problem domain.Table of ContentsRelationship between the Level of Economic Development and Education Level of the Employed Population.- Replacing the Reinforcement Learning (RL) to the Auto Reinforcement Learning (AutoRL) Algorithms to Find the Optimal Structure of Business Processes in the Bank.- Features of Using Programs for Casting Processes Modeling.- Development of an information system to help identify symptoms and predict the spread of COVID-19 using artificial intelligence.- Use of Analytic Hierarchy Process in Tasks of Knowledge Visualization.- Blockchain-Oriented Software Development issues: A literature Review.- Identification of Magnetic Levitation System.- The Optimal Model for Consumers' E-wallets Usage Intention.- Issues and possibilities of personal data remote processing in the COVID19 pandemic environment.- Oil Consumption Analysis in the Usa in Current Time.

Read more less

Book SynopsisThis book constitutes the second part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021) proceedings. The real-world problems related to data science and algorithm design related to systems and software engineering are presented in this papers. Furthermore, the basic research’ papers that describe novel approaches in the data science, algorithm design and in systems and software engineering are included.The CoMeSySo 2021 conference is breaking the barriers, being held online. CoMeSySo 2021 intends to provide an international forum for the discussion of the latest high-quality research resultsTable of ContentsMultiple OLAP Reports and the Best Compromise in the Decision-Making Process.- One Step Deep Learning Approach to Grasp Detection in Robotics.- Value Set-Based Numerical Analysis of Robust Stability for Fractional-Order Retarded Quasi-Polynomials with Uncertain Parameters and Uncertain Fractional Orders.- Crisis Risk Management in Organizational Systems.- Fashion Trend Forecasting Using Machine Learning Techniques: A Review.- Development of the Index Paradigm in Remote Sensing of Soil-Vegetable Cover.- Electric and hybrid vehicles: analysis of factors influencing purchase intentions of consumers in Czechia.- The Oil Production Dynamics Analysis in the World for Half a Century in Value Terms.- The Changes Dynamics Analysis in the Japanese Stock Exchange Nikkei^225 Index in the Latest Time.- Image segmentation of acidity of agricultural lands in eastern Siberia.- Management of Documented Information to Ensure Traceability of Radioelectronic Equipment Production Using Software.- Comparing different supervised classification algorithms to detect Arrhythmia in an ECG.

Read more less

Book SynopsisThis textbook lays the foundations for System-of-Systems Requirements Engineering and Requirements Management practices, principles, technique, and processes. It provides a comprehensive treatment of requirements engineering, an integral part of Multidisciplinary Systems Engineering. The book takes the student/reader though the entire process of documenting, analyzing, tracing, prioritizing, and managing requirements, and then goes on the describe controlling and communicating requirement change throughout the system development lifecycle. The authors discuss the role of requirements management in support of other requirements engineering processes; describe the principal requirements engineering activities and their relationships; introduces techniques for requirements elicitation and analysis and describes requirements validation and the role of requirements reviews; and discusses the role of requirements management in support of other requirements engineering processes. A full suite of classroom material is provided including exercises, assignments, and PowerPoint slides.Table of ContentsIntroduction.- Section I: Requirements Engineering Fundamentals.- Background.- The Need for Requirements Engineering – Why?.- Requirements Engineering Processes – What?.- System Engineering and Requirements – How?.- Developer Derived Requirements.- New Development vice Existing System Extension/Upgrades.- System Tier(s).- Section II: Requirements.- Engineering Mechanics.- MDSE Requirements Engineering.- Categories of Requirements.- Composition of a Requirement.- Use of Tables in Requirements.- Requirements Traceability.- Section III: Requirements Engineering Management .- Requirements Change Management.- Requirement Agility (Supporting Agile Development).- Typical Requirement Anti-Patterns.- Section IV: Requirements Engineering and System of Systems.- Legacy Systems and Requirements Management.- Optimizing Performance across Systems.- SOA What?.- Final Thoughts on Requirements Management.- Conclusion.

Read more less

Book SynopsisThis book presents scientific results of the 22nd ACIS International Fall Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2021-Fall) which was held on November 24–26, 2021, at Taichung, Taiwan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 13 of most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.Table of ContentsSegmentation of Spinal MRI Images and New Compression Fracture Detection.- Key issues for Digital Factory Designing and Planning: A Survey.- Concentration-based robot control method with FPGA.- SolarWinds Software Supply Chain Security: Better Protection with Enforced Policies and Technologies.- A Data Hiding Technology by Applying Interpolation in Extended Local Binary Pattern.- Insect Species Identification System Based on Deep Learning.- Study of DIFA based Learning Data Generating Methodology for Malware Detection.

Read more less

Book SynopsisThis textbook covers both fundamental and advanced Java database programming techniques for beginning and experienced students as well as programmers (courses related to database programming in Java with Apache NetBeans IDE 12 environment). A sample SQL Server 2019 Express database, CSE_DEPT, is created and implemented in all example projects throughout this textbook. Over 40 real sample database programming projects are covered in this textbook with detailed illustrations and explanations to help students understand the key techniques and programming technologies. Chapters include homework and selected solutions to strengthen and improve students’ learning and understanding for topics they study in the classroom. Both Java desktop and Web applications with SQL Server database programming techniques are discussed and analyzed. Some updated Java techniques, such as Java Server Pages (JSP), Java Server Faces (JSF), Java Web Service (JWS), JavaServer Pages Standard Tag Library (JSTL), JavaBeans and Java API for XML Web Services (JAX-WS) are also discussed and implemented in the real projects developed in this textbook.This textbook targets mainly advanced-level students in computer science, but it also targets entry-level students in computer science and information system. Programmers, software engineers and researchers will also find this textbook useful as a reference for their projects.Table of Contents

Read more less

Book SynopsisThe information infrastructure – comprising computers, embedded devices, networks and software systems – is vital to operations in every sector: chemicals, commercial facilities, communications, critical manufacturing, dams, defense industrial base, emergency services, energy, financial services, food and agriculture, government facilities, healthcare and public health, information technology, nuclear reactors, materials and waste, transportation systems, and water and wastewater systems. Global business and industry, governments, indeed society itself, cannot function if major components of the critical information infrastructure are degraded, disabled or destroyed.Critical Infrastructure Protection XV describes original research results and innovative applications in the interdisciplinary field of critical infrastructure protection. Also, it highlights the importance of weaving science, technology and policy in crafting sophisticated, yet practical, solutions that will help secure information, computer and network assets in the various critical infrastructure sectors. Areas of coverage include: Industrial Control Systems Security; Telecommunications Systems Security; Infrastructure Security. This book is the fourteenth volume in the annual series produced by the International Federation for Information Processing (IFIP) Working Group 11.10 on Critical Infrastructure Protection, an international community of scientists, engineers, practitioners and policy makers dedicated to advancing research, development and implementation efforts focused on infrastructure protection. The book contains a selection of 13 edited papers from the Fifteenth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, held as a virtual event during the spring of 2021. Critical Infrastructure Protection XV is an important resource for researchers, faculty members and graduate students, as well as for policy makers, practitioners and other individuals with interests in homeland security.

Read more less

Book SynopsisThis book contains a series of revised papers selected from 7 workshops organized by 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, which was held in September 2021 in Bari, Italy. The 15 papers included in this volume were carefully reviewed and selected from 30 submissions. They show the design of interactive technologies addressing one or more United Nations' Sustainable Development Goals, to deal with evolving contexts of use in today’s and future application domains and its influence on human-centered socio-technical system design and devel-opment practice, share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), and address and discuss geopolitical issues in Human-Computer Interaction as a field of knowledge and practice.Chapter “Extreme Citizen Science Contributions to the Sustainable Development Goals: Challenges and Opportunities for a Human-Centred Design Approach” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Table of ContentsAdaptivity.- Collaborative and Social Computing.- Context of Use.- Designing for Smart Devices & IoT.- Designing Safety Critical Systems.- HCI Engineering.- HCI Teaching.- Human-centred Development of Sustainable Technology.- Human-Computer Interaction.- Human-Work Interaction.- Interaction Design.- Ubiquitous and Mobile Computing.- Virtual Reality.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden)Table of ContentsLanguage and Logic.- Logic and Computation.- Mathematical Logic.- Computational Linguistics.- Semantics.- Georgian.- German.

Read more less

Book SynopsisThis open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.Table of ContentsFASE Contributions.- Information-flow Interfaces.- A Survey-Based Feature Model for Software Traceability.- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers.- On the Detection of Doped Software by Falsification.- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing.- Quantitative Program Sketching using Lifted Static Analysis.- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning.- Finding Semantic Bugs Fast.- SMC4PEP: Stochastic Model Checking of Product Engineering Processes.- Symbolic Predictive Cache Analysis for Out-of-Order Execution.- PEQtest: Testing Functional Equivalence.- An Institutional Approach to Communicating UML State Machines.- Semantic Code Search in Software Repositories using Neural Machine Translation.- AequeVox: Automated Fairness Testing of Speech Recognition Systems.- SMT-Based Planning Synthesis for Distributed System Reconfigurations.- Semantic Clone Detection via Probabilistic Software Modeling.- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.- Test-Comp Contributions.- Advances in Automatic Software Testing: Test-Comp 2022.- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution).- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).

Read more less

Book SynopsisThis open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and tools are available in the literature to support DevOps teams in the automation of deployment and operation steps, still these activities require specific know-how and skills that cannot be found in average teams. The SODALITE framework tackles this problem by offering modelling and smart editing features to allow those we call Application Ops Experts to work without knowing low level details about the adopted, potentially heterogeneous, infrastructures. The framework offers also mechanisms to verify the quality of the defined models, generate the corresponding executable infrastructural code, automatically wrap application components within proper execution containers, orchestrate all activities concerned with deployment and operation of all system components, and support on-the-fly self-adaptation and refactoring.Table of ContentsOrchestrating Heterogeneous Applications: Motivation and State of the Art.- The SODALITE Approach: an Overview.- The SODALITE Model-driven Approach.- Quality Assurance and Design-time Optimization.- The SODALITE Runtime Environment.- SODALITE in Context.- SODALITE Use Cases.- Toward Impact Generation and Future Research.

Read more less

Book SynopsisThis textbook is about working in teams to create functioning software. It covers skills in agile software development methods, team working, version control and continuous integration and shows readers how to apply some of the latest ideas from lean, agile and Kanban. Part I, which focuses on People, describes various project roles and the skills needed to perform each role. This includes members of self-organizing teams, scrum masters, product owners and activities for managing other stakeholders. The skills needed to create Product artefacts are detailed in Part II. These include skills to create agile requirements, architectures, designs as well as development and security artefacts. The agile development Process to coordinate with co-workers is described in Part III. It introduces the skills needed to facilitate an incremental process and to use software tools for version control and automated testing. Eventually some more advanced topics are explained in Part IV. These topics include large projects comprising multiple cooperating teams, automating deployment, cloud software services, DevOps and evolving live systems. This textbook addresses significant competencies in the IEEE/ACM Computing Curricula Task Force 2020. It includes nearly 100 exercises for trying out and applying the skills needed for agile software development. Hints, tips and further advice about tackling the exercises are presented at the end of each chapter, and a case study project, with downloadable source code from an online repository, integrates the skills learned across the chapters. In addition, further example software projects are also available there. This way, the book provides a hands-on guide to working on a development project as part of a team, and is inspired by the needs of early career practitioners as well as undergraduate software engineering and computer science students. Table of Contents- 1. Introduction and Principles. - Part I People. - 2. Self-Organising Teams. - 3. Agile Roles. - 4. Managing Stakeholders. - 5. Ethics. 6. Tabby Cat Project, Getting Started. - Part II Product. - 7. Requirements. - 8. Architecture. - 9. Design. - 10. Development. - 11. Security. - 12. Tabby Cat Project: Getting Building. - Part III Process, Tools and Automation. - 13. Agile Ceremonies. - 14. Lean. - 15. Version Control. - 16. Testing and Test Automation. - 17. Tabby Cat Project: Process, Tools and Automation. - Part IV Advanced Skills. - 18. Large-Scale Agile. - 19. Cloud Deployment. - 20. Technical Debt, Software Evolution and Legacy. - 21. DevOps. - Appendix A Research Methods. - Appendix B Further Reading.

Read more less

Book SynopsisThis book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc. Table of ContentsInvited Keynotes.- Formal Methods for Trusted Space Autonomy: Boon or Bane.- An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software.- Concept Design Moves.- Automating Program Transformation with Coccinelle.- The Prusti Project: Formal Verification for Rust.- Summers Reachability Analysis for Cyber-Physical Systems: Are we there yet.- Regular Submissions.- Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems.- Quantification of Battery Depletion Risk Made Efficient.- Hierarchical Contract-based Synthesis for Assurance Cases.- Verified Probabilistic Policies for Deep Reinforcement Learning.- NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.- The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.- Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning.- Towards Refactoring FRETish Requirements.- Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability.- ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.- Permutation Invariance of Deep Neural Networks with ReLUs.- Configurable Benchmarks for C Model Checkers.- AssumeGuarantee Reasoning with Scheduled Components.- Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning.- From Verified Scala to STIX File System Embedded Code using Stainless.- On the Termination of Borrow Checking in Featherweight Rust.- Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme.- Zone Extrapolations in Parametric Timed Automata.- Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.- Timed Automata Learning via SMT Solving.- Asynchronous Composition of Local Interface LTL Properties.- Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry.- Robust Computation Tree Logic.- On the-Fly Model Checking with Neural MCTS.- Checking and Test Generation for Comprehensive Verification.- Operational Annotations: a New Method for Sequential Program Verification.- Byzantine Fault Tolerant Consensus in Agda.- DSV: Disassembly Soundness Validation without Assuming a Ground Truth.- Probabilistic Hyperproperties with Rewards.- Hypercontracts.- Monitorability of Expressive Verdicts.- BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.- Approximate Translation from Floating-Point to Real-Interval Arithmetic.- Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.- Certified Computation of Nondeterministic Limits.- The Power of Disjoint Support Decompositions in Decision Diagrams.- Incremental Transitive Closure for Zonal Abstract Domain.- Proof Mate: an Interactive Proof Helper for PVS.- Runtime Verification Triggers.- Real-time, Autonomous Fault Recovery on the CySat-I.

Read more less

Book SynopsisThis book constitutes the proceedings of the 20th International Conference on Software and Systems Reuse, ICSR 2022, held in Montpellier, France in June 2022. The 7 full papers and 2 short papers included in this book were carefully reviewed and selected from 29 submissions. The papers were organized in topical sections named: Code Recommendations and Ruse; Learning and Reuse; Evolution and Reuse; Quality, Longevity and Reuse.

Read more less

Book SynopsisThis book contains the refereed proceedings of the Cybernetics Perspectives in Systems session of the 11th Computer Science On-line Conference 2022 (CSOC 2022), which was held in April 2022 online. Papers on modern cybernetics and informatics in the context of networks and systems are an important component of current research issues. This volume contains an overview of recent method, algorithms and designs.

Read more less

Book SynopsisThis edited book presents scientific results of the 20th IEEE/ACIS International Conference on Software Engineering Research, Management, and Applications (SERA2022) held on May 25, 2022, in Las Vegas, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 12 of the conference’s most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.Table of ContentsExamining the Factors that Influence Customers’ Intention to Use Smartwatches in Malaysia Using UTAUT2 Model.- Generating Adversarial Robust Defensive CAPTCHA (GARD-CAPTCHA) in Convolutional Neural Networks.- A Deep Learning Approach for Lantana Camara Weed Detection and Localization in the Natural Environment.- Modeling Concretizations in Software Design.- A Practical Style Guide and Templates Repository for Writing Effective Use Cases.- Label Correction of Sound Data with Label Noise Using Self Organizing Map.- Evaluation Method of Enterprise Cybersecurity.- A Multi-model Multi-task Learning System for Hurricane Genesis Prediction.- Development of Autonomous Driving Adaptive Simulation System Using Deep Learning Process Model.- An OCL Implementation for Model-Driven Engineering of C++.- Improving Students’ Readiness Toward the Labor Market Through Customized Learning.- Assessing Software Fault Risk with Machine Learning.

Read more less

Book SynopsisThis book constitutes the thoroughly refereed proceedings of the 22nd International Conference on Web Engineering, ICWE 2022, held in Bari, Italy, in July 2022. The 23 revised full papers and 5 short papers presented were carefully reviewed and selected from 81 submissions. The books also contains 6 demonstration and poster papers, 7 symposium and 5 tutorial papers. They are organized in topical sections named: recommender systems based on web technology; social web applications; web applications modelling and engineering; web big data and web data analytics; web mining and knowledge extraction; web security and privacy; web user interfaces.Table of Contentsrecommender systems based on web technology.- social web applications.- web applications modelling and engineering.- web big data and web data analytics.- web mining and knowledge extraction.- web security and privacy.- web user interfaces.- web mining and knowledge extraction.- web Big Data and Web data analytics.- Mobile Web applications.- web of Things applications.- social Web applications.- web crowdsourcing and human computation.- semantic web.- web ontologies, and Linked Open Data applications.- quality and accessibility aspects of Web applications.- web composition and mashups.- web user interfaces.- web security and privacy.- web programming.- web services, computing, and standards.

Read more less

Book SynopsisThis book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.Table of ContentsSoftware Engineering.- Theoretical Computer Science in industrial applications.- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques.

Read more less

Book SynopsisThis open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presented in this book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.Table of ContentsVapor condensation under electric field: A study using molecular dynamics simulation.- High performance parallel LOBPCG method for large Hamiltonian derived from Hubbard model on multi-GPU systems.- The effect of wing mass and wing elevation motion during insect forward flight.- On the Difference between Shared Memory and Shared Address Space in HPC Communication.- Evaluating GPU Programming Models for the LUMI Supercomputer.- Memory hierarchy.- HPC cloud platform, container image configuration workflow.- scheduling.- .Evaluating methods of transferring large datasets.- Service Function Chaining Design & Implementation Using Network Service Mesh in Kubernetes.

Read more less

Book SynopsisThis open access book provides information how to choose and collect the appropriate metrics for a software project in an organization. There are several kinds of metrics, based on the analysis of source code and developed for different programming paradigms such as structured programming and object-oriented programming (OOP). This way, the book follows three main objectives: (i) to identify existing and easily-collectible measures, if possible in the early phases of software development, for predicting and modeling both the traditional attributes of software systems and attributes specifically related to their efficient use of resources, and to create new metrics for such purposes; (ii) to describe ways to collect these measures during the entire lifecycle of a system, using minimally-invasive monitoring of design-time processes, and consolidate them into conceptual frameworks able to support model building by using a variety of approaches, including statistics, data mining and computational intelligence; and (iii) to present models and tools to support design time evolution of systems based on design-time measures and to empirically validate them. The book provides researchers and advanced professionals with methods for understanding the full implications of alternative choices and their relative attractiveness in terms of enhancing system resilience. It also explores the simultaneous use of multiple models that reflect different system interpretations or stakeholder perspectives.Table of Contents- 1. Concept and Principles of Measurement. - 2. Metrics of Sustainability and Energy Efficiency of Software Products and Process. - 3. System Energy Consumption Measurement. - 4. GQM and Recommender System for Relevant Metrics. - 5. Metrics Representation and Dashboards. - 6. Architecture of AISEMA System.

Read more less

Book SynopsisThis book discusses an integration of machine learning with metaheuristic techniques that provide more robust and efficient ways to address traditional optimization problems. Modern metaheuristic techniques, along with their main characteristics and recent applications in artificial intelligence, software engineering, data mining, planning and scheduling, logistics and supply chains, are discussed in this book and help global leaders in fast decision making by providing quality solutions to important problems in business, engineering, economics and science. Novel ways are also discovered to attack unsolved problems in software testing and machine learning. The discussion on foundations of optimization and algorithms leads beginners to apply current approaches to optimization problems. The discussed metaheuristic algorithms include genetic algorithms, simulated annealing, ant algorithms, bee algorithms and particle swarm optimization. New developments on metaheuristics attract researchers and practitioners to apply hybrid metaheuristics in real scenarios.Table of ContentsPerformance analysis of Heuristic optimization algorithms for Transportation problem.- Source Code Features Based Branch Coverage Prediction using Ensemble Technique.- Implicit Methods of Multi-Factor Authentication.- Comparative Analysis of different Classifiers Using Machine Learning Algorithm for Diabetes Mellitus.- Survey on Machine Learning Techniques for Software Reliability Accuracy Prediction.- Classification of Pest in Tomato Plants using CNN.- Deep Neural Network Approach For Identifying Good Answers in Community Platforms.- Time Series Analysis of SAR-Cov-2 virus in India using Facebook’s Prophet.- Model-Based Smoke Testing Approach of Service Oriented Architecture (SOA).- Role of Hybrid Evolutionary Approaches for Feature Selection in Classification: A Review.- Evaluation of Deep Learning Models for Detecting Breast Cancer using Mammograms.- Evaluation of Crop Yield Prediction using arsenal and Ensemble Machine learning algorithms.- Notification Based Multichannel MAC (NM-MAC) Protocol for Wireless Body Area Network.- A multi Brain Tumor Classification using a Deep Reinforcement Learning Model.- A Brief Analysis on Security in Healthcare Data using Blockchain.- A Review on Test Case Selection, Prioritization and Minimization in Regression Testing.- Artificial Intelligence Advancement in Pandemic Era.- Predictive technique for Identification of Diabetes using Machine Learning.- Prognosis of Prostate Cancer Using Machine Learning.- Sign language Detection Using Tensorflow Object Detection.- Automated Test Case Prioritization using Machine Learning.- A New Approach To Solve Linear Fuzzy Stochastic Differential Equation.- An Improved Software Reliability Prediction Model by Using Feature Selection and Extreme Learning Machine.- Signal Processing Approaches for Encoded Protein Sequences in Gynaecological Cancer Hotspot Prediction: A Review.- DepNet: Deep Neural Network based model for Estimating the Crowd Count.- Dynamic Stability enhancement of Power system by Sailfish Algorithm tuned fractional SSSC control action.- Application of Machine Learning Model Based Techniques for Prediction of Heart Diseases.- Software Effort and Duration Estimation using SVM and Logistic Regression.- A framework for ranking cloud services based on an integrated BWM-Entropy-TOPSIS Method.- An Efficient and Delay-Aware Path Construction Approach Using Mobile Sink in Wireless Sensor Network.- Application of Different Control Techniques of multi-area Power Systems.- Analysis of An Ensemble Model For Network Intrusion Detection.- D2D Resource Allocation for Joint Power Control in Heterogeneous Cellular Networks.- Prediction of Covid-19 Cases in Kerala based on meteorological parameters using BiLSTM Technique.

Read more less

Book SynopsisThis book constitutes the thoroughly refereed conference proceedings of the First International Workshop on Design and Architecture for Signal and Image Processing, DASIP 2022, held in Budaypest, Hungary in June 2022. The 13 full included in the volume were carefully reviewed and selected from 32 submissions. They are organized in the following topical sections: leading signal, image and video processing and machine learning in custom embedded, edge and cloud computing architectures and systems.Table of ContentsSoftware and Architecture for Telecommunication Systems.- Towards Lightweight Deep-Learning Techniques.- Design Automation and Optimization Techniques for Embedded Hardware and Software.- Optimized Hardware and Software Implementations for Image Processing and Health Applications.

Read more less

Book SynopsisThis two-volume set of LNCS 13393 and LNCS 13394 constitutes - in conjunction with the volume LNAI 13395 - the refereed proceedings of the 18th International Conference on Intelligent Computing, ICIC 2022, held in Xi'an, China, in August 2022. The 209 full papers of the three proceedings volumes were carefully reviewed and selected from 449 submissions.This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was “Advanced Intelligent Computing Technology and Applications”. Papers focused on this theme were solicited, addressing theories, methodologies, and applications in science and technology.Table of ContentsEvolutionary Computing and Learning. Neural Networks.- Pattern Recognition.- Image Processing.- Information Security.- Biomedical Informatics Theory and Methods.- Biomedical Data Modeling and Mining.- Intelligent Computing in Computational Biology.- Computational Genomics and Biomarker Discovery.- Intelligent Computing in Drug Design.- Theoretical Computational Intelligence and Applications.- Fuzzy Theory and Algorithms.- Machine Learning and Data Mining.- Intelligent Computing in Computer Vision.- Intelligent Control and Automation.- Intelligent Data Analysis and Prediction.- Intelligent Computing and Optimization.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, held in Vienna, Austria during August 2022.The 23 full papers presented were carefully reviewed and selected from 45 submissions. The papers are covering a wide range from integrative machine learning approach, considering the importance of data science and visualization for the algorithmic pipeline with a strong emphasis on privacy, data protection, safety and security.Table of ContentsExplain to Not Forget: Defending Catastrophic Forgetting with XAI.- Approximation of SHAP values for Randomized Tree Ensembles.- Color shadows (part I): exploratory usability evaluation of activation maps in radiological machine learning.- Effects of Fairness and Explanation on Trust in Ethical AI.- Towards Refined Classifications driven by SHAP explanations.- Global Intepretable Calibration Index, a New Metric to Estimate Machine Learning Models' Calibration.- The ROC Diagonal is not Layperson’s Chance: a New Baseline Shows the Useful Area.- Debiasing MDI Feature Importance and SHAP values in Tree Ensembles.- The Influence of User Diversity on Motives and Barriers when Using Health Apps - A Conjoint Investigation of the Intention-Behavior Gap.- Identifying Fraud Rings Using Domain Aware Weighted Community Detection.- Capabilities, limitations and challenges of style transfer with CycleGANs: a study on automatic ring design generation.- Semantic Causal Abstraction for Event Prediction.- An Evaluation Study of Intrinsic Motivation Techniques applied to Reinforcement Learning over Hard Exploration Environments.- Towards Generating Financial Reports From Tabular Data Using Transformers.- Evaluating the performance of SOBEK text mining keyword extraction algorithm.- Classification of Screenshot Image Captured in Online Meeting System.- A survey on the application of virtual reality in event-related potential research.- Visualizing Large Collections of URLs Using the Hilbert Curve.- How to Reduce the Time Necessary for Evaluation of Tree-based Models.- An Empirical Analysis of and Guidelines for Synthetic-Data-based Anomaly Detection.- SECI Model in Data-Based Procedure for the Assessment of the Frailty State in Diabetic Patients.- Comparing machine learning correlations to domain experts’ causal knowledge: Employee turnover use case.- Machine learning and knowledge extraction to support work safety for smart forest operations.

Read more less

Book SynopsisThis book constitutes the refereed conference proceedings of the 9th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2022, which was held in Eindhoven, The Netherlands, during August 2022. The 11 full papers presented together with 2 poster and demo papers were carefully reviewed and selected from 25 submissions. The papers focus on the interdependencies between user interface properties and contribute to the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. They are organized in the following topical sections: user-centred design approaches; model-based and model-driven approaches; software development strategies; and posters and demos.

Read more less