Match the following:A- Formal mathematical transformation:B- Formal process model:C-Formal Specifications:D-Formal System development:1- Here the formal mathema- tical representation of the system takes place.2- It is a starting point for process analysis. It is abstract and only defines the principal process activities and deliverables.3-Specifications expressed in a language whose vocabulary, syntax and semantics are formally defined.4-It is more common to waterfall model, but here the development process is based on formal mathematical transformation of a system specification to an exactable program.

Software engineering is an engineering-based approach to software development.  A software engineer is a person who applies the engineering design process to design, develop, maintain, test, and evaluate computer software. The term programmer is sometimes used as a synonym, but may also refer more to implementation rather than design and can also lack connotations of engineering education or skills. Engineering techniques are used to inform the software development process, which involves the definition, implementation, assessment, measurement, management, change, and improvement of the... Show more

Software engineering is an engineering-based approach to software development. 

A software engineer is a person who applies the engineering design process to design, develop, maintain, test, and evaluate computer software. The term programmer is sometimes used as a synonym, but may also refer more to implementation rather than design and can also lack connotations of engineering education or skills.

Engineering techniques are used to inform the software development process, which involves the definition, implementation, assessment, measurement, management, change, and improvement of the software life cycle process itself.

Software Engineering heavily uses software configuration management, which is about systematically controlling changes to the configuration, and maintaining the integrity and traceability of the configuration and code throughout the system life cycle. 

Modern processes use software versioning - process of assigning either unique version names or unique version numbers to unique states of computer software. 

(Source: Wikipedia)

Software Engineering is defined thus at Google:
"'software engineering' encompasses not just the act of writing code, but all of the tools and processes an organization uses to build and maintain that code over time. [...] Software engineering can be thought of as 'programming integrated over time.'"

Show less