×
![]()
| Θέση | Πεδίο ορισμού | Σελίδα | Δράσεις |
|---|---|---|---|
| 1 | www.ispras.ru | /publications/2014/u... | |
|
Πλήρης διεύθυνση URL
Τίτλος
Rodin — платформа для разработки и верификации ...
Τελευταία Ενημέρωση
N/A
Αρχή σελίδας
N/A
Κυκλοφορία:
N/A
Επιστροφή συνδέσμους:
N/A
Μερίδια κοινωνικής δικτύωσης:
N/A
Χρόνος φόρτωσης:
N/A
Προεπισκόπηση αποσπάσματος:
В докладе рассказывается о свободной платформе Rodin, которая предоставляет среду для разработки, анализа и верификации моделей на Event-B . Полный текст ... |
|||
| 2 | wasp.iis.nsk.su | /pres/fe_lecture1.pd... | |
|
Πλήρης διεύθυνση URL
Τίτλος
Спецификация и верификация моделей в системе Event-B
Τελευταία Ενημέρωση
N/A
Αρχή σελίδας
N/A
Κυκλοφορία:
N/A
Επιστροφή συνδέσμους:
N/A
Μερίδια κοινωνικής δικτύωσης:
N/A
Χρόνος φόρτωσης:
N/A
Προεπισκόπηση αποσπάσματος:
Event-B применяется для разработки и верификации моделей в системной и программной инженерии только в классе программ-процессов (систем управления). Язык Event- ... |
|||
| 3 | www.southampton.ac.uk | /~tsh2n14/publicatio... | |
|
Πλήρης διεύθυνση URL
Τίτλος
An Introduction to the Event-B Modelling Method
Τελευταία Ενημέρωση
N/A
Αρχή σελίδας
N/A
Κυκλοφορία:
N/A
Επιστροφή συνδέσμους:
N/A
Μερίδια κοινωνικής δικτύωσης:
N/A
Χρόνος φόρτωσης:
N/A
Προεπισκόπηση αποσπάσματος:
Автор |
|||
| 4 | eventb-soton.github.io | / | |
|
Πλήρης διεύθυνση URL
Τίτλος
Event-B
Τελευταία Ενημέρωση
N/A
Αρχή σελίδας
N/A
Κυκλοφορία:
N/A
Επιστροφή συνδέσμους:
N/A
Μερίδια κοινωνικής δικτύωσης:
N/A
Χρόνος φόρτωσης:
N/A
Προεπισκόπηση αποσπάσματος:
The use of formal modelling to clearly specify and analyse requirements and designs helps to eliminate many defects prior to coding. |
|||
| 5 | persons.iis.nsk.su | /files/persons/pages... | |
|
Πλήρης διεύθυνση URL
Τίτλος
Сравнение технологий автоматного программирования ...
Τελευταία Ενημέρωση
N/A
Αρχή σελίδας
N/A
Κυκλοφορία:
N/A
Επιστροφή συνδέσμους:
N/A
Μερίδια κοινωνικής δικτύωσης:
N/A
Χρόνος φόρτωσης:
N/A
Προεπισκόπηση αποσπάσματος:
Event-B и модель Event-B в автоматном программировании. Event-B [13] – это метод формальной спецификации и верификации систем в программной и системной ... |
|||
| 6 | en.wikipedia.org | /wiki/B-Method | |
|
Πλήρης διεύθυνση URL
Τίτλος
B-Method
Τελευταία Ενημέρωση
N/A
Αρχή σελίδας
N/A
Κυκλοφορία:
N/A
Επιστροφή συνδέσμους:
N/A
Μερίδια κοινωνικής δικτύωσης:
N/A
Χρόνος φόρτωσης:
N/A
Προεπισκόπηση αποσπάσματος:
The B method is a method of software development based on B , a tool-supported formal method based on an abstract machine notation. |
|||
| 7 | cyberleninka.ru | /article/n/sravnenie... | |
|
Πλήρης διεύθυνση URL
Τίτλος
СРАВНЕНИЕ СПОСОБОВ МОДЕЛИРОВАНИЯ ...
Τελευταία Ενημέρωση
N/A
Αρχή σελίδας
N/A
Κυκλοφορία:
N/A
Επιστροφή συνδέσμους:
N/A
Μερίδια κοινωνικής δικτύωσης:
N/A
Χρόνος φόρτωσης:
N/A
Προεπισκόπηση αποσπάσματος:
Автор |
|||