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

Learn More →

Two dogmas of program specification

Two dogmas of program specification a a) 0) C1 0 L N o G ,O .a a cy d G a 4) G G o G 7 5 0 5 0 .5 a) yaJ a 0 .0 .0 5 > a _ a 0 c 0 'd a) a. WI 5 eal 'V a a a k'0 c o ; o0 . c cal a., y p a co a ' hD >-) a o a cO i a _a H y G L1 V >> 0 -P a 4 co CI V V 0 '31, ' a 41 = G ¢ '0 ` ti N U .a , CC 42 .C1 y . . 0 .5 O. 0 O 0 C co 0 4 1 e 5 1 5 .0 -o Cx. a. -a .o . ' o y '0 a) a a; ' '01 O co G 'CJ a) 0 0 A o 10 a 9 .00 o 0 C O 0 b ta , U v a a ~ bD O > ' a) 0 d o aOa 2 ” 7 E '" G o O V n w O -G n ¢a a 0 CO ,E 5 . o http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM SIGSOFT Software Engineering Notes Association for Computing Machinery

Two dogmas of program specification

McLean, John
ACM SIGSOFT Software Engineering Notes , Volume 10 (4) – Aug 1, 1985
Download PDF
3 pages

Loading next page...
 
/lp/association-for-computing-machinery/two-dogmas-of-program-specification-kTmpyTgQGE

References (1)

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

Abstract

a a) 0) C1 0 L N o G ,O .a a cy d G a 4) G G o G 7 5 0 5 0 .5 a) yaJ a 0 .0 .0 5 > a _ a 0 c 0 'd a) a. WI 5 eal 'V a a a k'0 c o ; o0 . c cal a., y p a co a ' hD >-) a o a cO i a _a H y G L1 V >> 0 -P a 4 co CI V V 0 '31, ' a 41 = G ¢ '0 ` ti N U .a , CC 42 .C1 y . . 0 .5 O. 0 O 0 C co 0 4 1 e 5 1 5 .0 -o Cx. a. -a .o . ' o y '0 a) a a; ' '01 O co G 'CJ a) 0 0 A o 10 a 9 .00 o 0 C O 0 b ta , U v a a ~ bD O > ' a) 0 d o aOa 2 ” 7 E '" G o O V n w O -G n ¢a a 0 CO ,E 5 . o

Journal

ACM SIGSOFT Software Engineering Notes – Association for Computing Machinery

Published: Aug 1, 1985

There are no references for this article.