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

Softw. Concepts Tools最新文献

筛选
英文 中文
A Language for Specifying Hyperdocuments 一种指定超级文档的语言
Softw. Concepts Tools Pub Date : 2002-04-04 DOI: 10.17877/DE290R-14179
E. Doberkat
{"title":"A Language for Specifying Hyperdocuments","authors":"E. Doberkat","doi":"10.17877/DE290R-14179","DOIUrl":"https://doi.org/10.17877/DE290R-14179","url":null,"abstract":"","PeriodicalId":167132,"journal":{"name":"Softw. Concepts Tools","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121059538","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}
引用次数: 14
An Analyzer for Message Sequence Charts 消息序列图的分析器
Softw. Concepts Tools Pub Date : 1996-03-27 DOI: 10.1007/3-540-61042-1_37
R. Alur, G. Holzmann, D. Peled
{"title":"An Analyzer for Message Sequence Charts","authors":"R. Alur, G. Holzmann, D. Peled","doi":"10.1007/3-540-61042-1_37","DOIUrl":"https://doi.org/10.1007/3-540-61042-1_37","url":null,"abstract":"","PeriodicalId":167132,"journal":{"name":"Softw. Concepts Tools","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124356813","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}
引用次数: 186
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR 利用FDR破解和修复Needham-Schroeder公钥协议
Softw. Concepts Tools Pub Date : 1996-03-27 DOI: 10.1007/3-540-61042-1_43
G. Lowe
{"title":"Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR","authors":"G. Lowe","doi":"10.1007/3-540-61042-1_43","DOIUrl":"https://doi.org/10.1007/3-540-61042-1_43","url":null,"abstract":"","PeriodicalId":167132,"journal":{"name":"Softw. Concepts Tools","volume":"44 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120991209","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}
引用次数: 1488
Early Fault Detection Tools 早期故障检测工具
Softw. Concepts Tools Pub Date : 1996-03-27 DOI: 10.1007/3-540-61042-1_34
G. Holzmann
{"title":"Early Fault Detection Tools","authors":"G. Holzmann","doi":"10.1007/3-540-61042-1_34","DOIUrl":"https://doi.org/10.1007/3-540-61042-1_34","url":null,"abstract":"","PeriodicalId":167132,"journal":{"name":"Softw. Concepts Tools","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130246245","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}
引用次数: 37
Type Inference for Turbo Pascal Turbo Pascal的类型推断
Softw. Concepts Tools Pub Date : 1995-01-08 DOI: 10.7146/BRICS.V2I8.19511
Ole I. Hougaard, M. I. Schwartzbach, Hosein Askari
{"title":"Type Inference for Turbo Pascal","authors":"Ole I. Hougaard, M. I. Schwartzbach, Hosein Askari","doi":"10.7146/BRICS.V2I8.19511","DOIUrl":"https://doi.org/10.7146/BRICS.V2I8.19511","url":null,"abstract":"Type inference is generally thought of as being an exclusive property of the functional programming paradigm. We argue that such a feature may be of significant benefit for also standard imperative languages. We present a working tool (available by WWW) providing these benefits for a full version of Turbo Pascal. It has the form of a preprocessor that analyzes programs in which the type annotations are only partial or even absent. The resulting program has full type annotations, will be accepted by the standard Turbo Pascal compiler, and has polymorphic use of procedures resolved by means of code expansion. Keywords: imperative languages, type inference.","PeriodicalId":167132,"journal":{"name":"Softw. Concepts Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129842952","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}
引用次数: 9
From Action Systems to Modular Systems 从行动系统到模块化系统
Softw. Concepts Tools Pub Date : 1994-10-24 DOI: 10.1007/3-540-58555-9_83
R. Back, K. Sere
{"title":"From Action Systems to Modular Systems","authors":"R. Back, K. Sere","doi":"10.1007/3-540-58555-9_83","DOIUrl":"https://doi.org/10.1007/3-540-58555-9_83","url":null,"abstract":"","PeriodicalId":167132,"journal":{"name":"Softw. Concepts Tools","volume":"239 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123072088","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}
引用次数: 90
EUPHORIA: End-User Construction of Direct Manipulation User Interfaces for Distributed Applications EUPHORIA:分布式应用程序直接操作用户界面的最终用户构建
Softw. Concepts Tools Pub Date : 1900-01-01 DOI: 10.7936/K7PZ572S
P. McCartney, K. Goldman, David Saff
{"title":"EUPHORIA: End-User Construction of Direct Manipulation User Interfaces for Distributed Applications","authors":"P. McCartney, K. Goldman, David Saff","doi":"10.7936/K7PZ572S","DOIUrl":"https://doi.org/10.7936/K7PZ572S","url":null,"abstract":"The Programmers’ Playground is a software library and run-time system for creating distributed multimedia applications from collections of reusable software modules. This paper presents the design and implementation of EUPHORIA, Playground’s user interface management system. Implemented as a Playground module, EUPHORIA allows end-users to create direct manipulation graphical user interfaces (GUIs) exclusively through the use of a graphics editor. No programming is required. At run-time, attributes of the GUI state can be exposed and connected to external Playground modules, allowing the user to visualize and directly manipulate state information in remote Playground modules. Features of EUPHORIA include real-time direct manipulation graphics, constraint-based editing and visualization, imaginary alignment objects, user-definable types, and user-definable widgets with alternative representations.","PeriodicalId":167132,"journal":{"name":"Softw. Concepts Tools","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115518420","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}
引用次数: 15
Completeness of a Visual Computation Model 视觉计算模型的完备性
Softw. Concepts Tools Pub Date : 1900-01-01 DOI: 10.7936/K7TX3CQ3
T. Brown, T. Kimura
{"title":"Completeness of a Visual Computation Model","authors":"T. Brown, T. Kimura","doi":"10.7936/K7TX3CQ3","DOIUrl":"https://doi.org/10.7936/K7TX3CQ3","url":null,"abstract":"Visual programming is the specification of computational processes using diagrams and icons. Traditional computation models such as Turing machines and lambda-calculus, which are based on one-dimensional text strings, are not suitable for visual programming languages. We propose a two-dimensional computation model that requires no text. We also prove that the model is computationallhy complete, i.e., that the model has the same computational power as Turing machines.","PeriodicalId":167132,"journal":{"name":"Softw. Concepts Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127471284","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}
引用次数: 5
Protocol Extension: A Technique for Structuring Large Extensible Software-Systems 协议扩展:构建大型可扩展软件系统的一种技术
Softw. Concepts Tools Pub Date : 1900-01-01 DOI: 10.3929/ethz-a-006650217
M. Franz
{"title":"Protocol Extension: A Technique for Structuring Large Extensible Software-Systems","authors":"M. Franz","doi":"10.3929/ethz-a-006650217","DOIUrl":"https://doi.org/10.3929/ethz-a-006650217","url":null,"abstract":"A technique is described by which dynamically_loadable modules may add methods to existing classes at run_time. This leads to increased flexibility for structuring large extensible software_systems. Through the use of a doubly_indirect dispatch scheme, efficient method activation can be provided without the need to enumerate the set of methods applicable to a particular class at compile time. As a consequence, separately_compiled client modules are not invalidated when methods are added to an imported class. This reduces the number of recompilations and increases development efficiency. The new mechanism has been incorporated into a variant of the Oberon System. The paper proposes a set of syntactic extensions to the Oberon language and discusses implementation options.","PeriodicalId":167132,"journal":{"name":"Softw. Concepts Tools","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125807134","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}
引用次数: 5
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学术文献互助群
群 号：481959085
Book学术官方微信