Jackson, M.A. Information systems: Modeling, sequencing and transformations. Proc. Third International Conference on Software Engineering, Atlanta, Ga., May 1978, 72-81.

Digital Library

Google Scholar

[7]

Zelkowitz, M.V. Perspectives on software engineering. Computing Surveys 10, 2 (June 1978), 197-216.

Digital Library

Google Scholar

[8]

Weizenbaum, J. Computer Power and Human Reason. Freeman, San Francisco, 1978.

Digital Library

Google Scholar

[9]

Koestler, A. The Ghost in the Machine. Henry Regnery Co., Chicago, 1967.

Google Scholar

[10]

Koestler, A. Janus--a Summing Up. Hutchinson, 1978.

Google Scholar

[11]

Lakatos, Mathematics, Science and Epistemology. Cambridge University Press, London, 1978.

Google Scholar

[12]

Lakatos, I. Proofs and Refutations. Cambridge University Press, London, 1976.

Crossref

Google Scholar

[13]

Popper, K. Conjectures and Refutations. Routledge and Kegan Paul, London, 1974.

Google Scholar

[14]

Kuhn, T.S. The Structure of Scientific Revolutions. Chicago University Press. 1970.

Google Scholar

[15]

Lakatos, I. The Methodology of Scientific Research Programmes. Cambridge University Press, London. 1977.

Google Scholar

[16]

Abrahams, P.W. Machine verification of mathematical proof. Sc.D. Th., Dept. of Mathematics, MIT, Cambridge, Mass., June 1963.

Google Scholar

[17]

Floyd, R.W. Assigning meanings to programs. Proc. Syrup. Applied Math. 19 (Mathematical Aspects of Computer Science), Amer. Math. Soc., Providence, R.I., 1967, pp. 19-32.

Google Scholar

[18]

Maurer, W.D. On minimal decompositions of group machines. Ph.D. Th., Dept. of Mathematics, U. of California, Berkeley, Jan. 1965.

Google Scholar

[19]

Maurer, W.D. Some correctness principles for machine language programs and microprograms. Proc. 7th Annual Workshop on Microprogramming (MICRO 7), Palo Alto, Calif., Sept. 1974, pp. 225-234.

Digital Library

Google Scholar

[20]

Maurer, W.D. Proving the correctness of a flight-director program for an airborne minicomputer. Proc. ACM SIGMINI-SIGPLAN Interface Meeting, New Orleans, La., March 1976, pp. 103- 108.

Digital Library

Google Scholar

[21]

Maurer, W.D. Software systems design and correct software. Proc. IEEE COMPCON 77, Spring (14th IEEE Computer Soc. International Conf.), San Francisco, Calif., Feb. 1977, pp. 194- 197.

Google Scholar

[22]

Maurer, W.D. A microcomputer program verifier and its assertion language. Proc. 12th Hawaii International Conference on System Sciences, Honolulu, Hawaii, Jan. 1979.

Google Scholar

[23]

Lakatos, I. Proof and Refutations: The Logic of Mathematical Discovery. Cambridge, 1978.

Google Scholar

[24]

Manin, Yu I. A Course in Mathematical Logic. Springer-Verlag, 1977.

Crossref

Google Scholar

[25]

Aho, A., Hopcroft, J., and Ullman, J. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.

Digital Library

Google Scholar

[26]

Knuth, D.E. The Art of Computer Programming, Vol. 3, Sorting and Searching: Addison- Wesley, 1973.

Digital Library

Google Scholar

Cited By

View all

Le Charlier BFlener P(1998)Specifications are necessarily informal orJournal of Systems and Software10.1016/S0164-1212(98)00172-140:3(275-296)Online publication date: 1-Mar-1998
https://dl.acm.org/doi/10.1016/S0164-1212%2898%2900172-1
Shapiro S(1997)Splitting the DifferenceIEEE Annals of the History of Computing10.1109/85.56072919:1(20-54)Online publication date: 1-Jan-1997
https://dl.acm.org/doi/10.1109/85.560729
Fetzer J(1993)Program Verification: The Very IdeaProgram Verification10.1007/978-94-011-1793-7_15(321-358)Online publication date: 1993
https://doi.org/10.1007/978-94-011-1793-7_15
Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1979

Published in CACM Volume 22, Issue 11

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
402
Total Downloads

Downloads (Last 12 months)37
Downloads (Last 6 weeks)11

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Le Charlier BFlener P(1998)Specifications are necessarily informal orJournal of Systems and Software10.1016/S0164-1212(98)00172-140:3(275-296)Online publication date: 1-Mar-1998
https://dl.acm.org/doi/10.1016/S0164-1212%2898%2900172-1
Shapiro S(1997)Splitting the DifferenceIEEE Annals of the History of Computing10.1109/85.56072919:1(20-54)Online publication date: 1-Jan-1997
https://dl.acm.org/doi/10.1109/85.560729
Fetzer J(1993)Program Verification: The Very IdeaProgram Verification10.1007/978-94-011-1793-7_15(321-358)Online publication date: 1993
https://doi.org/10.1007/978-94-011-1793-7_15
Lester K(1992)Proving Correctness of Executable ProgramsComputer Systems and Software Engineering10.1007/978-1-4615-3506-5_12(325-353)Online publication date: 1992
https://doi.org/10.1007/978-1-4615-3506-5_12
Lehman MPerry D(1990)The role of process models in software and systems development and evolutionProceedings of the 5th international software process workshop on Experience with software process models10.5555/317498.317719(91-94)Online publication date: 1-Oct-1990
https://dl.acm.org/doi/10.5555/317498.317719
Lehman M(1989)Uncertainty in computer application and its control through the engineering of softwareJournal of Software Maintenance: Research and Practice10.1002/smr.43600101031:1(3-27)Online publication date: 1-Sep-1989
https://dl.acm.org/doi/10.1002/smr.4360010103
Andrews G(1981)Parallel programsCommunications of the ACM10.1145/358568.35858624:3(140-145)Online publication date: 1-Mar-1981
https://dl.acm.org/doi/10.1145/358568.358586
Pratt VAbrahams PLipton RBourne S(1980)On specifying verifiersProceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/567446.567457(106-116)Online publication date: 28-Jan-1980
https://dl.acm.org/doi/10.1145/567446.567457
Foster K(1980)A comment onACM SIGSOFT Software Engineering Notes10.1145/1010782.10107885:1(36-37)Online publication date: 1-Jan-1980
https://dl.acm.org/doi/10.1145/1010782.1010788

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

SRIF '14: Proceedings of the 2014 ACM workshop on Software radio implementation forum

RisingStarsForum'19: The ACM MobiSys 2019 on Rising Stars Forum

SIGCOMM '11: Proceedings of the ACM SIGCOMM 2011 conference

Comments

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Recommendations

SRIF '14: Proceedings of the 2014 ACM workshop on Software radio implementation forum

RisingStarsForum'19: The ACM MobiSys 2019 on Rising Stars Forum

SIGCOMM '11: Proceedings of the ACM SIGCOMM 2011 conference

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations