Industrial applications of formal methods to model, design and analyze computer systems: an international survey

Authors:
Dan Craigen;Susan Gerhart;Ted Ralston
Affiliations:
ORA Canada, Ottawa, Ont., Canada;Applied Formal Methods, Austin, TX;Ralston Research Associates, Tacoma, WA
Venue:
Industrial applications of formal methods to model, design and analyze computer systems: an international survey
Year:
1995

Using formal methods to reason about architectural standards

ICSE '97 Proceedings of the 19th international conference on Software engineering
An extension of COCOMO II for the B-Method

Proceedings of the 2006 international workshop on Economics driven software engineering research
Specification patterns for properties over reachable states of graph grammars

SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications

Hi-index	0.00