Systems Engineering – Formal Modelling Methods

Prohlížíte si: Systems Engineering – Formal Modelling Methods

Zobrazit plný text

Systems Engineering – Formal Modelling Methods

Systems are increasingly dependent on software components. The complexity of systems with embedded software has increased rapidly. Maintaining reliability in software-intensive systems is very difficult.

Dostupnost: Text je dostupný pouze pro FAI UTB ve Zlíně

Publikace je dostupná on-line

Zobrazit plný text

Popis

Systems are increasingly dependent on software components. The complexity of systems with embedded software has increased rapidly. Maintaining reliability in software-intensive systems is very difficult. Every Software engineering methodology is based on a recommended development process proceeding through several phases: Analysis, Specification, Design, Coding, Unit Testing, Integration and System Testing, Maintenance. Formal methods can be a foundation for describing complex systems, a foundation for reasoning about systems and provide support for program development, complementary approach to the methodology! The text deals with the Event-B method in more detail. Event-B is an evolution of B-Method developed by Jean-Raymond Abrial. The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software.

Obsah publikace

Obsah publikace Systems Engineering – Formal Modelling Methods

O autorech

prof. Dr.Eng. Said Krayem

prof. Mgr. Roman Jašek, Ph.D., DBA (profesní informace na webových stránkách UTB ve Zlíně)

doc. Ing. Bronislav Chramcov, Ph.D. (profesní informace na webových stránkách UTB ve Zlíně)

Další informace

Autor publikace

, ,

ISBN

978-80-7454-731-7

Rok vydání

Jazyk

anglický

Vazba

elektronicky

Vydání

1.

Počet stran

120