Software Engineering

Preface1 Introduction and Definitions Problem Categories and Specifications Algorithms, Entities and Actions The Processor, Sensor and Effector Memory Program Design Artificial Language The Program Methods and Rules of Program Design2 Entities Introduction Information and Consistency Domains Atomic Information Main Types of Information Time and Event Compound Information, Fields and Groups Data Collection Records Files Data Base Organization and Access Organization of a File Access in a File Organization of a Data Base in a Network of Plex Structure Access in a Network or Plex Data Base Relational Organizations of a Data Base Access in a Relational Data Base Other Entities3 Actions Executable, Non-Executable, Access and Interrogative Statements Elementary Statements Structure of a Statement Vocabulary Compound Statements Procedural and Non-Procedural Languages Vocabulary Statements' Collections Blocks Procedures, Tasks, Sub-Programs and Functions Other Statements4 Criteria of Quality in Software Design General and Technical Criteria General Criteria of Quality Feasibility Versatility Functional Modularization and Generality Reliability and the Testing Strategy Rule Planning, Comprehensibility and Security Technical Criteria of Quality Classification Cost of the Program Design (Languages) Cost of the Necessary System Conclusion5 Structuralism of Entities Introduction Types of Entities' Structure Table and Network Structures and Typology Difficulty of Choosing Entities' Structures Table Structure Definitions: Tables, Keys, Arrays, Indices and Vectors Logical Access and Translations Types of Table Network Structure Definitions: Pointer, Tree Structure, Node, Root and Chain Logical Access and Translations Network Types Sorting Sorting for a Table Sorting for a Network Conclusion6 Structuralism of Actions Introduction Types of Actions' Structure Definitions Difficulty of Choosing Actions' Structure Programming Using the Tree Approach Description Advantages and Restraints Observance of the Rules of Program Design Feasibility Rule Versatility and Generality Rules Rules of Functional Modularization and Planning Reliability and Testing Strategy Rules Comprehensibility and Security Rules Parallel Executions Task and Event Sequence Loops and Selection Synchronization; Time Queries Priorities The Effector and Inconsistent States Transactions Critical Phase and Mutual Exclusion Competition, Locks and Semaphore Cooperation, Guards and Messages Deadlocks