WG 19 Formal Specification Languages

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf ISO/IEC working group
gptkbp:country International
gptkbp:focusesOn formal specification languages
https://www.w3.org/2000/01/rdf-schema#label WG 19 Formal Specification Languages
gptkbp:notableFor gptkb:Z_notation
gptkb:VDM_(Vienna_Development_Method)
gptkb:RAISE
gptkb:VDM-SL
gptkbp:parentOrganization gptkb:ISO/IEC_JTC_1/SC_22
gptkbp:partOf gptkb:ISO/IEC_JTC_1/SC_22
gptkbp:responsibleFor standardization of formal specification languages
gptkbp:scope standardization of languages for formal specification of software and systems
gptkbp:status disbanded
gptkbp:bfsParent gptkb:SC_22
gptkbp:bfsLayer 8