logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

TECHNIQUE FOR SOFTWARE MODULE SPECIFICATION WITH EXAMPLES

delete1972-05-01
delete239
delete
OA
AI
D
David Lorge Parnas
DOI：10.1145/355602.361309delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En

Journal

Communications of the ACM cover
Communications of the ACM
IF:
12.2
Papers:
1.2W
Citations:
3.7W

Organization

No organization information available
Cited Papers

Cited Papers

EULER - A GENERALIZATION OF ALGOL AND ITS FORMAL DEFINITION .I.
errCOMMUNICATIONS OF THE ACM
IF12.2
err1966-01-01
err83
errOAAI
errWIRTH, N; WEBER, H
errShare
errSave
ALGORITHM-245 - TREESORT 3 [M1]
errCOMMUNICATIONS OF THE ACM
IF12.2
err1964-12-01
err142
errOAAI
errFLOYD, RW
errShare
errSave
PROOF OF A PROGRAM - FIND
errCOMMUNICATIONS OF THE ACM
IF12.2
err1971-01-01
err89
errOAAI
errHOARE, CAR
errShare
errSave