Computer-aided vs. manual program restructuring
ACM SIGSOFT Software Engineering Notes
Code reusability in the large versus code reusability in the small
ACM SIGSOFT Software Engineering Notes
Engineering processes in managing software system development
ACM SIGCPR Computer Personnel
Structured programming in assembly language
ACM SIGCSE Bulletin
Software Evolution and Software Evolution Processes
Annals of Software Engineering
Information Modeling Aspects of Software Development
Minds and Machines
Software as Learning: Quality Factors and Life-Cycle Revised
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
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
On the Definition of a Framework for an Architecting Process Supporting Product Family Development
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
Commonality Analysis: A Systematic Process for Defining Families
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
DUAL: An interactive tool for developing documented programs by step-wise refinements.
ICSE '82 Proceedings of the 6th international conference on Software engineering
What should we teach in an introductory programming course?
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
Where is programming methodology these days?
ACM SIGCSE Bulletin
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)
Engineering Domains: Executable Commands as an Example
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Structured programming, programming teaching and the language Pascal
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Proceedings of the 26th International Conference on Software Engineering
Another view of the Dijkstra-dMLP controversy
ACM SIGSOFT Software Engineering Notes
What business process modelers can learn from programmers
Science of Computer Programming
Classics in software engineering
System quality through structured programming
Classics in software engineering
On the composition of well-structured programs
Classics in software engineering
Structured programming: top-down approach
Classics in software engineering
Classics in software engineering
Classics in software engineering
Product lines for digital information products
Information Systems
Chapter II: Notes on data structuring
Structured programming
Chapter III: Hierarchical program structures
Structured programming
Employment Of Fuzzy Logic In Feature Diagrams To Model Variability In Software Families
Journal of Integrated Design & Process Science
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
ACM Turing award lectures
Programming Languages The First 25 Years
IEEE Transactions on Computers
IEEE Transactions on Computers
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
The impact of static-dynamic coupling on remodularization
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
The cognitive consequences of object-oriented design
Human-Computer Interaction
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Some experience with DAVE: a Fortran program analyzer
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
A dynamic (FORTRAN) programming system
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Data types and program correctness
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Structured control in programming languages
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Microprocessor software engineering training: a case study
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Teaching the unifying mathematics of software design
Proceedings of the 14th Western Canadian Conference on Computing Education
Adaptive Fault Tolerance for Scalable Cluster Computing in Space
International Journal of High Performance Computing Applications
Software, software engineering and software engineering research: some unconventional thoughts
Journal of Computer Science and Technology
A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox
Advances in Engineering Software
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Software debugging, testing, and verification
IBM Systems Journal
FLAVERS: a finite state verification technique for software systems
IBM Systems Journal
A model of large program development
IBM Systems Journal
A method of programming measurement and estimation
IBM Systems Journal
Abstract design and program translator: new tools for software design
IBM Systems Journal
A core ontology for requirements
Applied Ontology
RAFFS: Model Checking a Robust Abstract Flash File Store
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A technique for implementing backtrack algorithms and its application
Information Processing Letters
Abstract design and program translator: new tools for software design
IBM Systems Journal
Exploring interaction space as abstraction mechanism for task-based user interface design
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Project delay variability simulation in software product line development
ICSP'07 Proceedings of the 2007 international conference on Software process
An interview with Edsger W. Dijkstra
Communications of the ACM
Use of software engineering methodologies in a computer science curriculum
ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Dynamically adaptable software product lines using Ruby metaprogramming
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
On structured digraphs and program testing
IEEE Transactions on Computers
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Management of large software development efforts
MIS Quarterly
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Fundamental concepts for the structuring of functionality into modular parts
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Simplified integration of Prolog with RDBMS
ACM SIGMIS Database
Dependable Systems
Software, vendors and reputation: an analysis of the dilemma in creating secure software
INTRUST'10 Proceedings of the Second international conference on Trusted Systems
Procedures in the refinement calculus: a new approach?
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Concurrent applicative implementations of nondeterministic algorithms
Computer Languages
Message oriented programming-A resource based methodology
Computer Languages
Staple, an experimental structured programming language
Computer Languages
A proposal for a generalized “FOR” statement
Computer Languages
Discovering algorithms with Matrix Code
Proceedings of the Seventeenth Western Canadian Conference on Computing Education
Test generation for interworking systems
Computer Communications
Abstraction hierarchies in top-down design
Journal of Systems and Software
Proceedings of the 14th symposium on Principles and practice of declarative programming
Project cost overrun simulation in software product line development
PROFES'07 Proceedings of the 8th international conference on Product-Focused Software Process Improvement
Argument-based approach to computer system safety engineering
International Journal of Critical Computer-Based Systems
Quantum adiabatic machine learning
Quantum Information Processing
FIFO cache analysis for WCET estimation: a quantitative approach
Proceedings of the Conference on Design, Automation and Test in Europe
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
On Floridi's Method of Levels of Abstraction
Minds and Machines
Hi-index | 0.03 |