TMPA-2015: The Verification of Functional Programs by Applying Statechart Dia...Iosif Itkin
The Verification of Functional Programs by Applying Statechart Diagrams Construction Method
Andrew Mironov, IPI, Moscow
12 - 14 November 2015
Tools and Methods of Program Analysis in St. Petersburg
Настоящий стандарт устанавливает термины и определения понятий в области программного обеспечения систем обработки информации.
Термины, установленные настоящим стандартом, обязательны для применения во всех видах документации и литературы, входящих в сферу работ по стандартизации или использующих результаты этих работ.
ГОСТ 19.402-78 полезен техническим писателям, разработчикам программного обеспечения, создателям документаций и технических заданий.
-------------------------------
Разработка технических заданий для сайтов, мобильных приложений, программного обеспечения. Написание документаций, инструкций, хелпов. Обращайтесь, контакты в профиле.
TMPA-2015: The Verification of Functional Programs by Applying Statechart Dia...Iosif Itkin
The Verification of Functional Programs by Applying Statechart Diagrams Construction Method
Andrew Mironov, IPI, Moscow
12 - 14 November 2015
Tools and Methods of Program Analysis in St. Petersburg
Настоящий стандарт устанавливает термины и определения понятий в области программного обеспечения систем обработки информации.
Термины, установленные настоящим стандартом, обязательны для применения во всех видах документации и литературы, входящих в сферу работ по стандартизации или использующих результаты этих работ.
ГОСТ 19.402-78 полезен техническим писателям, разработчикам программного обеспечения, создателям документаций и технических заданий.
-------------------------------
Разработка технических заданий для сайтов, мобильных приложений, программного обеспечения. Написание документаций, инструкций, хелпов. Обращайтесь, контакты в профиле.