Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Systematic Programming: An Introduction
Systematic Programming: An Introduction
PASCAL user manual and report
System development methodology using LOGOS
APL '87 Proceedings of the international conference on APL: APL in transition
A comparison of experiences with the maintenance of object-oriented systems: Ada vs. C++
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Communications of the ACM
The Design of the XMP Linear Programming Library
ACM Transactions on Mathematical Software (TOMS)
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
The operational versus the conventional approach to software development
Communications of the ACM
Cognitive strategies and looping constructs: an empirical study
Communications of the ACM
The structure of modular program
Communications of the ACM
Communications of the ACM
An "introduction to computing" experiment that failed
ACM-SE 16 Proceedings of the 16th annual Southeast regional conference
Applications of a graph grammar for program control flow analysis
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
IEEE Annals of the History of Computing
Developing Multiple-Agent Systems Is More than Top-Down vs. Bottom-Up
IEEE Intelligent Systems
Beyond numbers: Don't ask “how many” ... ask “why”
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A tool designed to facilitate structured programming
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
A place for assembler in structured programming
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Problem formulation for programmers
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Some pedagogic considerations in teaching elementary programming using structured FORTRAN
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
Factored Specifications In The Synthesis Of LISP Functions
ACM '78 Proceedings of the 1978 annual conference
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
A view of program verification
Proceedings of the international conference on Reliable software
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
Comments on the topic “programming, and its implication on programming languages”
ACM '75 Proceedings of the 1975 annual conference
Everything is Fortran, in its own way
ACM SIGPLAN Notices
RDL: a language for software development
ACM SIGPLAN Notices
What is a flowchart loop and about structured programming
ACM SIGPLAN Notices
The hierarchical language system
ACM SIGPLAN Notices
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
Comments on mathematical overkill
ACM SIGPLAN Notices
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
The SFC editor a graphical tool for algorithm development
Journal of Computing Sciences in Colleges
Cognitive activities and levels of abstraction in procedural and object-oriented design
Human-Computer Interaction
A modern beginning programming course
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Structured D-chart: a diagrammatic methodology in structured programming
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Attributes of information system development
MIS Quarterly
Choosing an implementation language for Automatic Translation
Computer Languages
A proposal for a generalized “FOR” statement
Computer Languages
| Hi-index | 0.08 |