Systems Engineering - Formal Modelling Methods
Zobrazit minimální záznam
| dc.contributor.author |
Krayem, Said
|
|
| dc.contributor.author |
Jašek, Roman
|
|
| dc.contributor.author |
Chramcov, Bronislav
|
|
| dc.date.accessioned |
2018-06-25T11:11:35Z |
|
| dc.date.available |
2018-06-25T11:11:35Z |
|
| dc.date.issued |
2018 |
|
| dc.identifier.isbn |
978-80-7454-731-7 |
|
| dc.identifier.uri |
http://hdl.handle.net/10563/41629
|
|
| 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 |
| dc.format.extent |
120 |
en |
| dc.language.iso |
en |
|
| dc.publisher |
Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky |
en |
| dc.rights |
Dostupné pro studenty FAI UTB |
|
| dc.subject |
formal logic
|
en |
| dc.subject |
formal method
|
en |
| dc.subject |
B-method
|
en |
| dc.subject |
Event-B method
|
en |
| dc.subject |
Atelier B
|
en |
| dc.subject |
Rodin
|
en |
| dc.title |
Systems Engineering - Formal Modelling Methods |
en |
| dc.type |
Book |
en |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
Zobrazit minimální záznam
