Letters to the editor: go to statement considered harmful
Communications of the ACM
APL compilation and interpretation by translating to F83VEC
APL '86 Proceedings of the international conference on APL
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
On Criteria for Module Interfaces
IEEE Transactions on Software Engineering
Compiling APL for parallel and vector execution
APL '91 Proceedings of the international conference on APL '91
Programming by multiset transformation
Communications of the ACM
Testing: principles and practice
ACM Computing Surveys (CSUR)
Java as a first language: an evaluation
ACM SIGCSE Bulletin
Communications of the ACM
Technology insertion: establishing an object-oriented life-cycle methodology
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Declarative event-oriented programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Technical opinion: on the perils of programming
Communications of the ACM
On the Composition of Well-Structured Programs
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Programming Style: Examples and Counterexamples
ACM Computing Surveys (CSUR)
An APL Compiler for a Vector Processor
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program design by informal English descriptions
Communications of the ACM
Communications of the ACM
Communications of the ACM
Programming languages, natural languages, and mathematics
Communications of the ACM
Some comments on the role of computer science education
ACM SIGCSE Bulletin
Programmers' mass education at Számok
ACM SIGCSE Bulletin
Structured programming and FORTRAN
ACM-SE 14 Proceedings of the 14th annual Southeast regional conference
Programming languages, natural languages, and mathematics
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On high-level programming systems for structured display programming
SIGGRAPH '75 Proceedings of the 2nd annual conference on Computer graphics and interactive techniques
New Mexico State University enhancements to APL\360
ACM SIGAPL APL Quote Quad
A proposal for a handbook for APL program verification
ACM SIGAPL APL Quote Quad
Software Evolution and Software Evolution Processes
Annals of Software Engineering
Post's Machine: A Didactic Microworld as an Introduction to Formal Programming
Education and Information Technologies
Evolution in software and related areas
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Konrad Zuse's Plankalkül: The First High-Level, "non von Neumann" Programming Language
IEEE Annals of the History of Computing
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
INCENSE: A system for displaying data structures
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
Prototyping as a tool in the specification of user requirements
ICSE '81 Proceedings of the 5th international conference on Software engineering
Structured design methodologies
DAC '78 Proceedings of the 15th Design Automation Conference
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Tagged architecture and the semantics of programming languages: Extensible types
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
APL '75 Proceedings of seventh international conference on APL
What lies beyond the branch arrow?
APL '75 Proceedings of seventh international conference on APL
An unusual application of program-proving
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
On the locus of program flow within and among secondary functions
APL '79 Proceedings of the international conference on APL: part 1
On the importance of teaching PASCAL in the IS curriculum
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
Incremental program testing in a very high level language
ACM '76 Proceedings of the 1976 annual conference
A Fortran language anticipation and prompting system
ACM '73 Proceedings of the ACM annual conference
The use of abstract data types to simplify program modifications
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
General purpose tools for system simulation
ANSS '78 Proceedings of the 11th annual symposium on Simulation
Report of session on structured programming
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Reflections on a language designed to write an operating system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
“Software reliability in online real time environment”
Proceedings of the international conference on Reliable software
How to write correct programs and know it
Proceedings of the international conference on Reliable software
Proving structured programs correct, level by level
Proceedings of the international conference on Reliable software
MICRO 7 Supplement to the conference record of the 7th annual workshop on Microprogramming
Comments on the topic “programming, and its implication on programming languages”
ACM '75 Proceedings of the 1975 annual conference
Toward a theoretical basis for estimating programming effort
ACM '75 Proceedings of the 1975 annual conference
A method to expose the hidden structure of Fortran programs
ACM '74 Proceedings of the 1974 annual conference - Volume 1
APLGOL-2 a structured programming language system for APL
APL '74 Proceedings of the sixth international conference on APL
Design feedback and its use in software design aid systems
Proceedings of the software quality assurance workshop on Functional and performance issues
B4Tran: A structured mini-language approach to the teaching of Fortran
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Beyond PROLOG: software specification by grammar
ACM SIGPLAN Notices
OPUS #16G software structure: its characteristic polynomials
ACM SIGPLAN Notices
Free and bound generics: two techniques for abstract data types in modular C
ACM SIGPLAN Notices
Structured programming, programming teaching and the language Pascal
ACM SIGPLAN Notices
Reply to a paper by A. N. Habermann on the programming language Pascal
ACM SIGPLAN Notices
In defense of program testing or correctness proofs considered harmful
ACM SIGPLAN Notices
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
An unstructured view of structured programming
ACM SIGPLAN Notices
Survey of existing programming aids
ACM SIGPLAN Notices
ACM SIGCSE Bulletin - Special issue on computer science curricula
ACM SIGAda Ada Letters
The introductory programming course in computer science: ten principles
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Ada education is a moving target
ACM SIGAda Ada Letters
The impact of programming styles on debugging efficiency
ACM SIGSOFT Software Engineering Notes
Software metrics: an introduction and annotated bibliography
ACM SIGSOFT Software Engineering Notes
Resolving feature convolution in middleware systems
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards just-in-time middleware architectures
Proceedings of the 4th international conference on Aspect-oriented software development
Classpects: unifying aspect- and object-oriented language design
Proceedings of the 27th international conference on Software engineering
Proceedings of the 2005 ACM symposium on Applied computing
Redesigning the intermediate course in software design
ACE '05 Proceedings of the 7th Australasian conference on Computing education - Volume 42
Incrementalization across object abstraction
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
The interactive game: origins and effects
Proceedings of the second Australasian conference on Interactive entertainment
The IOI is (not) a science olympiad
Informatics in education
Issues in the application of software safety standards
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Simulation-specific characteristics and software reuse
WSC '05 Proceedings of the 37th conference on Winter simulation
On the composition of well-structured programs
Classics in software engineering
Structured programming: top-down approach
Classics in software engineering
Classics in software engineering
Programming style: examples and counterexamples
Classics in software engineering
Structured programming with go to statements
Classics in software engineering
The profession of IT: Voices of computing
Communications of the ACM - Designing games with a purpose
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Abstraction ability as an indicator of success for learning computing science?
ICER '08 Proceedings of the Fourth international Workshop on Computing Education Research
A proposed non-procedural programming language for structured system development
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
On the need for a scientific programming language
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Complex Systems and Agent-Oriented Software Engineering
Engineering Environment-Mediated Multi-Agent Systems
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Using model checkers in an introductory course on operating systems
ACM SIGOPS Operating Systems Review
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
A model of large program development
IBM Systems Journal
Testing in the Wild: The Social and Organisational Dimensions of Real World Practice
Computer Supported Cooperative Work
Proceedings of the 15th Conference on Pattern Languages of Programs
The construction of multi-agent systems as an engineering discipline
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
A cooperative personal agenda in a collaborative team environment
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
Choosing a first programming language
Proceedings of the 2010 ACM conference on Information technology education
Faith, hope, and love: an essay on software science's neglect of human factors
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Towards predictive models of technology impact on software design productivity
Proceedings of the FSE/SDP workshop on Future of software engineering research
Comparison of maturity levels in CMMI-DEV and ISO/IEC 15504
AMERICAN-MATH'11/CEA'11 Proceedings of the 2011 American conference on applied mathematics and the 5th WSEAS international conference on Computer engineering and applications
A genesis of thinking in the evolution of ancient philosophy and modern software development
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: design for all and eInclusion - Volume Part I
Computing as a Science: A Survey of Competing Viewpoints
Minds and Machines
Providing autonomic features to a data grid
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
Communications of the ACM
Extending PL/I for structured programming
Computer Languages
Ada ravenscar code archetypes for component-based development
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Aspects of abstraction in software development
Software and Systems Modeling (SoSyM)
In data veritas: data driven testing for distributed systems
Proceedings of the Sixth International Workshop on Testing Database Systems
Network stacking considered harmful
Proceedings of the ACM International Conference on Computing Frontiers
Charting the evolution of the Ada Ravenscar code archetypes
ACM SIGAda Ada Letters
Model-based mutation testing of reactive systems: from semantics to automated test-case generation
Theories of Programming and Formal Methods
An object-oriented parallel programming language for distributed-memory parallel computing platforms
Science of Computer Programming
On Floridi's Method of Levels of Abstraction
Minds and Machines
| Hi-index | 48.34 |