scispace - formally typeset
Open AccessBook

Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design

Reads0
Chats0
TLDR
A valuable new approach to computer systems and program design, structured design is quickly becoming the standard industrial technique for significantly improving productivity, enhancing reliability, and lowering maintenance costs as discussed by the authors, and structured design has been shown to be effective in improving reliability and reducing maintenance costs.
Abstract
From the Publisher: A valuable new approach to computer systems and program design, structured design is quickly becoming the standard industrial technique for significantly improving productivity, enhancing reliability, and lowering maintenance costs.

read more

Citations
More filters
Journal ArticleDOI

A specifier's introduction to formal methods

TL;DR: Formal methods used in developing computer systems are defined, and their role is delineated, and certain pragmatic concerns about formal methods and their users, uses, and characteristics are discussed.
Journal ArticleDOI

Towards requirements-driven information systems engineering: the Tropos project

TL;DR: This paper proposes a software development methodology named Tropos which is founded on concepts used to model early requirements, and adopts the i organizational modeling framework, which offers the notions of actor, goal and (actor) dependency.
Proceedings ArticleDOI

Detection of logical coupling based on product release history

TL;DR: This work uses information in a release history of a system to uncover logical dependencies and change patterns among modules, identifying logical coupling among modules in such a way that potential structural shortcomings can be identified and further examined, pointing to restructuring or reengineering opportunities.
Journal ArticleDOI

Correct architecture refinement

TL;DR: A method is presented for the stepwise refinement of an abstract architecture into a relatively correct lower-level architecture that is intended to implement it, and a special correctness criterion is defined for the domain of software architecture.
Journal ArticleDOI

Toward a Product System Modularity Construct: Literature Review and Reconceptualization

TL;DR: The paper constitutively defines product modularity in terms of component separability and component combinability, and an indirect operational definition is then proposed by operationalizing component separable and component Combinability.