Abstract design and program translator: New tools for software design

Archibald, Jerry L.; Leavenworth, B. M.; Power, L. R.

doi:10.1147/sj.223.0170

Cited by 8 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They also employed automated reasoning techniques to perform the consistency checking of component interconnection [25]. ADAPT [26] developed by IBM also has the MIL feature and is reported very successful for overall system design and decomposition.…”

Section: ) Module Interconnection Languagesmentioning

confidence: 99%

A survey of software design techniques

Yau

Tsai

1986

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Software design is the process which translates the requirements into a detailed design representation of a software system. Good software design is a key to produce reliable and understandable software. To support software design, many techniques and tools have been developed. In this paper, important techniques for software design, including architectural and detailed design stages, are surveyed. Recent advances in distributed software system design methodologies are also reviewed. To ensure software quality, various design verification and validation techniques are also discussed. In addition, current software metrics and error-resistant software design methodologies are considered. Future research in software design is also discussed.Index Terms-Design methodologies, design representation, design verification and validation, distributed software system design, errorresistant software design, software design technique, software metrics.

show abstract

Section: ) Module Interconnection Languagesmentioning

confidence: 99%

A survey of software design techniques

Yau

Tsai

1986

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

Software function allocation methodology

1989

View full text Add to dashboard Cite

One of the challenges of distributed computer systems is the effective allocation of software system functions among the hardware components of the distributed system. Software function allocation methodology (SFAM) provides computer software system designers with a thorough and flexible method to allocate software system functions among the hardware components of a distributed computer system. Software designers select and rank relevant design parameters, analyse how well different distributed computer system components meet the chosen parameters, and allocate the software function accordingly. The paper defines the problem, covers necessary terminology, and discusses the current state of research. The preconditions necessary for an analysis using SFAM are covered along with the environment in which SFAM should be used. Details of SFAM components are discussed. A complete outline of the SFAM methodology is provided, along with discussion of key points and frequent examples.

show abstract