Paradigms for design and implementation in ADA
Communications of the ACM
Approach to a disciplined development process - the ISTAR integrated project support environment
ACM SIGSOFT Software Engineering Notes
APL compilation and interpretation by translating to F83VEC
APL '86 Proceedings of the international conference on APL
Assertive comments in APL programming
APL '86 Proceedings of the international conference on APL
Virtual instruments: object-oriented program synthesis
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
The partial metrics system: modeling the stepwise refinement process using partial metrics
Communications of the ACM
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Cost/benefit analysis for incorporating human factors in the software lifecycle
Communications of the ACM
ACM SIGSOFT Software Engineering Notes
Professional skills assessment in programming competitions
ACM SIGCSE Bulletin
Enhancing program readability and comprehensibility with tools for program visualization
ICSE '88 Proceedings of the 10th international conference on Software engineering
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
The design tree: a visual approach to top-down design and data flow
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Mathematical Principles for a First Course in Software Engineering
IEEE Transactions on Software Engineering
Functional Refinement and Nested Objects for Object-Oriented Design
IEEE Transactions on Software Engineering
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
An improved storage management scheme for block structured languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semi-Automatic Program Construction from Specifications Using Library Modules
IEEE Transactions on Software Engineering
Different perspectives of the N-Queens problem
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Comparing object-oriented and data flow models—a case study
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Process programming by hindsight
ICSE '92 Proceedings of the 14th international conference on Software engineering
A reappraisal of structured analysis: design in an organizational context
ACM Transactions on Information Systems (TOIS)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Recollections about the development of Pascal
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Is object-oriented programming structured programming?
ACM SIGPLAN Notices
Parallel multiplication: a case study in parallel programming
ACM SIGPLAN Notices
Isomorphism and the N-Queens problem
ACM SIGCSE Bulletin
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
A Model for Software Product Quality
IEEE Transactions on Software Engineering
State abstraction and modular software development
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
ACM Computing Surveys (CSUR)
ISPD '98 Proceedings of the 1998 international symposium on Physical design
What (else) should CS educators know?
Communications of the ACM
A strategy for managing content complexity in algorithm animation
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
Benefits of a data flow-aware programming environment
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Building a layered database for design automation
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Program specification and development in standard ML
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ANSS '86 Proceedings of the 19th annual symposium on Simulation
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Continuation-Based Program Transformation Strategies
Journal of the ACM (JACM)
Moses: a graphics oriented software development environment
CSC '87 Proceedings of the 15th annual conference on Computer Science
Construction through decomposition: a divide-and-conquer algorithm for the N-queens problem
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Systematic program development/proof using Dromey's method: some comparisons with top-down design
CSC '91 Proceedings of the 19th annual conference on Computer Science
CSC '91 Proceedings of the 19th annual conference on Computer Science
Recursion in gradual steps (is recursion really that difficult?)
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
A graphical programming environment in Ada
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
Two object oriented decomposition methods
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Layered virtual machine/object-oriented design
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Programming and Documenting Software Projects
ACM Computing Surveys (CSUR)
On the Composition of Well-Structured Programs
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
Visibility aspects of programmed dynamic data structures
Communications of the ACM
Communications of the ACM
On the inevitable intertwining of specification and implementation
Communications of the ACM
A Fortran programming methodology based on data abstraction
Communications of the ACM
Communications of the ACM
Proof techniques for hierarchically structured programs
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communications of the ACM
A genealogy of control structures
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
Communications of the ACM
Communications of the ACM
Communications of the ACM
Curriculum recommendations for undergraduate programs in information systems
Communications of the ACM
The case for simplified languages
ACM SIGPLAN Notices
A simple example of the top-down approach to algorithm development
ACM SIGCSE Bulletin
Fortran and the first course in computer science
ACM SIGCSE Bulletin
Experience with teaching assembly language
ACM SIGCSE Bulletin
A remedial software design course
ACM SIGCSE Bulletin
The role of data abstractions in practical programming
ACM-SE 16 Proceedings of the 16th annual Southeast regional conference
Improved learning by use of a video knowledge-base
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Automating proofs of the absence of common runtime errors
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Skeleton-based agent development for electronic institutions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Transformational programming: applications to algorithms and systems
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Software Evolution and Software Evolution Processes
Annals of Software Engineering
Desert Island Column: A Trip to Carthea
Automated Software Engineering
Evolution in software and related areas
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
An approach to a theory of software evolution
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Stepwise Refinement and Problem Solving
IEEE Software
Systematic Program Development
IEEE Transactions on Software Engineering
Fragtypes: A Basis for Programming Environments
IEEE Transactions on Software Engineering
Object-Oriented Software Evolution
IEEE Transactions on Software Engineering
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
Some thoughts on data flow architectures
ACM SIGARCH Computer Architecture News
Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology
IEEE Transactions on Knowledge and Data Engineering
A Refinement Theory that Supports Reasoning About Knowledge and Time
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Model Checking and Abstraction
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Using Types and Inheritance in Object-Oriented Languages
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Experiences with Behavioural Process Modelling in FEAST, and Some of Its Practical Implications
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
Towards a Refinement Calculus for Concurrent Real-Time Programs
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Software Hazard and Safety Analysis
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Software Construction by Stepwise Feature Introduction
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Interpreting the B-Method in the Refinement Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Modeling Processes and Workflows by Business Rules
Business Process Management, Models, Techniques, and Empirical Studies
Formal design of real-time systems in a platform-independent way
Engineering of distributed control systems
Behavioural modelling of long-lived evolution processes: some issues and an example
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
It is not time to define "structured programming"
ACM SIGOPS Operating Systems Review
A less dynamic memory allocation scheme for algol-like languages
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Introducing subprograms as the first control structure in an introductory course
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
On enhancing the interface to the source code of computer programs
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Structure charts and program correctness proofs
ICSE '84 Proceedings of the 7th international conference on Software engineering
A powerful strategy for deriving efficient programs by transformation
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Software engineering applied to computer-aided design (CAD) software development
DAC '81 Proceedings of the 18th Design Automation Conference
MULTI - a LISP based multiprocessing system
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
How to develop module logic using pseudo-code and stepwise refinement
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
Team dynamics in systems development and management
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
A simulation course for computer science students
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
On the use of pointers and the teaching of disciplined programming
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Tab, a Program Design Language for the classroom
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
A quantitative assessment of IBM's programming productivity techniques
DAC '76 Proceedings of the 13th Design Automation Conference
Models for specification and anaysis of parallel computing systems
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
A procedure mechanism for backtrack programming
ACM '76 Proceedings of the 1976 annual conference
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
The specification of program flow in Madcap 6
ACM '72 Proceedings of the ACM annual conference - Volume 2
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
ACM '72 Proceedings of the ACM annual conference - Volume 2
Hierarchical modeling of operating system structure and behavior
ACM '72 Proceedings of the ACM annual conference - Volume 2
Using tools for verification, documentation and testing
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Dialogue and process design for interactive information systems using Taxis
Proceedings of the SIGOA conference on Office information systems
An overview of Knowledge Representation
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A perspective for research on conceptual modelling
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Design rationale for TELOS, a PASCAL-based AI language
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Structured programming and automatic program synthesis
Proceedings of the ACM SIGPLAN symposium on Very high level languages
The use of abstract data types to simplify program modifications
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Abstract types defined as classes of variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
A graphics-based programming-support system
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Towards an engineering approach to software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Response to undesired events in software systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Aspects of design, test and validation of the software for a computerized reactor protection system
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
DUAL: An interactive tool for developing documented programs by step-wise refinements.
ICSE '82 Proceedings of the 6th international conference on Software engineering
Separation of introductory programming and language instruction
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
Reflections on a language designed to write an operating system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Programming by semantic refinement
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
A study of protection in programming languages
Proceedings of an ACM conference on Language design for reliable software
The impact of language design on the production of reliable software
Proceedings of the international conference on Reliable software
Automated aids fob reliable software
Proceedings of the international conference on Reliable software
How to write correct programs and know it
Proceedings of the international conference on Reliable software
Proceedings of the international conference on Reliable software
The application software engineering tool
DAC '75 Proceedings of the 12th Design Automation Conference
Digital logic modeling system based on MODLAN
DAC '82 Proceedings of the 19th Design Automation Conference
The structure of “data structures”
ACM '81 Proceedings of the ACM '81 conference
Towards a practical specification language
ACM '81 Proceedings of the ACM '81 conference
Status of graduate software engineering education
ACM '81 Proceedings of the ACM '81 conference
An extension to algebraic specifications to incorporate state behavior
ACM '79 Proceedings of the 1979 annual conference
Characteristic errors in programming languages
ACM '78 Proceedings of the 1978 annual conference - Volume 2
On the application of data abstraction facilities
ACM '78 Proceedings of the 1978 annual conference - Volume 2
ACM '75 Proceedings of the 1975 annual conference
An automatic tutor for introductory programming students
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
A course in effective programming
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Teaching structured programming in FORTRAN with IFTRAN
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
On the relative merits of two major methodologies for simulation model construction
WSC '78 Proceedings of the 10th conference on Winter simulation - Volume 1
Where is programming methodology these days?
ACM SIGCSE Bulletin
Implementing Collaboration-Based Designs Using Aspect-Oriented Programming
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Formal representation of reuseable software modules
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Timed-event abstraction and timing constraints in distributed real-time programming
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
DEVISE: A Methodology for Building Web Services Based Infrastructure for Collaborative Enterprises
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Event-Based Traceability for Managing Evolutionary Change
IEEE Transactions on Software Engineering
Proof of correctness of data representations
Software pioneers
ACM SIGPLAN Notices
PASES: a programming environment for PASCAL
ACM SIGPLAN Notices
Techniques for the design of communicating processes
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Structured programming, programming teaching and the language Pascal
ACM SIGPLAN Notices
Psychological complexity of computer programs: an experimental methodology
ACM SIGPLAN Notices
Flowcharting by stepwise refinement
ACM SIGPLAN Notices
RDL: a language for software development
ACM SIGPLAN Notices
SP-Grammars: context-free grammars for structured programming
ACM SIGPLAN Notices
The hierarchical language system
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Theories and techniques of program understanding
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Teaching the fatal disease: (or) introductory computer programming using PL/I
ACM SIGPLAN Notices
A hierarchy of control structures
ACM SIGPLAN Notices
ACM SIGPLAN Notices
"Structured programming" considered harmful
ACM SIGPLAN Notices
On extending Fortran control structures to facilitate structured programming
ACM SIGPLAN Notices
The specification of program flow in Madcap 6
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
An unstructured view of structured programming
ACM SIGPLAN Notices
Survey of existing programming aids
ACM SIGPLAN Notices
Programming languages for introductory computing courses: a position paper
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
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
A top-down view of software engineering
ACM SIGSOFT Software Engineering Notes
Pragmatic problems with step-wise refinement program development
ACM SIGSOFT Software Engineering Notes
PARTIAL: a tool to monitor the stepwise refinement of Ada programs
ACM SIGSOFT Software Engineering Notes
Formal Support for Development of JavaBeans" Component Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A framework for classifying intelligent design theories
Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research
Data: data to algorithm translator analysis
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
Recollections about the development of Pascal
History of programming languages---II
History of programming languages---II
Journal of Computer Science and Technology
N-queens pattern generation: an insight into space complexity of a backtracking algorithm
ISICT '04 Proceedings of the 2004 international symposium on Information and communication technologies
ACM SIGMICRO Newsletter
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
A disciplined approach to aspect composition
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Aspectual mixin layers: aspects and features in concert
Proceedings of the 28th international conference on Software engineering
ACM SIGCSE Bulletin
Gaussian elimination: a case study in efficient genericity with MetaOCaml
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
A novice's process of object-oriented programming
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
A Framework For An Automated Problem Solving And Program Development Environment
Journal of Integrated Design & Process Science
Classics in software engineering
On the composition of well-structured programs
Classics in software engineering
Structured programming with go to statements
Classics in software engineering
Chapter II: Notes on data structuring
Structured programming
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Formal Models for Informal GUI Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Turing award lectures
A software engineering view of data base management
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
A framework for supporting dynamic systems co-evolution
Automated Software Engineering
Programming Languages The First 25 Years
IEEE Transactions on Computers
Top-down vs bottom-up methodologies in multi-agent system design
Autonomous Robots
Refinement for User Interface Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
The Abstract State Machines Method: Preface
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
Science of Computer Programming
A proposed non-procedural programming language for structured system development
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Towards a definition of structured programming
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
A programming aid for structured programmers
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Linking the Meaning of Programs to What the Compiler Can Verify
Verified Software: Theories, Tools, Experiments
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Program refactoring using functional aspects
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Designing the design process: exploiting opportunistic thoughts
Human-Computer Interaction
A specimen MPI application: N-Queens in parallel
ACM SIGCSE Bulletin
LOGOS and the software engineer
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Distributed intelligence for user-oriented computing
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
Action Refinement in Process Algebra and Security Issues
Logic-Based Program Synthesis and Transformation
Some experience with DAVE: a Fortran program analyzer
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Generalized structured programming
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
The design of PLAIN: support for systematic programming
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
STREAM: A First Programming Process
ACM Transactions on Computing Education (TOCE)
An objects-first approach to teaching introductory software development
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Generating MDA's platform independent model using URDAD
Knowledge-Based Systems
A refinement approach to design and verification of on-chip communication protocols
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Using formal models to design user interfaces: a case study
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 1
The Shadow Knows: Refinement and security in sequential programs
Science of Computer Programming
A user-extensible and adaptable parser architecture
Knowledge-Based Systems
A natural, tiered and executable UIDL for 3D user interfaces based on Concept-Oriented Design
ACM Transactions on Computer-Human Interaction (TOCHI)
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Refinement strategies for inductive learning of simple prolog programs
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
A framework for teaching introductory software development
WSEAS Transactions on Computers
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
A core ontology for requirements
Applied Ontology
Architecture prototyping in the software engineering environment
IBM Systems Journal
A programming process architecture
IBM Systems Journal
Quality emphasis at IBM's software engineering institute
IBM Systems Journal
Software engineering: an emerging discipline
IBM Systems Journal
Web applications: spaghetti code for the 21st century
Web applications: spaghetti code for the 21st century
Web browser as an application platform: the lively Kernel experience
Web browser as an application platform: the lively Kernel experience
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic numeric abstractions for heap-manipulating programs
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
A technique for implementing backtrack algorithms and its application
Information Processing Letters
Correspondence from the members
ACM SIGPLAN Notices
Programming with narrowing: A tutorial
Journal of Symbolic Computation
Symbolic execution techniques for refinement testing
TAP'07 Proceedings of the 1st international conference on Tests and proofs
A non-interleaving denotational semantics of value passing CCS with action refinement
FAW'07 Proceedings of the 1st annual international conference on Frontiers in algorithmics
An objects-first approach to teaching introductory software development
EDUCATION'09 Proceedings of the 6th WSEAS international conference on Engineering education
Software architecture design: evaluation and transformation
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
The conceptual model of context for mobile commerce applications
Electronic Commerce Research
Domain-specific composition of model deltas
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Preserving security properties under refinement
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Attributes of information system development
MIS Quarterly
Modeling and simulation driven software development
Proceedings of the 2011 Emerging M&S Applications in Industry and Academia Symposium
Top-down progressive computing
RSKT'11 Proceedings of the 6th international conference on Rough sets and knowledge technology
"Remain Faithful to the Earth!"*: Reporting Experiences of Artifact-Centered Design in Healthcare
Computer Supported Cooperative Work
Refining nodes and edges of state machines
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
IBM-ACS: reminiscences and lessons learned from a 1960's supercomputer project
Dependable and Historic Computing
Incremental design: programming with holes and evolvers
Dependable and Historic Computing
Flexible and robust CAD models for design automation
Advanced Engineering Informatics
A tool for developing correct programs by refinement
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Procedures in the refinement calculus: a new approach?
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Relaxing property preservation in the refinement of concurrent systems
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A proposal for a generalized “FOR” statement
Computer Languages
Incremental construction of component-based systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Analysis of the effects of programming factors on programming effort
Journal of Systems and Software
Software development for reliable software systems
Journal of Systems and Software
Abstraction hierarchies in top-down design
Journal of Systems and Software
Embedded system design with ada as the system design language
Journal of Systems and Software
Context management for m-commerce applications: determinants, methodology and the role of marketing
Information Technology and Management
Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels
Electronic Notes in Theoretical Computer Science (ENTCS)
Critical systems development methodology using formal techniques
Proceedings of the Third Symposium on Information and Communication Technology
The Abstract State Machines Method
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Liberating the programmer with prorogued programming
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Self-assembly models of variable resolution
Transactions on Computational Systems Biology XIV
SmartSynth: synthesizing smartphone automation scripts from natural language
Proceeding of the 11th annual international conference on Mobile systems, applications, and services
On model compatibility with referees and contexts
Software and Systems Modeling (SoSyM)
Synthesis modulo recursive functions
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Science of Computer Programming
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
| Hi-index | 48.50 |