Systems Engineering - Formal Modelling Methods

DSpace Repository


Language: English čeština 

Systems Engineering - Formal Modelling Methods

Show simple item record Krayem, Said Jašek, Roman Chramcov, Bronislav 2018-06-25T11:11:35Z 2018-06-25T11:11:35Z 2018
dc.identifier.isbn 978-80-7454-731-7 en_US
dc.description.abstract 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. en_US
dc.format.extent 120 en_US
dc.language.iso en en_US
dc.publisher Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky en_US
dc.rights Dostupné pro studenty FAI UTB en_US
dc.subject formal logic en_US
dc.subject formal method en_US
dc.subject B-method en_US
dc.subject Event-B method en_US
dc.subject Atelier B en_US
dc.subject Rodin en_US
dc.title Systems Engineering - Formal Modelling Methods en_US
dc.type Book en_US

Files in this item

Files Size Format View Description
Systems_Enginee ... Modelling_Methods_2018.pdfBlocked 4.427Mb PDF View/Open Skripta - plný text PDF
Systems_Enginee ... ing_Methods_2018-obsah.pdf 108.7Kb PDF View/Open Obsah

This item appears in the following Collection(s)

Show simple item record

Find fulltext

Search DSpace


My Account