The Case for Formal Methods in Standards
Year of publication: |
1990-09
|
---|---|
Authors: | Blyth, David ; Boldyreff, Cornelia ; Ruggles, Clive ; Tetteh-Lartey, Nik |
Publisher: |
IEEE Computer Society Press |
Subject: | computer applications development | programming languages | standards development | computer engineering |
-
de Vries, Henk J., (2017)
-
Standardization as a catalyst for open and responsible innovation
Pīlēna, Arta, (2021)
-
Standardization as a catalyst for open and responsible innovation
Pīlēna, Arta, (2021)
- More ...
-
Kim, Hyoseob, (2005)
-
Quality factors and coding standards - a comparison between open source forges
Capiluppi, Andrea, (2008)
-
Using the Tropos Approach to Inform the UML Design: An Experiment Report
Capiluppi, Andrea, (2011)
- More ...