SDE 3最新文献

筛选
英文 中文
Centaur: the system 半人马:系统
SDE 3 Pub Date : 1989-01-03 DOI: 10.1145/64135.65005
P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, V. Pascual
{"title":"Centaur: the system","authors":"P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, V. Pascual","doi":"10.1145/64135.65005","DOIUrl":"https://doi.org/10.1145/64135.65005","url":null,"abstract":"This paper describes the organization of the CENTAUR system and its main components. The system is a generic interactive environment. When given the formal specification of a particular programming language-including syntax and semantics — it produces a language specific environment. This resulting environment includes a structure editor, an interpreter/debugger and other tools, all of which have graphic interfaces. CENTAUR is made of three parts: a database component, that provides standardized representation and access to formal objects and their persistent storage; a logical engine that is used to execute formal specifications; an object-oriented man-machine interface that gives easy access to the system's functions. CENTAUR is essentially written in Lisp (Le_Lisp). The logical engine is Prolog (Mu-Prolog). The man-machine interface is built on top of the virtual graphics facility of Le_Lisp, itself primarily implemented on top of X-Windows.","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"3 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":"126131370","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}
引用次数: 447
An overview of DOD-STD-1838A (proposed) the common APSE interface set: revision 概述DOD-STD-1838A(建议)通用的APSE接口集:修订
SDE 3 Pub Date : 1988-11-03 DOI: 10.1145/64135.65025
R. Munck, P. Oberndorf, E. Plödereder, R. Thall
{"title":"An overview of DOD-STD-1838A (proposed) the common APSE interface set: revision","authors":"R. Munck, P. Oberndorf, E. Plödereder, R. Thall","doi":"10.1145/64135.65025","DOIUrl":"https://doi.org/10.1145/64135.65025","url":null,"abstract":"A five-year effort under the Ada Joint Program Office has developed a proposed standard for a host system interface as seen by tools running in an Ada Programming Support Environment (APSE). Standardization of this interface as DOD-STD-1838A will have a number of desirable effects for the Department of Defense, including tool portability, tool integration, data transportability, encouragement of a market in portable tools, and better programmer productivity.\u0000As the capability of tools to communicate with each other is a central requirement in APSEs, the Common APSE Interface Set (CAIS) has paid particular attention to facilitate such communication in a host-independent fashion. CAIS incorporates a well-integrated set of concepts tuned to the needs of writers and users of integrated tool sets.\u0000This paper covers several of these concepts:<list><item>• the entity management system used in place of a traditional filing system,\u0000</item><item>• object typing with inheritance,\u0000</item><item>• process control including atomic transactions,\u0000</item><item>• access control and security,\u0000</item><item>• input/output methods,\u0000</item><item>• support for distributed resource control, and\u0000</item><item>• facilities for inter-system data transport.\u0000</item></list>","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123612728","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}
引用次数: 28
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学术官方微信