2014 IEEE 38th Annual Computer Software and Applications Conference最新文献

Transpacific Live Migration with Wide Area Distributed Storage 具有广域分布存储的跨太平洋活迁移

2014 IEEE 38th Annual Computer Software and Applications Conference Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.71

Ikuo Nakagawa, Koheix Ichikawa, T. Kondo, Yoshiaki Kitaguchi, Hiroki Kashiwazaki, S. Shimojo

引用次数: 5

Eliciting Relations from Natural Language Requirements Documents Based on Linguistic and Statistical Analysis 基于语言学和统计分析的自然语言需求文档关系提取

2014 IEEE 38th Annual Computer Software and Applications Conference Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.27

Lin Liu, Tianying Li, Xiaoxi Kou

{"title":"Eliciting Relations from Natural Language Requirements Documents Based on Linguistic and Statistical Analysis","authors":"Lin Liu, Tianying Li, Xiaoxi Kou","doi":"10.1109/COMPSAC.2014.27","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.27","url":null,"abstract":"Requirements are usually presented as Natural Language based documents. In the conceptual modeling phase, requirements are collected from different stakeholders and analyzed by requirement engineers. However, the size of the requirements documents can become very large, and the modeling process is quite time consuming and resource consuming. In order to solve this problem, much has been written on the processing of requirements documents to yield conceptual models. In this paper, we proposed an approach for identifying and extracting relations in a range of requirements documents with three steps: text analysis, entity extraction and relation mapping. If the entities in the relation are quite close to each other, for example, in the strategic dependency relationship, we will define a set of linguistic patterns used for identifying relations and propose a matching algorithm of semantic automata to extract the relation. Based on this approach, we developed a system to automatically generate the strategic dependency model of i framework and the activity model from Chinese requirements documents. A series of experiments were conducted to evaluate the performance of the automated requirements analysis system. The results show that the system achieves high recall with a consistent improvement in precision, which demonstrates the applicability of our approach.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120927190","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

Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets 具有时间性质的活动图到定时彩色Petri网的转换

2014 IEEE 38th Annual Computer Software and Applications Conference Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.36

Xuling Chang, Linpeng Huang, Jianpeng Hu, Chen Li, Bei Cao

引用次数: 4

A Runtime Verification Framework for Control System Simulation 控制系统仿真的运行时验证框架

2014 IEEE 38th Annual Computer Software and Applications Conference Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.14

S. Ciraci, J. Fuller, J. Daily, A. Makhmalbaf, D. Callahan

{"title":"A Runtime Verification Framework for Control System Simulation","authors":"S. Ciraci, J. Fuller, J. Daily, A. Makhmalbaf, D. Callahan","doi":"10.1109/COMPSAC.2014.14","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.14","url":null,"abstract":"In a standard workflow for the validation of a control system, the control system is implemented as an extension to a simulator. Such simulators are complex software systems, and engineers may unknowingly violate constraints a simulator places on extensions. As such, errors may be introduced in the implementation of either the control system or the simulator leading to invalid simulation results. This paper presents a novel runtime verification approach for verifying control system implementations within simulators. The major contribution of the approach is the two-tier specification process. In the first tier, engineers model constraints using a domain-specific language tailored to modeling a controller's response to changes in its input. The language is high-level and effectively hides the implementation details of the simulator, allowing engineers to specify design-level constraints independent of low-level simulator interfaces. In the second tier, simulator developers provide mapping rules for mapping design-level constraints to the implementation of the simulator. Using the rules, an automated tool transforms the design-level specifications into simulator-specific runtime verification specifications and generates monitoring code which is injected into the implementation of the simulator. During simulation, these monitors observe the input and output variables of the control system and report changes to the verifier. The verifier checks whether these changes follow the constraints of the control system. We describe application of this approach to the verification of the constraints of an HVAC control system implemented with the power grid simulator Grid LAB-D.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134327268","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

A QoS-Oriented Inter-cloud Federation Framework 面向qos的云间联合框架

2014 IEEE 38th Annual Computer Software and Applications Conference Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.51

M. Salama, Shawish Ahmed

引用次数: 18

Media Supported Workspaces in Agile Software Development: Doctoral Symposium Paper 敏捷软件开发中媒体支持的工作空间:博士研讨会论文

2014 IEEE 38th Annual Computer Software and Applications Conference Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.46

Florian Raith, Robert Lindermeier

{"title":"Media Supported Workspaces in Agile Software Development: Doctoral Symposium Paper","authors":"Florian Raith, Robert Lindermeier","doi":"10.1109/COMPSAC.2014.46","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.46","url":null,"abstract":"The use of software tools has become a common practice in global software engineering to handle requirements and to exchange project status amongst distributed teams and stakeholders. In context of agile software development the replacement of paper-based media (e.g. Task Board) with software tools results in heavily decreased collaboration and transparency within agile teams. Since the number of agile projects in global context increases, it is necessary to find an adequate solution to share project status without influencing the underlying agile process in a negative way. The proposed research project investigates why the replacement of paper-based media has such strong influence on group work in agile teams. Thereby, the focus of research is on the agile Task Board as the most important example for paper-based media of agile workspaces. With help of these findings we will develop a conceptual and technical solution, based on optical tracking of a paper-based Task Board, to share project status amongst stakeholders. The paper introduces the current state of the art, corresponding research questions, the entire research methods and current progress of our research.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131214675","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

Faceted Bug Report Search with Topic Model 面错误报告搜索与主题模型

2014 IEEE 38th Annual Computer Software and Applications Conference Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.19

K. Liu, Hee Beng Kuan Tan

引用次数: 2

Behavioral Anomaly Detection System on Network Application Traffic from Many Sensors 多传感器网络应用流量行为异常检测系统

2014 IEEE 38th Annual Computer Software and Applications Conference Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.85

Akira Nagata, Kohei Kotera, Katsuichi Nakamura, Y. Hori

引用次数: 0

A Semi-supervised Approach to Software Defect Prediction 软件缺陷预测的半监督方法

2014 IEEE 38th Annual Computer Software and Applications Conference Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.65

Huihua Lu, B. Cukic, M. Culp

{"title":"A Semi-supervised Approach to Software Defect Prediction","authors":"Huihua Lu, B. Cukic, M. Culp","doi":"10.1109/COMPSAC.2014.65","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.65","url":null,"abstract":"Accurate detection of software components that need to be exposed to additional verification and validation offers the path to high quality products while minimizing non essential software assurance expenditures. In this type of quality modeling we assume that software modules with known fault content developed in similar environment are available. Supervised learning algorithms are the traditional methods of choice for training on existing modules. The models are then used to predict fault content for newly developed software components prior to product release. However, one needs to realize that establishing whether a module contains a fault or not, only to be used for model training, can be expensive. The basic idea behind semi-supervised learning is to learn from a small number of software modules with known fault content and supplement model training with modules for which the fault information is not available, thus reducing the overall cost of quality assurance. In this study, we investigate the performance of semi-supervised learning for software fault prediction. A preprocessing strategy, multidimensional scaling, is embedded in the approach to reduce the dimensional complexity of software metrics used for prediction. Our results show that the dimension-reduction with semi-supervised learning algorithm preforms significantly better than one of the best performing supervised learning algorithm - random forest - in situations when few modules with known fault content are available. We compare our results with the published benchmarks and clearly demonstrate performance benefits.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128428677","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}

引用次数: 18

JavaScript: The Used Parts JavaScript:使用过的部分

2014 IEEE 38th Annual Computer Software and Applications Conference Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.69

S. Gude, M. Hafiz, Allen Wirfs-Brock

{"title":"JavaScript: The Used Parts","authors":"S. Gude, M. Hafiz, Allen Wirfs-Brock","doi":"10.1109/COMPSAC.2014.69","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.69","url":null,"abstract":"We performed an empirical study to understand how different language features are used by JavaScript developers in practice, with the goal of using this information to assist future extensions of JavaScript. We inspected more than one million unique scripts (over 80 million lines of code) from various sources: JavaScript programs in the wild collected by a spider, (supposedly) better JavaScript programs collected from the top 100 URLs from the Alex a list, JavaScript programs with new language features used in Firefox Add-ons, widely used JavaScript libraries, and Node.js applications. Our corpus is larger and more diversified than those in prior studies. We also performed a study on 45 JavaScript developers to understand the reasons behind some of their language feature choices. Our study shows that there is a wide-spread confusion about newly introduced JavaScript features, a continuing misuse of existing problematic features, and a surprising lack of adoption of object-oriented features. Understanding JavaScript programming practices will assist many stakeholders: tool developers can analyze the requirements of better tools and more responsive IDEs and programmers can learn about the used (and the good) parts of JavaScript.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129795727","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