| 软件形式化开发方法是软件工程的重要组成，荟萃了软件工程在原理和科学上的许多精被认为是开发可靠、安全软件的重要途径。本书是《软件工程》的第一卷，本卷给出了离散数学的基本介绍，包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。 |
| Preface Reasons for Writing These Volumes Shortcomings of These Volumes Methods of Approach A New Look at Software Formal Techniques“Light” The“Super Programmer” what Is Software Engineering? The Author’S Aspirations Role of These Volumes in an SE Education Programme Why So Much Material? How to Use These Volumes in a Course Bfief Guide to the Book Guide to This Volume Acknowledgments Part Ⅰ OPENING 1 Introduction 1.1 Setting the Stage 1.2 A Software Engineering Triptych 1.2.1 Software Versus Systems Development 1.2.2 Motivating the Triptych 1.2.3 Domain Engineering 1.2.4 Requirements Engineering 1.2.5 Software Design 1.2.6 Discussion 1.3 Documentation 1.3.1 Document Kinds 1.3.2 Phase，Stage and Step Documents 1.3.3 Informative Documents 1.3.4 Descriptive Documents 1.3.5 Analytic Documents 1.4 Formal：r：echniques and Formal Tools 1.4.1 On Formal Techniques and Languages 1.4.2 Formal Techniques in SE Textbooks 1.4.3 Some Programming Languages 1.4.4 Some Formal Specification Languages 1.4.5 Insufficiency of Current.Formal Languages 1.4.6 Other Formal Tools 1.4.7 Why Formal Techniques and Formal Tools? 1.5 Method and Methodology 1.5.1 Method 1.5.2 Methodology 1.5.3 Discussion 1.5.4 Meta-methodology 1.6 The Very Bases of Software 1.6.1 Didactics and Paradigms 1.6.2 Pragmatics，Semantics and Syntax 1.6.3 On Specification and Programming Paradigms 1.6.4 Descriptions，Prescriptions and Specifications 1.6.5 Metalanguages 1.6.6 Summary 1.7 Aims and Objectives 1.7.1 Aims 1.7.2 Objectives 1.7.3 Discussion 1.8 BibnographiCal Notes 1.9 Exercises Part Ⅱ DISCRETE MATHEMATICS 2 Numbers 3 Sets 4 Cartesians 5 Types 6 Functions 7 A λ-Calculus 8 Algebras 9 Mathematica…… |
内容加载中，请稍后...
商品评论（0条）