1 documents found
Information × Registration Number 0214U006981, 0111U007052 , R & D reports Title The formal specification and methods for developing of reliable software systems. popup.stage_title Head Nikitchenko Mykola Stepanovych, Доктор фізико-математичних наук Registration Date 23-04-2014 Organization Taras Shevchenko Kiev university popup.description2 The general analysis of the class-oriented model specifications and formal methods of software development conducted. The meaningful semantics specification languages software systems (notations) Z-method, B-method given. Product Description popup.authors Буй Дмитро Борисович Загорський Сергій Петрович Компан Сергей Владимирович Нікітченко Микола Степанович Поляков Сергій Анатолійович Сільвейструк Людмила Миколаївна Шишацька Олена Володимирівна popup.nrat_date 2020-04-02 Close
R & D report
The formal specification and methods for developing of reliable software systems.
Head: Nikitchenko Mykola Stepanovych. The formal specification and methods for developing of reliable software systems.. (popup.stage: ). Taras Shevchenko Kiev university. № 0214U006981
1 documents found

Updated: 2026-03-25


Роздрукувати цю сторінку