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