Engineered Software Systems 1993 - Proceedings Of The International Sym.


Book Description

The continued growth in the design and implementation of software systems that utilize the principles of software engineering led to the calling of this landmark conference. It was an opportunity for vendors, academics, practitioners and graduate students to discuss experiences, problems and successes in software systems and the real effects that 'Software Engineering' methodologies have actually had in the world of computer software.




Engineering Dependable Software Systems


Book Description

Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced Study Institute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany, in July and August 2012. This two week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, deductively verified software, model checking, performance analysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems.




EDA for IC System Design, Verification, and Testing


Book Description

Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The first volume, EDA for IC System Design, Verification, and Testing, thoroughly examines system-level design, microarchitectural design, logical verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for IC designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. Save on the complete set.




The Domain Theory


Book Description

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.




International Symposium on Fundamentals of Software Engineering


Book Description

This book constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007. The topics include models of programs and systems, software architectures and their description languages, object and multi-agent systems, coordination and feature interaction, component-based development, service-oriented development, model checking and theorem proving, software and hardware verification and CASE tools and tool integration.




Managing Corporate Information Systems Evolution and Maintenance


Book Description

This book addresses the recent developments in systems maintenance research and practices ranging from technicality of systems evolution to managerial aspects of the topic, including issues such as evolving legacy systems to e-business, applying patterns for reengineering legacy systems to web, architectural recovery of legacy systems, evolving legacy systems into software components.




INCOSE Systems Engineering Handbook


Book Description

SYSTEMS ENGINEERING HANDBOOK A comprehensive reference on the discipline and practice of systems engineering Systems engineering practitioners provide a wide range of vital functions, conceiving, developing, and supporting complex engineered systems with many interacting elements. The International Council on Systems Engineering (INCOSE) Systems Engineering Handbook describes the state-of-the-good-practice of systems engineering. The result is a comprehensive guide to systems engineering activities across any number of possible projects. From automotive to defense to healthcare to infrastructure, systems engineering practitioners are at the heart of any project built on complex systems. INCOSE Systems Engineering Handbook readers will find: Elaboration on the key systems life cycle processes described in ISO/IEC/IEEE 15288:2023; Chapters covering key systems engineering concepts, system life cycle processes and methods, tailoring and application considerations, systems engineering in practice, and more; and Appendices, including an N2 diagram of the systems engineering processes and a detailed topical index. The INCOSE Systems Engineering Handbook is a vital reference for systems engineering practitioners and engineers in other disciplines looking to perform or understand the discipline of systems engineering.







Proceedings


Book Description

Proceedings of the 4th International Symposium on Software Reliability Engineering held in Denver, Colorado, in November 1993. Among the topics: fault tolerant software, software reliability expectations, and simulation programming. Acidic paper. No index. Annotation copyright Book News, Inc. Portla




Advanced Intelligent Computing Theories and Applications


Book Description

This volume, in conjunction with the two volumes LNCS 4681 and LNAI 4682, constitutes the refereed proceedings of the Third International Conference on Intelligent Computing held in Qingdao, China, in August 2007. The conference sought to establish contemporary intelligent computing techniques as an integral method that underscores trends in advanced computational intelligence and links theoretical research with applications.