Systematic software development using VDM
Systematic software development using VDM
Generating a test oracle from program documentation: work in progress
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Predicative programming Part I
Communications of the ACM
A generalized control structure and its formal definition
Communications of the ACM
The new math of computer programming
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
PASCAL user manual and report
Reverse engineering of legacy code exposed
Proceedings of the 17th international conference on Software engineering
Integration of sequential scenarios
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
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Successful software engineering research
ACM SIGSOFT Software Engineering Notes
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
On Trace Assertion Method of Module Interface Specification with Concurrency
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
SC(R)3: towards usability of formal methods
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Does The Modern Code Inspection Have Value?
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Structured programming: a minor part of software engineering
Information Processing Letters - Special issue: Contribution to computing science
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Agile Programming: Design to Accommodate Change
IEEE Software
Developing maintainable software: the READABLE approach
Decision Support Systems
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
An IDE for software development using tabular expressions
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Tabular Expressions and Total Functional Programming
Implementation and Application of Functional Languages
Document based rational software development
Knowledge-Based Systems
Integration of formal specification, review, and testing for software component quality assurance
Proceedings of the 2009 ACM symposium on Applied Computing
Integrating specification-based review and testing for detecting errors in programs
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Defining the meaning of tabular mathematical expressions
Science of Computer Programming
An experimental assessment of module documentation-based testing
Information and Software Technology
An automated approach to specification-based program inspection
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
The use of mathematics in software quality assurance
Frontiers of Computer Science in China
Applying reduction techniques to software functional requirement specifications
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Software engineering: multi-person development of multi-version programs
Dependable and Historic Computing
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Hi-index | 0.00 |
Describes a new form of program documentation that is precise, systematic and readable. This documentation comprises a set of displays supplemented by a lexicon and an index. Each display presents a program fragment in such a way that its correctness can be examined without looking at any other display. Each display has three parts: (1) the specification of the program presented in the display, (2) the program itself, and (3) the specifications of programs invoked by this program. The displays are intended to be used by software engineers as a reference document during inspection and maintenance. This paper also introduces a specification technique that is a refinement of H.D. Mills's (1975) functional approach to program documentation and verification; programs are specified and described in tabular form.