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

Sky and telescope最新文献

筛选
英文 中文
Modulaser: A Tool for Conceptual Analysis of Software Systems 调制器:软件系统概念分析的工具
Sky and telescope Pub Date : 2016-01-01 DOI: 10.5220/0006080700190026
I. Exman, Phillip Katz
{"title":"Modulaser: A Tool for Conceptual Analysis of Software Systems","authors":"I. Exman, Phillip Katz","doi":"10.5220/0006080700190026","DOIUrl":"https://doi.org/10.5220/0006080700190026","url":null,"abstract":"Modulaser is a software tool which produces a Modularity Matrix, to analyse the design of a software system given by its executable code. However, besides the concrete practical purposes of Modulaser, it is important to understand its techniques in a deeper sense. It is immediately clear that it describes the system in a higher abstraction level than the executable code, as the Modularity Matrix follows an implicit class diagram. But behind classes there are concepts. Thus, the ultimate purpose of Modulaser is conceptual analysis. This paper explains the ideas, describe Modulaser in these terms, and illustrate it by a series of case studies.","PeriodicalId":82708,"journal":{"name":"Sky and telescope","volume":"27 1","pages":"19-26"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86113302","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}
引用次数: 2
The Modularity Matrix as a Source of Software Conceptual Integrity 模块化矩阵作为软件概念完整性的来源
Sky and telescope Pub Date : 2016-01-01 DOI: 10.5220/0006098300270035
I. Exman
{"title":"The Modularity Matrix as a Source of Software Conceptual Integrity","authors":"I. Exman","doi":"10.5220/0006098300270035","DOIUrl":"https://doi.org/10.5220/0006098300270035","url":null,"abstract":"Conceptual Integrity has been declared the most important consideration for software system design. However, the very concept of Conceptual Integrity remained quite vague, lacking a precise formal definition. This paper offers a path to a novel definition of Conceptual Integrity in terms of the Modularity Matrix, the basic structure of Linear Software Models. We provide arguments for the plausibility of the Modularity Matrix as the suggested source of software system Conceptual Integrity, viz. the orthogonality and propriety of the Matrix modules. Furthermore, the paper also reveals some new characteristic properties of Software Conceptual Integrity.","PeriodicalId":82708,"journal":{"name":"Sky and telescope","volume":"31 1","pages":"27-35"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79330795","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}
引用次数: 3
Syntactic-Semantic Extraction of Patterns Applied to the US and European Patents Domain 应用于欧美专利领域的模式句法语义抽取
Sky and telescope Pub Date : 2016-01-01 DOI: 10.5220/0006098600360043
Anabel Fraga, Juan Llorens Morillo, Eugenio Parra, Leticia Arroyo, Valentín Moreno
{"title":"Syntactic-Semantic Extraction of Patterns Applied to the US and European Patents Domain","authors":"Anabel Fraga, Juan Llorens Morillo, Eugenio Parra, Leticia Arroyo, Valentín Moreno","doi":"10.5220/0006098600360043","DOIUrl":"https://doi.org/10.5220/0006098600360043","url":null,"abstract":"Nowadays, there are many scientific inventions referring to any topic like medicine, technology, economics, finance, banking, computer science, and so on. These inventions are suggested as patents to the agencies working in US and Europe for the registration and revision of the patent applications. But, the job of reviewing the patents might be complicated because every day the quantity of it is bigger and bigger. And also, the amount of work dedicated writing a proper application might be intricate and needs several revisions from investor and examiners. This revision job might have costs for the inventor because they don’t know the proper language for writing the application in the formal mode used. As part of a solution, one approach to minimize the impact of this fact and increase the success of the reviewing process is aid the human reviewer and also inventors with a set of patterns created using Natural Language Processing techniques that accelerate the review just looking in the massive set of registration any similar one already patented and on the other hand aid the inventor writing in the formal manner the application.","PeriodicalId":82708,"journal":{"name":"Sky and telescope","volume":"22 1","pages":"36-43"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85150973","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}
引用次数: 2
Development and Evaluation of a Software Requirements Ontology 软件需求本体的开发与评估
Sky and telescope Pub Date : 2016-01-01 DOI: 10.5220/0006079300110018
He Tan, M. Ismail, Vladimir Tarasov, A. Adlemo, Mats E. Johansson
{"title":"Development and Evaluation of a Software Requirements Ontology","authors":"He Tan, M. Ismail, Vladimir Tarasov, A. Adlemo, Mats E. Johansson","doi":"10.5220/0006079300110018","DOIUrl":"https://doi.org/10.5220/0006079300110018","url":null,"abstract":"This paper presents an ontology which has been developed to represent the requirements of a software component pertaining to an embedded system in the avionics industry. The ontology was built base ...","PeriodicalId":82708,"journal":{"name":"Sky and telescope","volume":"23 1","pages":"11-18"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84267824","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}
引用次数: 13
Modeling Semantics sans Mathematical Formalism 无数学形式主义的建模语义
Sky and telescope Pub Date : 2016-01-01 DOI: 10.5220/0006098900440054
R. Gallant
{"title":"Modeling Semantics sans Mathematical Formalism","authors":"R. Gallant","doi":"10.5220/0006098900440054","DOIUrl":"https://doi.org/10.5220/0006098900440054","url":null,"abstract":"Much ink has been spilled regarding the trials and tribulations of adapting formal methods to the needs of software engineering practitioners With the exception of computer scientists with a passion for algorithm design and optimization, a plethora of Greek letters and symbols can be an anathema to those whose first love is writing code. The advent of graphical modeling languages such as UML, and supporting tools that generate production quality code, executable modeling behavioral simulations for bridging the gap between formalism and coding. This paper proposes, with illustrative examples, an exploratory learning modality, by which the practicing engineer can investigate and empirically learn the semantic mapping of UML syntax to the semantic domains of system instantiation and reactive behavior.","PeriodicalId":82708,"journal":{"name":"Sky and telescope","volume":"12 1","pages":"44-54"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83390371","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}
引用次数: 0
Fast and Reliable Software Translation of Programming Languages to Natural Language 快速可靠的程序语言到自然语言的软件翻译
Sky and telescope Pub Date : 2016-01-01 DOI: 10.5220/0006081200570064
I. Exman, O. Shapira
{"title":"Fast and Reliable Software Translation of Programming Languages to Natural Language","authors":"I. Exman, O. Shapira","doi":"10.5220/0006081200570064","DOIUrl":"https://doi.org/10.5220/0006081200570064","url":null,"abstract":"An experienced software professional with several years of programming in some languages is usually expected to read or write with proficiency in a new programming language. However, if severe time constraints are involved, and given the current availability of internet sources, there is no reason to avoid shortcuts supporting fast translation of source code keywords into Natural Language. This work describes our tool coined PL-to-NL Translator, the main ideas behind it, and its extensions. One basic assumption that was clear from the beginning of this work is the need to keep as far as possible a clear separation between generic infra-structure and the specifics of particular programming languages. Moreover, the tool keeps its generality relative to programming languages, enabling through its contributor engine, addition of any desired current or future programming language. The ideas and the software tool characteristics are illustrated by some case studies involving a few sufficiently different programming languages.","PeriodicalId":82708,"journal":{"name":"Sky and telescope","volume":"10 1","pages":"57-64"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91283393","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}
引用次数: 1
Requirements Engineering: More Is Not Necessarily Better 需求工程:更多不一定更好
Sky and telescope Pub Date : 2016-01-01 DOI: 10.5220/0006099200650068
Gonzalo Génova
{"title":"Requirements Engineering: More Is Not Necessarily Better","authors":"Gonzalo Génova","doi":"10.5220/0006099200650068","DOIUrl":"https://doi.org/10.5220/0006099200650068","url":null,"abstract":"We show that documenting requirements (and, in general, requirements engineering) is profitable for the project, but not as profitable as to consider that “the more, the better”.","PeriodicalId":82708,"journal":{"name":"Sky and telescope","volume":"5 1","pages":"65-68"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76318820","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}
引用次数: 0
Tracing of Informal and Formal Requirements through Model Variables 通过模型变量跟踪非正式和正式的需求
Sky and telescope Pub Date : 2015-01-01 DOI: 10.5220/0005732300540059
Martin Böschen, Christian Rudat
{"title":"Tracing of Informal and Formal Requirements through Model Variables","authors":"Martin Böschen, Christian Rudat","doi":"10.5220/0005732300540059","DOIUrl":"https://doi.org/10.5220/0005732300540059","url":null,"abstract":"","PeriodicalId":82708,"journal":{"name":"Sky and telescope","volume":"24 1","pages":"58-63"},"PeriodicalIF":0.0,"publicationDate":"2015-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85492574","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}
引用次数: 0
Software, Is It Poetry or Prose? 软件，是诗还是散文?
Sky and telescope Pub Date : 2015-01-01 DOI: 10.5220/0005625500050013
I. Exman, A. Plebe
{"title":"Software, Is It Poetry or Prose?","authors":"I. Exman, A. Plebe","doi":"10.5220/0005625500050013","DOIUrl":"https://doi.org/10.5220/0005625500050013","url":null,"abstract":"","PeriodicalId":82708,"journal":{"name":"Sky and telescope","volume":"13 1","pages":"9-17"},"PeriodicalIF":0.0,"publicationDate":"2015-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81503140","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}
引用次数: 1
A Flexible, Evolvable Data Broker 一个灵活的，可进化的数据代理
Sky and telescope Pub Date : 2015-01-01 DOI: 10.5220/0005644100370041
S. Bailin, T. Bakker
{"title":"A Flexible, Evolvable Data Broker","authors":"S. Bailin, T. Bakker","doi":"10.5220/0005644100370041","DOIUrl":"https://doi.org/10.5220/0005644100370041","url":null,"abstract":"We describe a Data Broker application developed for New York University Langone Medical Center. The Broker was designed to accommodate an evolving set of data sources and destinations with little or no additional coding. A schema-less RDF database, currently implemented in OpenRDF but amenable to other implementations, is a key to this flexibility. The independence from a database schema allows the Broker to operate equally well in other institutions and in other applications. Thus, although it was built for one specific purpose, it can be reused as a general-purpose tool.","PeriodicalId":82708,"journal":{"name":"Sky and telescope","volume":"10 1","pages":"41-45"},"PeriodicalIF":0.0,"publicationDate":"2015-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88726407","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}
引用次数: 1
下一页 尾页
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学术官方微信
小红书