Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Box structured information systems
IBM Systems Journal
A simple technique to motivate structured programming
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Evaluation of safety-critical software
Communications of the ACM
Cross system product application generator: application design
IBM Systems Journal
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
Program understanding: challenge for the 1990's
IBM Systems Journal
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
An Empirical Comparison of Software Fault Tolerance and Fault Elimination
IEEE Transactions on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Phased inspections and their implementation
ACM SIGSOFT Software Engineering Notes
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
An improved inspection technique
Communications of the ACM
In-Process Evaluation for Software Inspection and Test
IEEE Transactions on Software Engineering - Special issue on software reliability
Forging a silver bullet from the essence of software
IBM Systems Journal
Adopting Cleanroom software engineering with a phased approach
IBM Systems Journal
Deriving programs using generic algorithms
IBM Systems Journal
IEEE Software
Software Process Evolution at the SEL
IEEE Software
State abstraction and modular software development
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
Design and analysis of hierarchical software metrics
ACM Computing Surveys (CSUR)
Implementing cleanroom software engineering into a mature CMM-based software organization
ICSE '97 Proceedings of the 19th international conference on Software engineering
Understanding natural programs using proper decomposition
ICSE '91 Proceedings of the 13th international conference on Software engineering
Cleanroom software engineering for zero-defect software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Comparing and combining software defect detection techniques: a replicated empirical study
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Communications of the ACM
Communications of the ACM
Teaching principles of computer programming
CSC '87 Proceedings of the 15th annual conference on Computer Science
Semantics-preserving procedure extraction
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Comparative Analysis of Functional Correctness
ACM Computing Surveys (CSUR)
Some factors affecting program repair maintenance: an empirical study
Communications of the ACM
A generalized control structure and its formal definition
Communications of the ACM
Communications of the ACM
IEEE Transactions on Software Engineering
Systematic object-oriented inspection — an empirical study
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
ACM SIGCSE Bulletin
Information hiding, the Intel iAPX 432,and Ada
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Software inspections, reviews & walkthroughs
Proceedings of the 24th International Conference on Software Engineering
Translating Iterative Algorithms into Automaton Ones
Programming and Computing Software
Engineering Software Under Statistical Quality Control
IEEE Software
Integrated CASE for Cleanroom Development
IEEE Software
Stepwise Refinement and Problem Solving
IEEE Software
Planning and Certifying Software System Reliability
IEEE Software
Lessons Learned in an Industrial Software Lab
IEEE Software
IEEE Software
Verifying Definite Iteration Over Data Structures
IEEE Transactions on Software Engineering
A Tool to Reengineer Legacy Systems to Object-Oriented Systems
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
The teaching of software engineering
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
An algebra for data flow anomaly detection
ICSE '84 Proceedings of the 7th international conference on Software engineering
ICSE '84 Proceedings of the 7th international conference on Software engineering
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
Global data flow analysis by decomposition into primes
ICSE '82 Proceedings of the 6th international conference on Software engineering
PDL/Ada—a design language based on Ada
ACM '81 Proceedings of the ACM '81 conference
Educational experiences in industrial software engineering
ACM '80 Proceedings of the ACM 1980 annual conference
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
Characteristic errors in programming languages
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Slicing Functional Components from Data-Intensive Business Programs
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
(Quasi-)experimental studies in industrial settings
Lecture notes on empirical software engineering
The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection
IEEE Transactions on Software Engineering
Verification of synthesized circuits at register transfer level with flow graphs
EURO-DAC '91 Proceedings of the conference on European design automation
A Program Design Language for software engineering
ACM SIGPLAN Notices
ACM SIGAda Ada Letters
PDL/Ada: a design language based on Ada
ACM SIGAda Ada Letters
Using box structures for definition of requirements specifications
IBM Systems Journal
Box-structured methods for systems development with objects
IBM Systems Journal
PARTIAL: a tool to monitor the stepwise refinement of Ada programs
ACM SIGSOFT Software Engineering Notes
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Verification of finite iterations over collections of variable data structures
Cybernetics and Systems Analysis
Introducing function extraction into software testing
ACM SIGMIS Database
The impacts of function extraction technology on program comprehension: A controlled experiment
Information and Software Technology
ACM SIGSOFT Software Engineering Notes
Maintenance as a function of design
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Document based rational software development
Knowledge-Based Systems
The impact of requirements changes on specifications and state machines
Software—Practice & Experience
Structural models of algorithms in problems of applied programming. I. Formal algorithmic structures
Cybernetics and Systems Analysis
An axiom system for sequence-based specification
Theoretical Computer Science
Abstract design and program translator: new tools for software design
IBM Systems Journal
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
A fault-tolerant system architecture for navy applications
IBM Journal of Research and Development
Abstract design and program translator: new tools for software design
IBM Systems Journal
Simple section interchange and properties of non-computable functions
Science of Computer Programming
Fission for program comprehension
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Behavior computation for smart grid software analysis
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
A process for managing interaction between experimenters to get useful similar replications
Information and Software Technology
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Applying string-rewriting to sequence-based specification
Formal Methods in System Design
| Hi-index | 0.11 |