Author: Dinesh Verma
Publisher: Springer Nature
ISBN: 3031491793
Category :
Languages : en
Pages : 686
Book Description
The Proceedings of the 2023 Conference on Systems Engineering Research
Author: Dinesh Verma
Publisher: Springer Nature
ISBN: 3031491793
Category :
Languages : en
Pages : 686
Book Description
Publisher: Springer Nature
ISBN: 3031491793
Category :
Languages : en
Pages : 686
Book Description
Software Reuse
Author: Ivar Jacobson
Publisher: Addison-Wesley Professional
ISBN:
Category : Computers
Languages : en
Pages : 536
Book Description
Introducing the reuse-driven software engineering business; Architectural style; Processes; Organizing a reuse business.
Publisher: Addison-Wesley Professional
ISBN:
Category : Computers
Languages : en
Pages : 536
Book Description
Introducing the reuse-driven software engineering business; Architectural style; Processes; Organizing a reuse business.
Advanced Information Systems Engineering
Author: Marcello La Rosa
Publisher: Springer Nature
ISBN: 3030793826
Category : Computers
Languages : en
Pages : 568
Book Description
This book constitutes the proceedings of the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, which was held online during June 28-July 2, 2021. The conference was planned to take place in Melbourne, Australia, and changed to an online format due to the COVID-19 pandemic. The papers included in these proceedings focus on intelligent information systems and deal with novel approaches to IS engineering; models, methods and techniques in IS engineering; architectures and platforms for IS engineering; and domain specific and multi-aspect in IS engineering.
Publisher: Springer Nature
ISBN: 3030793826
Category : Computers
Languages : en
Pages : 568
Book Description
This book constitutes the proceedings of the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, which was held online during June 28-July 2, 2021. The conference was planned to take place in Melbourne, Australia, and changed to an online format due to the COVID-19 pandemic. The papers included in these proceedings focus on intelligent information systems and deal with novel approaches to IS engineering; models, methods and techniques in IS engineering; architectures and platforms for IS engineering; and domain specific and multi-aspect in IS engineering.
PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023
Author: Alexander Nadel
Publisher: TU Wien Academic Press
ISBN: 3854480601
Category : Computers
Languages : en
Pages : 332
Book Description
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
Publisher: TU Wien Academic Press
ISBN: 3854480601
Category : Computers
Languages : en
Pages : 332
Book Description
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
UML-Based Software Product Line Engineering with SMarty
Author: Edson OliveiraJr
Publisher: Springer Nature
ISBN: 3031185560
Category : Computers
Languages : en
Pages : 517
Book Description
This book is about software product lines (SPLs) designed and developed taking UML diagrams as the primary basis, modeled according to a rigorous approach composed of an UML profile and a systematic process for variability management activities, forming the Stereotype-based Management of Variability (SMarty) approach. The book consists of five parts. Part I provides essential concepts on SPL in terms of the first development methodologies. It also introduces variability concepts and discusses SPL architectures finishing with the SMarty approach. Part II is focused on the design, verification and validation of SMarty SPLs, and Part III concentrates on the SPL architecture evolution based on ISO/IEC metrics, the SystEM-PLA method, optimization with the MOA4PLA method, and feature interaction prevention. Next, Part IV presents SMarty as a basis for SPL development, such as, the M-SPLearning SPL for mobile learning applications, the PLeTs SPL for testing tools, the PlugSPL plugin environment for supporting the SPL life cycle, the SyMPLES approach for designing embedded systems with SysML, the SMartySPEM approach for software process lines (SPrL), and re-engineering of class diagrams into an SPL. Eventually, Part V promotes controlled experimentation in UML-based SPLs, presenting essential concepts on how to plan, conduct, and document experiments, as well as showing several experiments carried out with SMarty. This book aims at lecturers, graduate students and experienced practitioners. Lecturers might use the book for graduate level courses about SPL fundamentals and tools; students will learn about the SPL engineering process, variability management, and mass customization; and practitioners will see how to plan the transition from single-product development to an SPL-based process, how to document inherent variability in a given domain, or how to apply controlled experiments to SPLs.
Publisher: Springer Nature
ISBN: 3031185560
Category : Computers
Languages : en
Pages : 517
Book Description
This book is about software product lines (SPLs) designed and developed taking UML diagrams as the primary basis, modeled according to a rigorous approach composed of an UML profile and a systematic process for variability management activities, forming the Stereotype-based Management of Variability (SMarty) approach. The book consists of five parts. Part I provides essential concepts on SPL in terms of the first development methodologies. It also introduces variability concepts and discusses SPL architectures finishing with the SMarty approach. Part II is focused on the design, verification and validation of SMarty SPLs, and Part III concentrates on the SPL architecture evolution based on ISO/IEC metrics, the SystEM-PLA method, optimization with the MOA4PLA method, and feature interaction prevention. Next, Part IV presents SMarty as a basis for SPL development, such as, the M-SPLearning SPL for mobile learning applications, the PLeTs SPL for testing tools, the PlugSPL plugin environment for supporting the SPL life cycle, the SyMPLES approach for designing embedded systems with SysML, the SMartySPEM approach for software process lines (SPrL), and re-engineering of class diagrams into an SPL. Eventually, Part V promotes controlled experimentation in UML-based SPLs, presenting essential concepts on how to plan, conduct, and document experiments, as well as showing several experiments carried out with SMarty. This book aims at lecturers, graduate students and experienced practitioners. Lecturers might use the book for graduate level courses about SPL fundamentals and tools; students will learn about the SPL engineering process, variability management, and mass customization; and practitioners will see how to plan the transition from single-product development to an SPL-based process, how to document inherent variability in a given domain, or how to apply controlled experiments to SPLs.
Transdisciplinary Lifecycle Analysis of Systems
Author: Richard Curran
Publisher:
ISBN: 9781614995432
Category : Concurrent engineering
Languages : en
Pages : 0
Book Description
Concurrent Engineering (CE) is based on the premise that different phases of a product's lifecycle should be conducted concurrently and initiated as early as possible within the Product Creation Process (PCP). It has become the substantive basic methodology in many industries, including automotive, aerospace, machinery, shipbuilding, consumer goods, process industry and environmental engineering. CE aims to increase the efficiency of the PCP and reduce errors in later phases while incorporating considerations for full lifecycle and through-life operations.This book presents the proceedings of the 22nd ISPE Inc. (International Society for Productivity Enhancement) International Conference on Concurrent Engineering (CE2015) entitled 'Transdisciplinary Lifecycle Analysis of Systems', and held in Delft, the Netherlands, in July 2015. It is the second in the series 'Advances in Transdisciplinary Engineering'. The book includes 63 peer reviewed papers and 2 keynote speeches arranged in 10 sections: keynote speeches; systems engineering; customization and variability management; production oriented design, maintenance and repair; design methods and knowledge-based engineering; multidisciplinary product management; sustainable product development; service oriented design; product lifecycle management; and trends in CE. Containing papers ranging from the theoretical and conceptual to the highly pragmatic, this book will be of interest to all engineering professionals and practitioners; researchers, designers and educators.
Publisher:
ISBN: 9781614995432
Category : Concurrent engineering
Languages : en
Pages : 0
Book Description
Concurrent Engineering (CE) is based on the premise that different phases of a product's lifecycle should be conducted concurrently and initiated as early as possible within the Product Creation Process (PCP). It has become the substantive basic methodology in many industries, including automotive, aerospace, machinery, shipbuilding, consumer goods, process industry and environmental engineering. CE aims to increase the efficiency of the PCP and reduce errors in later phases while incorporating considerations for full lifecycle and through-life operations.This book presents the proceedings of the 22nd ISPE Inc. (International Society for Productivity Enhancement) International Conference on Concurrent Engineering (CE2015) entitled 'Transdisciplinary Lifecycle Analysis of Systems', and held in Delft, the Netherlands, in July 2015. It is the second in the series 'Advances in Transdisciplinary Engineering'. The book includes 63 peer reviewed papers and 2 keynote speeches arranged in 10 sections: keynote speeches; systems engineering; customization and variability management; production oriented design, maintenance and repair; design methods and knowledge-based engineering; multidisciplinary product management; sustainable product development; service oriented design; product lifecycle management; and trends in CE. Containing papers ranging from the theoretical and conceptual to the highly pragmatic, this book will be of interest to all engineering professionals and practitioners; researchers, designers and educators.
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Author: Roberto E. Lopez-Herrejon
Publisher: Springer Nature
ISBN: 3031116860
Category : Computers
Languages : en
Pages : 535
Book Description
This handbook distils the wealth of expertise and knowledge from a large community of researchers and industrial practitioners in Software Product Lines (SPLs) gained through extensive and rigorous theoretical, empirical, and applied research. It is a timely compilation of well-established and cutting-edge approaches that can be leveraged by those facing the prevailing and daunting challenge of re-engineering their systems into SPLs. The selection of chapters provides readers with a wide and diverse perspective that reflects the complementary and varied expertise of the chapter authors. This perspective covers the re-engineering processes, from planning to execution. SPLs are families of systems that share common assets, allowing a disciplined software reuse. The adoption of SPL practices has shown to enable significant technical and economic benefits for the companies that employ them. However, successful SPLs rarely start from scratch, but instead, they usually start from a set of existing systems that must undergo well-defined re-engineering processes to unleash new levels of productivity and competitiveness. Practitioners will benefit from the lessons learned by the community, captured in the array of methodological and technological alternatives presented in the chapters of the handbook, and will gain the confidence for undertaking their own re-engineering challenges. Researchers and educators will find a valuable single-entry point to quickly become familiar with the state-of-the-art on the topic and the open research opportunities; including undergraduate, graduate students, and R&D engineers who want to have a comprehensive understanding of techniques in reverse engineering and re-engineering of variability-rich software systems.
Publisher: Springer Nature
ISBN: 3031116860
Category : Computers
Languages : en
Pages : 535
Book Description
This handbook distils the wealth of expertise and knowledge from a large community of researchers and industrial practitioners in Software Product Lines (SPLs) gained through extensive and rigorous theoretical, empirical, and applied research. It is a timely compilation of well-established and cutting-edge approaches that can be leveraged by those facing the prevailing and daunting challenge of re-engineering their systems into SPLs. The selection of chapters provides readers with a wide and diverse perspective that reflects the complementary and varied expertise of the chapter authors. This perspective covers the re-engineering processes, from planning to execution. SPLs are families of systems that share common assets, allowing a disciplined software reuse. The adoption of SPL practices has shown to enable significant technical and economic benefits for the companies that employ them. However, successful SPLs rarely start from scratch, but instead, they usually start from a set of existing systems that must undergo well-defined re-engineering processes to unleash new levels of productivity and competitiveness. Practitioners will benefit from the lessons learned by the community, captured in the array of methodological and technological alternatives presented in the chapters of the handbook, and will gain the confidence for undertaking their own re-engineering challenges. Researchers and educators will find a valuable single-entry point to quickly become familiar with the state-of-the-art on the topic and the open research opportunities; including undergraduate, graduate students, and R&D engineers who want to have a comprehensive understanding of techniques in reverse engineering and re-engineering of variability-rich software systems.
Integrated Formal Methods
Author: Nikolai Kosmatov
Publisher: Springer Nature
ISBN: 3031765540
Category :
Languages : en
Pages : 336
Book Description
Publisher: Springer Nature
ISBN: 3031765540
Category :
Languages : en
Pages : 336
Book Description
Feature-Oriented Software Product Lines
Author: Sven Apel
Publisher: Springer Science & Business Media
ISBN: 3642375219
Category : Computers
Languages : en
Pages : 320
Book Description
While standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it often does not address smaller market segments, nor the needs and wishes of individual customers. Software product lines reconcile mass production and standardization with mass customization in software engineering. Ideally, based on a set of reusable parts, a software manufacturer can generate a software product based on the requirements of its customer. The concept of features is central to achieving this level of automation, because features bridge the gap between the requirements the customer has and the functionality a product provides. Thus features are a central concept in all phases of product-line development. The authors take a developer’s viewpoint, focus on the development, maintenance, and implementation of product-line variability, and especially concentrate on automated product derivation based on a user’s feature selection. The book consists of three parts. Part I provides a general introduction to feature-oriented software product lines, describing the product-line approach and introducing the product-line development process with its two elements of domain and application engineering. The pivotal part II covers a wide variety of implementation techniques including design patterns, frameworks, components, feature-oriented programming, and aspect-oriented programming, as well as tool-based approaches including preprocessors, build systems, version-control systems, and virtual separation of concerns. Finally, part III is devoted to advanced topics related to feature-oriented product lines like refactoring, feature interaction, and analysis tools specific to product lines. In addition, an appendix lists various helpful tools for software product-line development, along with a description of how they relate to the topics covered in this book. To tie the book together, the authors use two running examples that are well documented in the product-line literature: data management for embedded systems, and variations of graph data structures. They start every chapter by explicitly stating the respective learning goals and finish it with a set of exercises; additional teaching material is also available online. All these features make the book ideally suited for teaching – both for academic classes and for professionals interested in self-study.
Publisher: Springer Science & Business Media
ISBN: 3642375219
Category : Computers
Languages : en
Pages : 320
Book Description
While standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it often does not address smaller market segments, nor the needs and wishes of individual customers. Software product lines reconcile mass production and standardization with mass customization in software engineering. Ideally, based on a set of reusable parts, a software manufacturer can generate a software product based on the requirements of its customer. The concept of features is central to achieving this level of automation, because features bridge the gap between the requirements the customer has and the functionality a product provides. Thus features are a central concept in all phases of product-line development. The authors take a developer’s viewpoint, focus on the development, maintenance, and implementation of product-line variability, and especially concentrate on automated product derivation based on a user’s feature selection. The book consists of three parts. Part I provides a general introduction to feature-oriented software product lines, describing the product-line approach and introducing the product-line development process with its two elements of domain and application engineering. The pivotal part II covers a wide variety of implementation techniques including design patterns, frameworks, components, feature-oriented programming, and aspect-oriented programming, as well as tool-based approaches including preprocessors, build systems, version-control systems, and virtual separation of concerns. Finally, part III is devoted to advanced topics related to feature-oriented product lines like refactoring, feature interaction, and analysis tools specific to product lines. In addition, an appendix lists various helpful tools for software product-line development, along with a description of how they relate to the topics covered in this book. To tie the book together, the authors use two running examples that are well documented in the product-line literature: data management for embedded systems, and variations of graph data structures. They start every chapter by explicitly stating the respective learning goals and finish it with a set of exercises; additional teaching material is also available online. All these features make the book ideally suited for teaching – both for academic classes and for professionals interested in self-study.
Feature Models
Author: ALEXANDER. FALKNER FELFERNIG (ANDREAS. BENAVIDES, DAVID.)
Publisher: Springer Nature
ISBN: 3031618742
Category : Artificial intelligence
Languages : en
Pages : 129
Book Description
This open access book provides a basic introduction to feature modelling and analysis as well as to the integration of AI methods with feature modelling. It is intended as an introduction for researchers and practitioners who are new to the field and will also serve as a state-of-the-art reference to this audience. While focusing on the AI perspective, the book covers the topics of feature modelling (including languages and semantics), feature model analysis, and interacting with feature model configurators. These topics are discussed along the AI areas of knowledge representation and reasoning, explainable AI, and machine learning.
Publisher: Springer Nature
ISBN: 3031618742
Category : Artificial intelligence
Languages : en
Pages : 129
Book Description
This open access book provides a basic introduction to feature modelling and analysis as well as to the integration of AI methods with feature modelling. It is intended as an introduction for researchers and practitioners who are new to the field and will also serve as a state-of-the-art reference to this audience. While focusing on the AI perspective, the book covers the topics of feature modelling (including languages and semantics), feature model analysis, and interacting with feature model configurators. These topics are discussed along the AI areas of knowledge representation and reasoning, explainable AI, and machine learning.