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

International Conference on Evaluation of Novel Approaches to Software Engineering最新文献

筛选
英文 中文
Reduction of Program-generation Times by Transformation-sequence Optimization 转换序列优化减少程序生成次数
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-08-09 DOI: 10.5220/0004093901820186
Martin Kuhlemann, Andreas Lübcke, G. Saake
{"title":"Reduction of Program-generation Times by Transformation-sequence Optimization","authors":"Martin Kuhlemann, Andreas Lübcke, G. Saake","doi":"10.5220/0004093901820186","DOIUrl":"https://doi.org/10.5220/0004093901820186","url":null,"abstract":"Transforming source code is common today. Such transformation process may involve the execution of a number of program transformations on the source code. Overall, the transformation process can last long when individual program transformations last long and when high numbers of program transformations need to be executed. In this paper, we introduce and discuss techniques that can reduce the time transformation tools need to produce a program.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121186527","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
Towards Online Data Mining System for Enterprises 面向企业的在线数据挖掘系统
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-08-05 DOI: 10.5220/0004098101870192
Jan Kupcík, Tomás Hruska
{"title":"Towards Online Data Mining System for Enterprises","authors":"Jan Kupcík, Tomás Hruska","doi":"10.5220/0004098101870192","DOIUrl":"https://doi.org/10.5220/0004098101870192","url":null,"abstract":"As the amount of generated and stored data in enterprises increases, the significance of fast analyzing of this data rises. This paper introduces data mining system designed for high performance analyses of very large data sets, and presents its principles. The system supports processing of data stored in relational databases and data warehouses as well as processing of data streams, and discovering knowledge from these sources with data mining algorithms. To update the set of installed algorithms the system does not need a restart, so high availability can be achieved. Data analytic tasks are defined in a programming language of the Microsoft .NET platform with libraries provided by the system. Thus, experienced users are not limited by graphical designers and their features and are able to create complex intelligent analytic tasks. For storing and querying results a special storage system is outlined.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129831291","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
System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model 计算无关模型中域功能形式化分析的系统思考
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-08-05 DOI: 10.5220/0004090602320240
Erika Asnina, J. Osis, A. Jansone
{"title":"System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model","authors":"Erika Asnina, J. Osis, A. Jansone","doi":"10.5220/0004090602320240","DOIUrl":"https://doi.org/10.5220/0004090602320240","url":null,"abstract":"A gap between two domains, the system and its supporting software, is a well-known issue in software development. The analysis of the system is often considered as a redundant unwanted activity. However, software development driven by models will not be able to close the gap, if these models focus only on software and ignore the system, since software is a subsystem that helps to conduct some system’s activities. Thus, the system must be accurately analyzed before the software. For this purpose, this paper suggests a formal engineering model, Topological Functioning Model, and analysis of system functioning based on the system theory, algebraic topology, and classical logic.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121000920","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}
引用次数: 4
Towards Classification of Lightweight Formal Methods 面向轻量级形式化方法的分类
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-07-05 DOI: 10.5220/0006770803050313
A. Zamansky, M. Spichkova, G. Rodríguez-Navas, P. Herrmann, J. Blech
{"title":"Towards Classification of Lightweight Formal Methods","authors":"A. Zamansky, M. Spichkova, G. Rodríguez-Navas, P. Herrmann, J. Blech","doi":"10.5220/0006770803050313","DOIUrl":"https://doi.org/10.5220/0006770803050313","url":null,"abstract":"The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term \"lightweight formal methods\" has been used for over ten years now, there seems to be no common agreement on what \"lightweight\" actually means, and different communities apply the term in all kinds of ways. In this paper, we explore the recent trends in the use of LFM, and establish our opinion that cost-effectiveness is the driving force to deploy LFM. Further, we propose a simple framework that should help to classify different LFM approaches and to estimate which of them are most cost-effective for a certain software engineering project. We demonstrate our framework using some examples.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126437230","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
FocusST Solution for Analysis of Cryptographic Properties FocusST加密属性分析解决方案
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-07-05 DOI: 10.5220/0006772103200327
M. Spichkova, Radhika Bhat
{"title":"FocusST Solution for Analysis of Cryptographic Properties","authors":"M. Spichkova, Radhika Bhat","doi":"10.5220/0006772103200327","DOIUrl":"https://doi.org/10.5220/0006772103200327","url":null,"abstract":"To analyse cryptographic properties of distributed systems in a systematic way, a formal theory is required. In this paper, we present a theory that allows (1) to specify distributed systems formally, (2) to verify their cryptographic wrt. composition properties, and (3) to demonstrate the correctness of syntactic interfaces for specified system components automatically. To demonstrate the feasibility of the approach we use a typical example from the domain of crypto-based systems: a variant of the Internet security protocol TLS. A security flaw in the initial version of TLS specification was revealed using a semi-automatic theorem prover, Isabelle/HOL.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129276239","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
The Topological Functioning Model as a Reference Model for Software Functional and Non-functional Requirements 拓扑功能模型作为软件功能需求和非功能需求的参考模型
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-05-06 DOI: 10.5220/0006811204670477
Erika Nazaruka, J. Osis
{"title":"The Topological Functioning Model as a Reference Model for Software Functional and Non-functional Requirements","authors":"Erika Nazaruka, J. Osis","doi":"10.5220/0006811204670477","DOIUrl":"https://doi.org/10.5220/0006811204670477","url":null,"abstract":"Specification of non-functional requirements in models is a challenge due to extra-functional nature of the requirements. The topological functioning model (TFM) can serve as a reference model for specifying mappings from both functional and non-functional requirements to the functional characteristics and structure of the modelled system. The main principle presented in this paper extends a way of specification of the TFM functional characteristics and causal relationships and provides a specification of mapping types as tuples of TFM functional features extended with requirements and characteristics of these relationships, namely, completeness and overlapping for functional requirements, and scope and dynamic characteristics for nonfunctional ones. This allows propagating the mappings from requirements to software implementing constructs, that would be useful for further architectural decisions and development of test cases.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129472150","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
Verification of Causality in the Frame System based on the Topological Functioning Modelling 基于拓扑功能建模的框架系统因果关系验证
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-05-06 DOI: 10.5220/0006817905130521
Vladislavs Nazaruks, J. Osis
{"title":"Verification of Causality in the Frame System based on the Topological Functioning Modelling","authors":"Vladislavs Nazaruks, J. Osis","doi":"10.5220/0006817905130521","DOIUrl":"https://doi.org/10.5220/0006817905130521","url":null,"abstract":"Causality is universal relations among phenomena (states, facts, elements, functions) in the system. Verification of causality in the knowledge frame system based on principles of the topological functioning modelling can help in discovering inconsistencies such as incompleteness, ambiguity or contradictions in knowledge on system’s functioning. The method for such verification is presented in this paper. It is based on topological and functioning properties of the topological functioning model including the definition of continuous mapping between topological spaces. The method helps in discovering inconsistent combinations of cause-and-effect relations or a lack of them. Functional characteristics of the system involved in these relations are marked as doubtful. The results of verification require additional investigation by a software developer. A use of the proposed method can lead to more thorough system analysis before development of the solution.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"437 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132620303","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
Using Use Cases for Domain Modeling 使用用例进行领域建模
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-04-14 DOI: 10.5220/0004090002240231
J. Osis, Armands Slihte, A. Jansone
{"title":"Using Use Cases for Domain Modeling","authors":"J. Osis, Armands Slihte, A. Jansone","doi":"10.5220/0004090002240231","DOIUrl":"https://doi.org/10.5220/0004090002240231","url":null,"abstract":"This paper demonstrates the Use Case Builder tool and discusses its purpose and design. Previous results show that Use Cases can be analyzed by means of natural language processing (NLP) and rules can be defined for validating use cases against a given Ontology. By using this approach it is possible to acquire formally defined knowledge for transformation to a Computation Independent Model (CIM) in Model Driven Architecture (MDA). Use Case Builder provides a facility to define the use cases according to the integrated domain modeling approach, which is described in this paper. The goal is to provide a formal base for generating CIM with the possibility of tracing the transformation from Use Cases to the corresponding Topological Functioning Model (TFM).","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"80 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133755308","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}
引用次数: 6
Involving End-users in Domain-Specific Languages Development - Experiences from a Bioinformatics SME 涉及领域特定语言开发的最终用户-来自生物信息学中小企业的经验
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-04-02 DOI: 10.5220/0004450000970108
M. Villanueva, Francisco Valverde, Ó. Pastor
{"title":"Involving End-users in Domain-Specific Languages Development - Experiences from a Bioinformatics SME","authors":"M. Villanueva, Francisco Valverde, Ó. Pastor","doi":"10.5220/0004450000970108","DOIUrl":"https://doi.org/10.5220/0004450000970108","url":null,"abstract":"Involving end-users in software development is a goal envisioned by the Software Engineering community. As they have the domain knowledge, it is feasible to develop software applications that really fulfil their requirements. Domain-specific languages (DSL) are widely applied to accomplish this vision. However, end-users collaboration in DSL development is also important to ensure that their needs are well understood and represented. This research work proposes a DSL development process that combines methodological guidelines for DSL development with good practices from agile methods to encourage end-user involvement. In this paper, we overview the complete process and we focus on the two first stages: Decision and Analysis. In order to illustrate the proposal, it is applied in the development of a DSL for a bioinformatics SME that works on genetic disease diagnosis.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126732942","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
Business Processes Modeling through Multi Level Activity Diagrams 通过多层次活动图进行业务流程建模
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-26 DOI: 10.5220/0003986201950198
Denis Del Villano, Gaetanino Paolone, P. D. Felice
{"title":"Business Processes Modeling through Multi Level Activity Diagrams","authors":"Denis Del Villano, Gaetanino Paolone, P. D. Felice","doi":"10.5220/0003986201950198","DOIUrl":"https://doi.org/10.5220/0003986201950198","url":null,"abstract":"The usage of UML 2.0 activity diagrams at two different levels of abstraction is proposed to consolidate an already known business modeling approach for the development of large enterprise software applications. In this way a high continuity between the phases of business modeling and system modeling is obtained. Moreover, to keep a better control of the completeness of the business modeling artifacts, we recommend to fill out matrices that make explicit the link among business activities, business use cases and business objects involved in the automation of the information system.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114514435","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
首页 上一页 下一页 尾页
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学术官方微信