Podrobnosti o publikaci:

978-80-7454-731-7
120
2018
anglický
1.
elektronicky

Informace o dostupnosti a ceně publikace:
Kniha je dostupná v Digitální knihovna UTB (dostupné pro FAI UTB).
DIGITÁLNÍ KNIHOVNA UTB

Anotace

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 ke stažení:

Systems Engineering – Formal Modelling Methods (soubor pdf)

O autorech

Doplňující informace o autorech (editorech):

prof. Dr.Eng. Said Krayem

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

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

Podobné publikace