Share

Formal Foundations of Reuse and Domain Engineering

Download Formal Foundations of Reuse and Domain Engineering PDF Online Free

Author :
Release : 2009-09-11
Genre : Computers
Kind : eBook
Book Rating : 104/5 ( reviews)

GET EBOOK


Book Synopsis Formal Foundations of Reuse and Domain Engineering by : Stephen H. Edwards

Download or read book Formal Foundations of Reuse and Domain Engineering written by Stephen H. Edwards. This book was released on 2009-09-11. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 11th International Conference on Software Reuse, ICSR 2009, held in Falls Church, VA, USA, in September 2009. The 28 full papers were caryfully selected from numerous submissions. 2009 was the year that ICSR went back to its roots. The theme was Formal Foundations of Reuse and Domain Engineering. The theory and formal foundations that underlie current reuse and domain engineering practice were explored and current advancements to get an idea of where the field of reuse was headed, were looked at. Many of the papers in these proceedings reflect that theme, e.g. component reuse and verification, feature modeling, generators and model-driven development, industry experience, product lines, reuse and patterns, service-oriented environments.

Formal and Practical Aspects of Domain-Specific Languages: Recent Developments

Download Formal and Practical Aspects of Domain-Specific Languages: Recent Developments PDF Online Free

Author :
Release : 2012-09-30
Genre : Computers
Kind : eBook
Book Rating : 935/5 ( reviews)

GET EBOOK


Book Synopsis Formal and Practical Aspects of Domain-Specific Languages: Recent Developments by : Mernik, Marjan

Download or read book Formal and Practical Aspects of Domain-Specific Languages: Recent Developments written by Mernik, Marjan. This book was released on 2012-09-30. Available in PDF, EPUB and Kindle. Book excerpt: "This book presents current research on all aspects of domain-specific language for scholars and practitioners in the software engineering fields, providing new results and answers to open problems in DSL research"--

The Domain Theory

Download The Domain Theory PDF Online Free

Author :
Release : 2002-03-01
Genre : Computers
Kind : eBook
Book Rating : 518/5 ( reviews)

GET EBOOK


Book Synopsis The Domain Theory by : Alistair Sutcliffe

Download or read book The Domain Theory written by Alistair Sutcliffe. This book was released on 2002-03-01. Available in PDF, EPUB and Kindle. Book excerpt: Is this book about patterns? Yes and no. It is about software reuse and representation of knowledge that can be reapplied in similar situations; however, it does not follow the classic Alexandine conventions of the patterns community--i.e. Problem- solution- forces- context- example, etc. Chapter 6 on claims comes close to classic patterns, and the whole book can be viewed as a patterns language of abstract models for software engineering and HCI. So what sort of patterns does it contain? Specifications, conceptual models, design advice, but sorry not code. Plenty of other C++ code pattern books (see PLOP series). Nearest relative in published patterns books are Fowler's (1995) Analysis Patterns: Reusable object models and Coad, North and Mayfield. What do you mean by a Domain Theory? Not domains in the abstract mathematical sense, but domains in the knowledge--natural language sense, close to the everyday meaning when we talk about the application domain of a computer system, such as car rental, satellite tracking, whatever. The book is an attempt to answer the question ' what are the abstractions behind car rental, satellite tracking' so good design solutions for those problems can be reused. I work in industry, so what's in it for me? A new way of looking at software reuse, ideas for organizing a software and knowledge reuse program, new processes for reusing knowledge in requirements analysis, conceptual modeling and software specification. I am an academic, should I be interested? Yes if your research involves software engineering, reuse, requirements engineering, human computer interaction, knowledge engineering, ontologies and knowledge management. For teaching it may be useful for Master courses on reuse, requirements and knowledge engineering. More generally if you are interested in exploring what the concept of abstraction is when you extend it beyond programming languages, formal specification, abstract data types, etc towards requirements and domain knowledge. ADDITIONAL COPY: Based on more than 10 years of research by the author, this book is about putting software reuse on a firmer footing. Utilizing a multidisciplinary perspective--psychology and management science, as well as software--it describes the Domain Theory as a solution. The domain theory provides an abstract theory that defines a generic, reusable model of domain knowledge. Providing a comprehensive library of reusable models, practice methods for reuse, and theoretical insight, this book: *introduces the subject area of reuse and software engineering and explains a framework for comparing different reuse approaches; *develops a metric-oriented framework to assess the reuse claims of three competing approaches: patterns, ERPs, and the Domain Theory OSMs (object system models); *explains the psychological background for reuse and describes generic tasks and meta-domains; *introduces claims that provide a representation of design knowledge attached to Domain Theory models, as well as being a schema for representing reusable knowledge in nearly any form; *reports research that resulted from the convergence of the two theories; *describes the methods, techniques, and guidelines of design for reuse--the process of abstraction; and *elaborates the framework to investigate the future of reuse by different paradigms, generation of applications from requirements languages, and component-based software engineering via reuse libraries.

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines

Download Handbook of Re-Engineering Software Intensive Systems into Software Product Lines PDF Online Free

Author :
Release : 2022-11-22
Genre : Computers
Kind : eBook
Book Rating : 860/5 ( reviews)

GET EBOOK


Book Synopsis Handbook of Re-Engineering Software Intensive Systems into Software Product Lines by : Roberto E. Lopez-Herrejon

Download or read book Handbook of Re-Engineering Software Intensive Systems into Software Product Lines written by Roberto E. Lopez-Herrejon. This book was released on 2022-11-22. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Formalizing Data-Centric Web Services

Download Formalizing Data-Centric Web Services PDF Online Free

Author :
Release : 2015-11-04
Genre : Computers
Kind : eBook
Book Rating : 78X/5 ( reviews)

GET EBOOK


Book Synopsis Formalizing Data-Centric Web Services by : Iman Saleh

Download or read book Formalizing Data-Centric Web Services written by Iman Saleh. This book was released on 2015-11-04. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services. The formal specification enables verification of service behavior, and the proposed methodology is based on formal methods and design-by-contract techniques. The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online organizations today, such as Amazon, PayPal and FedEx, provide services for users and consumers. They also allow third-party vendors to resell their services. In both cases, this requires precise and complete specification of service offerings. Several online discussions demonstrate the challenges faced by these organizations and others while describing their data-centric Web services. These challenges surrounding data specification can lead consumers to use a service erroneously. Case studies demonstrate how formal methods, and specifically design-by-contract techniques, can be leveraged to address the lack of formal specification of data when it comes to developing Web applications such as Amazon and PayPal.

You may also like...