发布求助
文献互助 智能选刊 最新文献

SDE 3最新文献

筛选
英文 中文
An overview of PCTE and PCTE+ PCTE和PCTE+的概述
SDE 3 Pub Date : 1989-01-03 DOI: 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}
引用次数: 172
A unifying model for consistent distributed software development environments 一致的分布式软件开发环境的统一模型
SDE 3 Pub Date : 1989-01-03 DOI: 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}
引用次数: 31
The ergo attribute system 因此属性系统
SDE 3 Pub Date : 1989-01-03 DOI: 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}
引用次数: 17
A software development environment for law-governed systems 受法律约束的系统的软件开发环境
SDE 3 Pub Date : 1989-01-03 DOI: 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}
引用次数: 43
Version management in Gypsy 吉普赛版本管理
SDE 3 Pub Date : 1989-01-03 DOI: 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}
引用次数: 45
Object database support for a software project management environment 对象数据库支持软件项目管理环境
SDE 3 Pub Date : 1989-01-03 DOI: 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}
引用次数: 17
Object management issues for software engineering environments workshop report 软件工程环境的对象管理问题研讨会报告
SDE 3 Pub Date : 1989-01-03 DOI: 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}
引用次数: 21
The ergo support system: an integrated set of tools for prototyping integrated environments 因此支持系统:一组集成的工具，用于对集成环境进行原型设计
SDE 3 Pub Date : 1989-01-03 DOI: 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}
引用次数: 32
A graph transform model for configuration management environments 用于配置管理环境的图转换模型
SDE 3 Pub Date : 1989-01-03 DOI: 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}
引用次数: 17
The Software Life Cycle Support Environment (SLCSE): a computer based framework for developing software systems 软件生命周期支持环境(SLCSE):用于开发软件系统的基于计算机的框架
SDE 3 Pub Date : 1989-01-03 DOI: 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}
引用次数: 39
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信