Systems Engineering - Formal Modelling Methods

Repozitář DSpace/Manakin

Jazyk: English čeština 

Systems Engineering - Formal Modelling Methods

Zobrazit celý záznam

Thumbnail
Název: Systems Engineering - Formal Modelling Methods
Autor: Krayem, Said; Jašek, Roman; Chramcov, Bronislav
ISBN: 978-80-7454-731-7
URI: http://hdl.handle.net/10563/41629
Datum: 2018
Vydavatel: Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky
Počet stran:
Dostupnost: Dostupné pro studenty FAI UTB


Abstrakt:

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.

Soubory tohoto záznamu

Soubory Velikost Formát Zobrazit Popis
Systems_Enginee ... Modelling_Methods_2018.pdfZablokované 4.427Mb PDF Skripta - plný text PDF
Systems_Enginee ... ing_Methods_2018-obsah.pdf 108.7Kb PDF Zobrazit/otevřít Obsah

Tento záznam se objevuje v následujících kolekcích

Zobrazit celý záznam

Find fulltext

Prohledat DSpace


Procházet

Můj účet