Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Comparing specifications"'
Autor:
Dongmo, Cyrille
Formal specification of software systems has been very promising. Critics against the end results of formal methods, that is, producing quality software products, is certainly rare. Instead, reasons have been formulated to justify why the adoption of
Externí odkaz:
http://hdl.handle.net/10500/5621
Autor:
Dongmo, Cyrille
Formal specification of software systems has been very promising. Critics against the end results of formal methods, that is, producing quality software products, is certainly rare. Instead, reasons have been formulated to justify why the adoption of
Externí odkaz:
http://hdl.handle.net/10500/5621