1 documents found
Information × Registration Number 0212U005319, 0111U007052 , R & D reports Title Formal specification and reliable software development methods. popup.stage_title Head Nikitchenko Mykola Stepanovych, Доктор фізико-математичних наук Registration Date 20-06-2012 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
Formal specification and reliable software development methods.
Head: Nikitchenko Mykola Stepanovych. Formal specification and reliable software development methods.. (popup.stage: ). Taras Shevchenko Kiev university. № 0212U005319
1 documents found

Updated: 2026-03-24


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