[...]... software engineering practices Software engineering appears still to be a young and immature science and engineering discipline characterized by a wide variety of segmented knowledge, a lack of a theoretical framework, and a bountiful inefficient industrial practice To deal with the difficulties inherent in large-scale software development, rigorous and transdisciplinary foundations of software engineering. .. Principles of Software Industry Organization 14.3.2.1 Basic Principles of Software Industrial Organization 14.3.2.2 Separation of Software Designers, Builders, Quality Assurors, and Maintainers in Software Engineering 14.3.2.3 Distributed Time-Shared Development in Software Engineering 14.3.3 A Perspective on the Software Maintenance Crisis 14.3.3.1 The Mathematical Model of Software Maintenance Crisis... Software Engineering Experiments 8.6.3 Software Engineering Trials 8.6.4 Software Engineering Benchmarking 8.6.4.1 The IBM European Benchmarks on Software Engineering Practices 8.6.4.2 The SEPRM Benchmarks on Software Engineering Processes 8.6.5 Software Engineering Standardization 8.6.5.1 Software Development Standards 8.6.5.2 Software Quality Standards 8.6.5.3 Software Engineering Process Standards 8.7... of software science on the basis of the transdisciplinary and theoretical studies on software engineering, as well as the observation on the generic pattern of science and engineering discipline maturity This book adopts a rigorous approach to explore the theoretical and empirical foundations of software engineering It is a great curiosity to investigate into the transdisciplinary foundations of software. .. engineering are yet to be explored A particular gap in the current software engineering curriculum is the missing of a fundamental framework that would provide students and practitioners for overarching, durable, and transdisciplinary theories, in order to explain a great many complicated phenomena and problems of software engineering in terms of a core set of theoretical and organizational foundations. .. Constraints of Software Engineering C Empirical Principles of Software Engineering D Models of Entities and Structures of Software Engineering E Wang’s Laws of Software Engineering F Wang’s Formal Principles of Software Engineering G The Type System of Software Engineering H Meta Processes of Software Engineering I Algebraic Process Relations of Software Engineering J Deductive Semantics of Software Engineering. .. of software engineering and the laws and theories behind them It is also a great joyance to see a wide variety of complicated phenomena and empirical practices in software engineering can perfectly fit in the proposed theoretical framework of software science and engineering The Features of this Book This book is characterized both as a comprehensive reference text for practitioners and as a vade mecum... organizational, and resource constraints to software engineering • To reveal that all the fundamental problems in software engineering are necessarily complicated theoretical problems rather than only empirical ones • To recognize the need for multi-facet and transdisciplinary theories and empirical knowledge for software engineering • To highlight that a rigorous and formal approach is needed to seek the fundamental... both software system architectures and static/dynamic behaviors, supplemented with the support of automatic code generation systems, to software engineering © 2008 by Taylor & Francis Group, LLC Preface xxxvii • To understand that the ultimate goal of software engineering is automated code generation, rather than intensive programmercentered practice Therefore, any mathematical, theoretical, and empirical... Denotational Semantics 6.5.1.4 Axiomatic Semantics 6.5.1.5 Algebraic Semantics 6.5.1.6 Deductive Semantics 6.5.2 Denotational Semantics 6.5.2.1 Syntactic and Semantic Domains of Denotational Semantics 6.5.2.2 Description of Syntactic Domains of the Sample Language SPL 6.5.2.3 Semantic Analysis using Denotational Semantics 6.5.2.4 Semantics of Programs in SPL 6.5.3 Deductive Semantics 6.5.3.1 The Mathematical . 0-8493-0418-0 Other Auerbach Publications in Software Development, Software Engineering, and Project Management © 2008 by Taylor & Francis Group, LLC SOFTWARE ENGINEERING FOUNDATIONS A SOFTWARE SCIENCE PERSPECTIVE YINGXU. 0-8493-0524-1 The Art of Software Modeling Benjamin A. Lieberman ISBN: 1-4200-4462-1 Database and Applications Security: Integrating Information Security and Data Management Bhavani Thuraisingham ISBN:. Computing Foundations of Software Engineering 6. Linguistics Foundations of Software Engineering 7. Information Science Foundations of Software Engineering Part III. Organizational Foundations