"Software Engineering" Reading notes of the second

The fifth chapter: Formal method in software engineering.

The basic concepts of formalization (formal specification, formal proof and validation, procedural refinement), Logic of events (general linear State Logic, Computational tree logic), model tests, Z Language concepts, representations, examples, basic definitions of Petri nets, specification examples (semaphores).

The sixth chapter: Object-Oriented Foundation.

An overview of the object-oriented approach (history, software engineering methodology), object-oriented concepts (objects, classes, encapsulation, inheritance, messaging, association, aggregation, polymorphism), software modeling, Unified Modeling Language UML, Common UML diagrams.

The seventh chapter: Object-Oriented Analysis

Concepts (Analysis classes, analysis activities). Identify analysis classes (identify boundary classes, identify control classes, identify entity classes), define interaction behavior, analyze class diagrams

The eighth chapter: Object-oriented design

Design activities, rules, software architecture, system design, detailed design, application design patterns and user interface design, design documentation.

"Software Engineering" Reading notes of the second