| 
|
QuoteRef: sobeAE3_2002
topics >
all references >
Topic:
quality assurance
Topic:
formal methods and languages
Topic:
experimental results on programming
Reference
Sobel, A.E.K., Clarkson, M.R., "Formal methods application: an empirical tale of software development", IEEE Transactions on Software Engineering, 28, 3, March 2002, pp. 308-320. Google
abstract ;;Quote: more reliable elevator scheduler from formal methods than informal analysis; style also better; study using 20 teams
Topic: quality assurance (22 items)
Topic: formal methods and languages (53 items)
Topic: experimental results on programming (75 items)