SDE 3Pub Date : 1989-01-03DOI: 10.1145/64135.65026
Gérard Boudier, F. Gallo, Régis Minot, I. Thomas
{"title":"An overview of PCTE and PCTE+","authors":"Gérard Boudier, F. Gallo, Régis Minot, I. Thomas","doi":"10.1145/64135.65026","DOIUrl":"https://doi.org/10.1145/64135.65026","url":null,"abstract":"The PCTE project has defined a Public Tool Interface on which Software Engineering Environments can be constructed. The interface definition was put into the public domain in September 1986 and several implementations on several machines now exist. The PCTE+ project was set up to define a Public Tool Interface, based on the PCTE work, that could also serve for the development of defense and other high-security applications. This paper summarises the current status of PCTE activity, presents the principal concepts of PCTE and the evolutions that are being proposed in the PCTE+ project.","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116166133","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SDE 3Pub Date : 1989-01-03DOI: 10.1145/64135.65021
J. Walpole, G. Blair, Javad Malik, J. Nicol
{"title":"A unifying model for consistent distributed software development environments","authors":"J. Walpole, G. Blair, Javad Malik, J. Nicol","doi":"10.1145/64135.65021","DOIUrl":"https://doi.org/10.1145/64135.65021","url":null,"abstract":"The increase in size and complexity of software projects over recent years has lead to the need for Software Development Environments (SDEs). SDEs are intended to provide assistance in the development of large software systems involving teams of people. It is generally agreed that SDE's should be built on a distributed base. However, the distribution of computer systems introduces several problems which make it very difficult to maintain the consistency of data.\u0000To ensure that changes to data are made consistently the concept of atomic transactions is usually adopted. However, existing transaction mechanisms are unsuitable for use in a distributed SDE. Furthermore, transactions are not the only mechanism concerned with controlling changes to the SDE database. The control of change is also a task for version and configuration control mechanisms. Traditionally, the functions of version control, configuration control and transactions have been treated as separate, unrelated issues.\u0000This paper presents a new model which unifies all three concepts in a distributed SDE. Mechanisms for supporting the new model are presented and the application of the model to the Cosmos Distributed SDE is discussed.","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126329893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SDE 3Pub Date : 1989-01-03DOI: 10.1145/64135.65014
R. Nord, F. Pfenning
{"title":"The ergo attribute system","authors":"R. Nord, F. Pfenning","doi":"10.1145/64135.65014","DOIUrl":"https://doi.org/10.1145/64135.65014","url":null,"abstract":"The Ergo Attribute System was designed to satisfy the requirements for attributes in a language-generic program derivation environment. It consists of three components: (1) an abstract data type of attributes that guarantees attribute consistency, (2) a Common Lisp implementation which combines demand-driven and incremental attribute evaluation in a novel way while allowing for attribute persistence over many generations of a program, and (3) an attribute-grammar compiler producing code based on this abstract data type from a high-level specification. Our experience with three major applications (one being the attribute-grammar compiler itself) confirms that the overhead in storing and accessing attributes incurred by our implementation scheme is more than offset by the gains from the demand-driven, incremental, and persistent nature of attribution.","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123918862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SDE 3Pub Date : 1989-01-03DOI: 10.1145/64135.65010
N. Minsky, D. Rozenshtein
{"title":"A software development environment for law-governed systems","authors":"N. Minsky, D. Rozenshtein","doi":"10.1145/64135.65010","DOIUrl":"https://doi.org/10.1145/64135.65010","url":null,"abstract":"This paper describes a software development environment based on a new approach for managing large-scale evolving systems. Under this approach, the conventional notion of a <italic>system</italic> is augmented with a new component called the <italic>law of the system</italic>, which is an <italic>explicit</italic> and <italic>strictly enforced</italic> set of rules about the operation of the system, about its evolution, and about the evolution of the law itself. The resulting combination is called a <italic>law-governed system.</italic>","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133032191","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SDE 3Pub Date : 1989-01-03DOI: 10.1145/64135.65022
E. Cohen, Dilip Soni, R. Gluecker, W. Hasling, R. Schwanke, M. E. Wagner
{"title":"Version management in Gypsy","authors":"E. Cohen, Dilip Soni, R. Gluecker, W. Hasling, R. Schwanke, M. E. Wagner","doi":"10.1145/64135.65022","DOIUrl":"https://doi.org/10.1145/64135.65022","url":null,"abstract":"<italic>This paper describes the Version Manager of the Gypsy programming support environment, and its integration with the object-oriented extension of Unix<supscrpt>1</supscrpt> on which it is built.</italic>","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133207326","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SDE 3Pub Date : 1989-01-03DOI: 10.1145/64135.64141
Lung-Chun Liu, E. Horowitz
{"title":"Object database support for a software project management environment","authors":"Lung-Chun Liu, E. Horowitz","doi":"10.1145/64135.64141","DOIUrl":"https://doi.org/10.1145/64135.64141","url":null,"abstract":"The recent development of object-oriented database models, which combine the power of object programming and the efficient management of data, provides a feasible solution for the construction of a computer-aided software engineering environment or CASE. However, an object oriented database provides only a kernel set of capabilities. This paper identifies the data management requirements related to software project management and shows how they are represented in the model called Design-Net. Then it is shown how the concepts of the work breakdown structure, project history, event monitoring, and re-initiation of tasks are realized in a specific object-oriented system. Limitations of existing object oriented database systems are identified, with respect to implementing these concepts. Based upon an actual prototype, recommendations are made for enhancing future object-oriented systems.","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"242 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131613973","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SDE 3Pub Date : 1989-01-03DOI: 10.1145/64135.65024
M. Penedo, E. Plödereder, I. Thomas
{"title":"Object management issues for software engineering environments workshop report","authors":"M. Penedo, E. Plödereder, I. Thomas","doi":"10.1145/64135.65024","DOIUrl":"https://doi.org/10.1145/64135.65024","url":null,"abstract":"During recent years, several research efforts in the area of software development environments have focused on the provision of uniform Object Management Systems (OMS) as a framework for tool integration and communication. This paper summarizes discussions of an OMS Workshop on the issues that arise in defining an appropriate data model for an OMS.","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127296054","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SDE 3Pub Date : 1989-01-03DOI: 10.1145/64135.65006
Peter Lee, F. Pfenning, Gene Rollins, W. Scherlis
{"title":"The ergo support system: an integrated set of tools for prototyping integrated environments","authors":"Peter Lee, F. Pfenning, Gene Rollins, W. Scherlis","doi":"10.1145/64135.65006","DOIUrl":"https://doi.org/10.1145/64135.65006","url":null,"abstract":"The Ergo Support System (ESS) is an engineering framework for experimentation and prototyping to support the application of formal methods to program development, ranging from program analysis and derivation to proof-theoretic approaches. The ESS is a growing suite of tools that are linked together by means of a set of abstract interfaces. The principal engineering challenge is the design of abstract interfaces that are semantically rich and yet flexible enough to permit experimentation with a wide variety of formally-based program and proof development paradigms and associated languages. As part of the design of ESS, several abstract interface designs have been developed that provide for more effective component integration while preserving flexibility and the potential for scaling. A benefit of the open architecture approach of ESS is the ability to mix formal and informal approaches in the same environment architecture. The ESS has already been applied in a number of formal methods experiments.","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122292877","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SDE 3Pub Date : 1989-01-03DOI: 10.1145/64135.65023
D. Heimbigner, S. Krane
{"title":"A graph transform model for configuration management environments","authors":"D. Heimbigner, S. Krane","doi":"10.1145/64135.65023","DOIUrl":"https://doi.org/10.1145/64135.65023","url":null,"abstract":"A model for software configuration management that subsumes several existing systems is described. It is patterned after compiler models in which programs are transformed by multiple phases ending in an executable program. We model configuration management as transforming a high-level specification of a software product to be produced into a complete specification capable of being executed to construct the product. This transformational approach is used to model four existing systems and to compare and contrast their operation.","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131623484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SDE 3Pub Date : 1989-01-03DOI: 10.1145/64135.65007
T. Strelich
{"title":"The Software Life Cycle Support Environment (SLCSE): a computer based framework for developing software systems","authors":"T. Strelich","doi":"10.1145/64135.65007","DOIUrl":"https://doi.org/10.1145/64135.65007","url":null,"abstract":"The Software Life Cycle Support Environment (SLCSE) is a VAX/VMS-based software development environment framework which presents a common and consistent user interface accessing a comprehensive set of software development tools supporting the full spectrum of DOD-STD-2 167A software life cycle activities from Requirements Analysis to Maintenance. These tools utilize a Project Database which maintains information relevant not only to the software under development (e.g., requirements allocation, software interfaces, etc.), but also information relating to the project as a whole (e.g., schedules, milestones, Quality Assurance, Configuration Management, etc.). The Project Database supports the DOD-STD-2167A life cycle model and associated Data Item Descriptions (DIDs). SLCSE's framework approach supports the integration of new tools into the environment and permits the SLCSE to evolve over time and adapt to advances in software engineering technology.","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124456483","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}