Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Correctness is not congruent with quality

Correctness is not congruent with quality I 0 ~.~ O~ @ 0 --~ I .--,.li-~ ~'~:i I ~ ~ * 0 ~ - ~ 0 0 ~3~@ +~ ¢~ . ~ 0 0 o @ .~ ~ -w g:: -,~ I mO 0 ~., +~'~ ~,~ ~ @~,-~ * ~ ~ ~ 0 ~ ,,: .~ ~ 0 ~-~ ~ 0 @~ ~ @ o.= O ~ ¢~ 0 I~.~ ~I 0 "-' G, 0 .I-~ @! ¢-~ ~ O O ~ ~'~ 0 0 ~ ~.-~ 0 ~.t-~ @ 0 0 * 0 @..~,-~ 0 ~ @ 0 @ ~ 0-,-~ ~ I I O'~ O','~ ~ 0 ~ ' ~ @ ~-.@ @ ~ ~ 6 0 @ 0 @ ~ @~ @ ' ~ + ~ O 12.@ 0 ~ @ m,-~ ~.I~ ~ 0 ¢ 0 0 ~ '~ 0 ~ @ 0 0 0 0 0 I I 0 co .~ 0 ~ O O ~ ~. ~ ~ 0 w L@~ ¢ ,~ +~,~ 0 @.~ ~ ~.~.~ ~ 0 @'o @ ~ ~: @ O 0 ,-~ @ ~., ~ ~o O f,.. @ @ @ ~ @ , .-4 @ ~ @ ~ ~ 0~.~ ~',~ 0 - ,- 4 O ~ ~ @ E 0 ~ ~0 ~ @ - ~ ~'~ ~+~0 ~ @ ~ ~ ~ ~ ~ t0 ~ 0 w.~.~ ~ ~,-~ @ ~.~ 0 ~ O O O ~ ~.. ~ ,..-~ ~ .~ ,0 O 0 I,., ~ ~ ~ O , ~ ',~.,~ 0 0 Z @ RI @ E3 ~ 0 0 ~ 0+.~ "~ ~,X: O ~ - w * ' . ~ I ¢ ~ ~o I @-i..~ Z ~,a ~-~ ~ 0 ,--= r-~ ~-4 ~ ~.N~, ,o @ @ @ ~ ~ ~.~ ~ ~W W @ @ ~ ~','~ O~ ~ ~ ~ 0 ~ ~ 0 ~I . 0 .,.i I,,40~ ~ 0 ~ 0 ~ ~.~ 0 0 W ..~..~ ~'~ ~'~ [..., ~ ~ ~,-.~ @ O.,-g f... f..,,tJ 0 ~ ~ P.-~@ W ~ 0 ~ 0 ¢ Z Z ¢~ , 0 ~ @@ @O~ ~ @ ~ 0 @ ~ M W ~0.~ qO ~ 0 ~ @ ~ . ~ ~ +.~ .i.~ 0 0 .,~ 0 NO. +~ 0 ~ :~ ~w ~ +~ ~'-~ 0 ~O~ @ ~1 ~ l o c o 0 0 I @~ 0 Of@ 0,-~ ~ ~0~ O ~ O ~ ~ ~H O@ 0,~ ~ W ~ ÷ L @ . ~ @ @'1o O ~ ¢ ~ ~ 0 0 w~ ~ ¢ 0 ~o "~ @ ~ 0 ,~ ~ @,*~ ~ ~.~ O 0 @ ~ ¢~ w 0 @ W 0 W 0 -0 ~ @ O0 ~ ~.0 ~1~ ~ ~ @--~ ~ ~ @ @ )m,,I ~ ~ ~ ~ @ 00~ ~0~ ~ ~ ~ 0 @ .rl m m @ 0 @ I0 0 0 ~ 0 @~ ~ 0 @ ",~ 0 0.,.I ~ @ ~ ~ 0o'~ O v la0 +.~ O~ ~,'~ ~0~ ~+= ~ 0 ~.+., ~d 0 + ~ ~ ,£: ¢ ~ 0 0 cd 0 ,~ 4~ [~ ~ ~ ..c:~ ~0~ ",'I 0 0.~ +~,-~ @ I ~ ~@0 @~ ~-.+.~ . . . . ¢ ~ 0 "~ @ @.¢: {0 ~ . . ~ ~ 0 ¢ ~ I ¢ -~ ¢ ~ ~ ~-.. ~ ¢ ~ ~ @0~ ~ 0 "~ ~ ~.~ 0 0 @ ¢ Q.@ w ~ @ @ ~ @ m ~ ~ 0-~'~ I~1 .~ ~ - F ,~' @-,~ ~ @ ~,-~ ~ ~,,~ ~ 0 ¢ ~ 0 ~1 ..-m -la -I-~ ,'-= -I~ 4-,~ + t Q ~ . ~ 0 00~a~ ~@ 0 LO.~O@ http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM SIGSOFT Software Engineering Notes Association for Computing Machinery

Correctness is not congruent with quality

Download PDF
1 page

Loading next page...
 
/lp/association-for-computing-machinery/correctness-is-not-congruent-with-quality-6fZjApH9Uh

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Association for Computing Machinery
Copyright
Copyright © 1990 by ACM Inc.
ISSN
0163-5948
DOI
10.1145/382296.382698
Publisher site
See Article on Publisher Site

Abstract

I 0 ~.~ O~ @ 0 --~ I .--,.li-~ ~'~:i I ~ ~ * 0 ~ - ~ 0 0 ~3~@ +~ ¢~ . ~ 0 0 o @ .~ ~ -w g:: -,~ I mO 0 ~., +~'~ ~,~ ~ @~,-~ * ~ ~ ~ 0 ~ ,,: .~ ~ 0 ~-~ ~ 0 @~ ~ @ o.= O ~ ¢~ 0 I~.~ ~I 0 "-' G, 0 .I-~ @! ¢-~ ~ O O ~ ~'~ 0 0 ~ ~.-~ 0 ~.t-~ @ 0 0 * 0 @..~,-~ 0 ~ @ 0 @ ~ 0-,-~ ~ I I O'~ O','~ ~ 0 ~ ' ~ @ ~-.@ @ ~ ~ 6 0 @ 0 @ ~ @~ @ ' ~ + ~ O 12.@ 0 ~ @ m,-~ ~.I~ ~ 0 ¢ 0 0 ~ '~ 0 ~ @ 0 0 0 0 0 I I 0 co .~ 0 ~ O O ~ ~. ~ ~ 0 w L@~ ¢ ,~ +~,~ 0 @.~ ~ ~.~.~ ~ 0 @'o @ ~ ~: @ O 0 ,-~ @ ~., ~ ~o O f,.. @ @ @ ~ @ , .-4 @ ~ @ ~ ~ 0~.~ ~',~ 0 - ,- 4 O ~ ~ @ E 0 ~ ~0 ~ @ - ~ ~'~ ~+~0 ~ @ ~ ~ ~ ~ ~ t0 ~ 0 w.~.~ ~ ~,-~ @ ~.~ 0 ~ O O O ~ ~.. ~ ,..-~ ~ .~ ,0 O 0 I,., ~ ~ ~ O , ~ ',~.,~ 0 0 Z @ RI @ E3 ~ 0 0 ~ 0+.~ "~ ~,X: O ~ - w * ' . ~ I ¢ ~ ~o I @-i..~ Z ~,a ~-~ ~ 0 ,--= r-~ ~-4 ~ ~.N~, ,o @ @ @ ~ ~ ~.~ ~ ~W W @ @ ~ ~','~ O~ ~ ~ ~ 0 ~ ~ 0 ~I . 0 .,.i I,,40~ ~ 0 ~ 0 ~ ~.~ 0 0 W ..~..~ ~'~ ~'~ [..., ~ ~ ~,-.~ @ O.,-g f... f..,,tJ 0 ~ ~ P.-~@ W ~ 0 ~ 0 ¢ Z Z ¢~ , 0 ~ @@ @O~ ~ @ ~ 0 @ ~ M W ~0.~ qO ~ 0 ~ @ ~ . ~ ~ +.~ .i.~ 0 0 .,~ 0 NO. +~ 0 ~ :~ ~w ~ +~ ~'-~ 0 ~O~ @ ~1 ~ l o c o 0 0 I @~ 0 Of@ 0,-~ ~ ~0~ O ~ O ~ ~ ~H O@ 0,~ ~ W ~ ÷ L @ . ~ @ @'1o O ~ ¢ ~ ~ 0 0 w~ ~ ¢ 0 ~o "~ @ ~ 0 ,~ ~ @,*~ ~ ~.~ O 0 @ ~ ¢~ w 0 @ W 0 W 0 -0 ~ @ O0 ~ ~.0 ~1~ ~ ~ @--~ ~ ~ @ @ )m,,I ~ ~ ~ ~ @ 00~ ~0~ ~ ~ ~ 0 @ .rl m m @ 0 @ I0 0 0 ~ 0 @~ ~ 0 @ ",~ 0 0.,.I ~ @ ~ ~ 0o'~ O v la0 +.~ O~ ~,'~ ~0~ ~+= ~ 0 ~.+., ~d 0 + ~ ~ ,£: ¢ ~ 0 0 cd 0 ,~ 4~ [~ ~ ~ ..c:~ ~0~ ",'I 0 0.~ +~,-~ @ I ~ ~@0 @~ ~-.+.~ . . . . ¢ ~ 0 "~ @ @.¢: {0 ~ . . ~ ~ 0 ¢ ~ I ¢ -~ ¢ ~ ~ ~-.. ~ ¢ ~ ~ @0~ ~ 0 "~ ~ ~.~ 0 0 @ ¢ Q.@ w ~ @ @ ~ @ m ~ ~ 0-~'~ I~1 .~ ~ - F ,~' @-,~ ~ @ ~,-~ ~ ~,,~ ~ 0 ¢ ~ 0 ~1 ..-m -la -I-~ ,'-= -I~ 4-,~ + t Q ~ . ~ 0 00~a~ ~@ 0 LO.~O@

Journal

ACM SIGSOFT Software Engineering Notes – Association for Computing Machinery

Published: Apr 1, 1990

There are no references for this article.