Software Engineering Principles

  1. Advanced Principles and Formal Methods
    1. Principle of Rigor and Formality
      1. Mathematical Foundations
        1. Formal Specification Languages
          1. Proof Techniques
            1. Verification Methods
            2. Formal Methods
              1. Model Checking
                1. State Space Exploration
                  1. Temporal Logic
                    1. Verification Tools
                    2. Theorem Proving
                      1. Logical Reasoning
                        1. Proof Assistants
                          1. Correctness Proofs
                          2. Formal Specification
                            1. Specification Languages
                              1. Contract-Based Design
                                1. Behavioral Specifications
                              2. Model-Based Development
                                1. System Modeling
                                  1. UML Modeling
                                    1. Domain-Specific Languages
                                      1. Architectural Models
                                      2. Model Transformation
                                        1. Code Generation
                                          1. Model-to-Model Transformation
                                            1. Platform-Specific Models
                                            2. Model Verification
                                              1. Model Validation
                                                1. Consistency Checking
                                                  1. Completeness Analysis

                                              Previous

                                              8. Architectural and System-Level Principles

                                              Go to top

                                              Next

                                              10. Principles in Practice