Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/800020.808253acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
Article
Free access

The Darwin software-evolution environment

Published: 25 April 1984 Publication History

Abstract

The main goal of the Darwin software development environment is to establish a rigorous authorization-based discipline which can be used to impose constraints on the structure and operations of software systems as well as on their process of development Such constraints might be desirable to serve the following needs:
• The need to provide support and enforcement for such software engineering techniques as informationhiding, data abstraction and modularization, even when these techniques are not offered by the programming language itself.
•The need to support rules which govern the real enterprise being served by the system, and which must be invariant of the evolutionary behaviou of the system.
• The need to enforce managerial policies concerning the process of system development itself.

References

[1]
Ambler, A., Good D. I. and Burger W. F. Report on the Language Gypsy. Technical Report ICSCA-CMP-1, Univ. of Texas, Aug., 1976.
[2]
Baily, Andrew D., Gerlach, J., McAfee, P. and Whinston, A. B. Internal Accounting Control in the Office of the Future. The IEEE Computer Journal, May, 1981.
[3]
Lampson, B. W., Horning J. J., London R. L., Mitchell J. G. and Popek G. J. Report on the Programming Language Euclid. Technical Report, Xerox, Feb., 1977.
[4]
Lasker, D. M. Module Structure in an Evolving Family of Real Time Systems. In Proceedings of the 4th Int. Conf, on Software Engineering, pages 22-28. IEEE, September, 1979.
[5]
Lauer, H. C. and Satterthwaite E. H The Impact of Mesa on System DEsign. In 4th International Conference on Software Engineering, pages 174:182. IEEE, September, 1979.
[6]
Liskov, B., Snyder A., Atkinson R. and Scaffert C. Abstraction Mechanism in CLU. Comm. of the ACM 20(8), August, 1977.
[7]
Minsky, N H. An operation-control scheme for authorization in computer systems. Int. J. of Computer and Information Sci., June, 1978.
[8]
Minsky, N. H. Locally Controlled Transport Of Privileges. Technical Report LCSR-TR-17, Rutgers University, June, 1981. (Submitted for publication).
[9]
Minsky, N. H. Power and its Distribution in Software Systems. Technical Report LCSR-TR-49, Rutgers University, December, 1983. To be published in the IEEE Computer Magazine).
[10]
Minsky, N. H. Locality in Software Systems. In Symposium on Principles of Programming Languages (POPL). January, 1983.
[11]
Parnas, D.L. and Siewiorek, D.L. Use of the Concept of Transparency in the Design of Hierarchically Structured Systems.
[12]
Tichy, Walter F. INTERCOL User Manual Carnegie-Mellon University, 1979.
[13]
Wulf, W. and Shaw, Mary. Global Variables Considered Harmful. ACM SIGPLAN Notices 8(2):28-33, Feb., 1973.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SDE 1: Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
April 1984
196 pages
ISBN:0897911318
DOI:10.1145/800020
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 April 1984

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)115
  • Downloads (Last 6 weeks)25
Reflects downloads up to 10 Nov 2024

Other Metrics

Citations

Cited By

View all

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media