Principles of information systems analysis and design

A presentation and comparison of four information system development methodologies

ACM SIGSOFT Software Engineering Notes

Box structured information systems

IBM Systems Journal

Automatic program development using PIA-CASE tool

ACM SIGSMALL/PC Notes

The automated production control documentation system: a case study in cleanroom software engineering

ACM Transactions on Software Engineering and Methodology (TOSEM)

Adopting Cleanroom software engineering with a phased approach

IBM Systems Journal

Deriving programs using generic algorithms

IBM Systems Journal

Cleanroom Process Model

IEEE Software

Cleanroom software engineering for zero-defect software

ICSE '93 Proceedings of the 15th international conference on Software Engineering

Integrating literate programming and cleanroom software engineering to teach software engineering skills

Proceedings of the 2nd Australasian conference on Computer science education

Science and engineering for software development: a recognition of Harlan D. Mills' legacy

Proceedings of the 21st international conference on Software engineering

Ada box structures: starting with objects

WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada

Why softwarre fails

ACM SIGSOFT Software Engineering Notes

Managing Software Development for Survivable Systems

Annals of Software Engineering

Using Function Abstraction to Understand Program Behavior

IEEE Software

Software Processes: Live and Let Die

IEEE Software

QDA - A Method for Systematic Informal Program Analysis

IEEE Transactions on Software Engineering

Requirements Definition for Survivable Network Systems

ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice

Literate software development

Journal of Computing Sciences in Colleges

Foundations of Sequence-Based Software Specification

IEEE Transactions on Software Engineering

Using box structures for definition of requirements specifications

IBM Systems Journal

Implementing tool support for box structures

IBM Systems Journal

Box-structured methods for systems development with objects

IBM Systems Journal

Combining the Box Structure Development Method and CSP

Proceedings of the 19th IEEE international conference on Automated software engineering

To use or not to use the goto statement: programming styles viewed from Hoare logic

Science of Computer Programming

Writing code for other people: cognitive psychology and the fundamentals of good software design principles

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Combining the Box Structure Development Method and CSP for Software Development

Electronic Notes in Theoretical Computer Science (ENTCS)

A Fitness-Utility Model for Design Science Research

ACM Transactions on Management Information Systems (TMIS)