1 documents found
Information × Registration Number 0213U000603, 0111U007052 , R & D reports Title The formal specification and methos for developing of reliable software systems popup.stage_title Head Nikitchenko Mykola Stepanovych, Доктор фізико-математичних наук Registration Date 26-02-2013 Organization Taras Shevchenko Kiev university popup.description2 The paper offers a survey of current formal languages of the program systems specifications and the formal methods of creating program system. It also suggest semantics of a limitation language UML Product Description popup.authors Буй Дмитро Борисович Загорський Сергій Петрович Нікітченко Микола Степанович Парфірова Тетяна Сергіївна Поляков Сергій Анатолійович Сільвейструк Людмила Миколаївна Шишацька Олена Володимирівна popup.nrat_date 2020-04-02 Close
R & D report
The formal specification and methos for developing of reliable software systems
Head: Nikitchenko Mykola Stepanovych. The formal specification and methos for developing of reliable software systems. (popup.stage: ). Taras Shevchenko Kiev university. № 0213U000603
1 documents found

Updated: 2026-03-26


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