article

Free access

An introduction to the DREAM software design system

Authors:

William E. Riddle,

John H. Sayler,

Alan R. Segal,

Jack C. WiledenAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 2, Issue 4

Pages 11 - 24

https://doi.org/10.1145/1010730.1010731

Published: 01 July 1977 Publication History

PDF eReader

Abstract

We describe the underlying philosophy, the system organization and the design language of the Design Realization Evaluation And Modelling system, a prototype of a system being developed to aid software system designers.

References

[1]

W. E. Riddle. Computer Aided Design of Complex Software Systems. Proc, Fourth Texas Conference on Computing Systems, Austin, Texas, November 1975, pp. 3A2.1--3A2.12.

Google Scholar

[2]

P. Henderson and R. A. Snowdon. A Tool for Structured Program Development. Proc. IFIP Congress 74, Stockholm, August 1974, pp. 204--207.

Google Scholar

[3]

W. E. Riddle. An Approach to Software System Modelling, Behavior Specification and Analysis. RSSM25, Dept. Computer and Comm. Sciences, Univ. Of Michigan, July 1976.

Google Scholar

[4]

P. Henderson. Rinite State Modelling in Program Development. Proc. First International Conf. on Software Reliability, Los Angeles, April 1974, pp. 221--227.

Digital Library

Google Scholar

Cited By

View all

Demsky BRinard M(2009)Automatic Extraction of Heap Reference Properties in Object-Oriented ProgramsIEEE Transactions on Software Engineering10.1109/TSE.2008.9135:3(305-324)Online publication date: 1-May-2009
https://dl.acm.org/doi/10.1109/TSE.2008.91
Lauer PShields MCotronis J(2005)Formal behavioural specification of concurrent systems without globality assumptionsFormalization of Programming Concepts10.1007/3-540-10699-5_95(115-151)Online publication date: 24-May-2005
https://doi.org/10.1007/3-540-10699-5_95
Demsky BRinard MTracz WMagee JYoung M(2002)Role-based exploration of object-oriented programsProceedings of the 24th International Conference on Software Engineering10.1145/581339.581379(313-324)Online publication date: 19-May-2002
https://dl.acm.org/doi/10.1145/581339.581379
Show More Cited By

Recommendations

Usability through Software Design

Over the past two decades, the HCI community has proposed specific features that software applications should include to overcome some of the most common usability problems. However, incorporating such usability features into software applications may ...
A demonstration of a distributed software design sketching tool
ICSE '11: Proceedings of the 33rd International Conference on Software Engineering

Software designers frequently sketch when they design, particularly during the early phases of exploration of a design problem and its solution. In so doing, they shun formal design tools, the reason being that such tools impose conformity and precision ...
Software design sketching with calico
ASE '10: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering

Despite the availability of a host of software design notations and associated tools, software developers are known to frequently turn to the whiteboard when faced with a specific design problem. There, they typically engage in an informal form of ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 2, Issue 4

July 1977

19 pages

ISSN:0163-5948

DOI:10.1145/1010730

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1977

Published in SIGSOFT Volume 2, Issue 4

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
339
Total Downloads

Downloads (Last 12 months)86
Downloads (Last 6 weeks)14

Reflects downloads up to 28 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Demsky BRinard M(2009)Automatic Extraction of Heap Reference Properties in Object-Oriented ProgramsIEEE Transactions on Software Engineering10.1109/TSE.2008.9135:3(305-324)Online publication date: 1-May-2009
https://dl.acm.org/doi/10.1109/TSE.2008.91
Lauer PShields MCotronis J(2005)Formal behavioural specification of concurrent systems without globality assumptionsFormalization of Programming Concepts10.1007/3-540-10699-5_95(115-151)Online publication date: 24-May-2005
https://doi.org/10.1007/3-540-10699-5_95
Demsky BRinard MTracz WMagee JYoung M(2002)Role-based exploration of object-oriented programsProceedings of the 24th International Conference on Software Engineering10.1145/581339.581379(313-324)Online publication date: 19-May-2002
https://dl.acm.org/doi/10.1145/581339.581379
Penedo MBerry DEstrin GJeffrey SStucki L(1981)An algorithm to support code-skeleton generation for concurrent systemsProceedings of the 5th international conference on Software engineering10.5555/800078.802524(125-135)Online publication date: 9-Mar-1981
https://dl.acm.org/doi/10.5555/800078.802524
Penedo MBerry DBauer FStucki LLehman M(1979)The use of a Module Interconnection Language in the SARA system design methodologyProceedings of the 4th international conference on Software engineering10.5555/800091.802951(294-307)Online publication date: 17-Sep-1979
https://dl.acm.org/doi/10.5555/800091.802951
Riddle W(1979)An approach to software system modelling and analysisComputer Languages10.1016/0096-0551(79)90009-24:1(49-66)Online publication date: 1-Jan-1979
https://dl.acm.org/doi/10.1016/0096-0551%2879%2990009-2
Riddle WWileden JSayler JSegal AStavely AWilkes MBelady LSu YHayman HEnslow P(1978)Behavior modelling during software designProceedings of the 3rd international conference on Software engineering10.5555/800099.803185(13-22)Online publication date: 10-May-1978
https://dl.acm.org/doi/10.5555/800099.803185
Software Engineering Notes Staff (1978)Abstracts in software engineeringACM SIGSOFT Software Engineering Notes10.1145/1010751.10107613:3(31-33)Online publication date: 1-Jul-1978
https://dl.acm.org/doi/10.1145/1010751.1010761
Riddle WWileden J(1978)Languages for representing software specifications and designsACM SIGSOFT Software Engineering Notes10.1145/1010741.10107423:4(7-11)Online publication date: 1-Oct-1978
https://dl.acm.org/doi/10.1145/1010741.1010742
Riddle WWileden JSayler JSegal AStavely A(1978)Behavior Modeling During Software DesignIEEE Transactions on Software Engineering10.1109/TSE.1978.2315134:4(283-292)Online publication date: 1-Jul-1978
https://dl.acm.org/doi/10.1109/TSE.1978.231513
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Usability through Software Design

A demonstration of a distributed software design sketching tool

Software design sketching with calico

Comments

Information

Published In

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations