检索结果-内蒙古大学图书馆

32nd ACM/IEEE International Conference on software engineering, ICSE 2010

作者： Musil, Juergen Schweda, Angelika Winkler, Dietmar Biffl, Stefan Christian Doppler Laboratory for Software Engineering Integration for Flexible Automation Systems Institute of Software Technology and Interactive Systems Vienna University of Technology Austria

ISBN: (纸本)9781605587196

The development of video games comprises engineering teams within various disciplines, e.g., software engineering, game production, and creative arts. Game jams are a promising approach for (software+) development projects to foster on new product development. This paper evaluates the concept of game jam, a community design/development activity, and its positive effects on new software product development with tight schedules in time-oriented, competitive environments. Game jams have received more public attention in recent times, but the concept itself has not been formally discussed so far. A game jam is a composition of design and development strategies: new product development, participatory design, lightweight construction, rapid experience prototyping, product-value focusing, aesthetics and technology, concurrent development and multidisciplinarity. Although game jams are normally used for rapid prototyping of small computer games, the constellation of the mentioned elements provides a powerful technique for rapidly prototyping new product ideas and disruptive innovations. © 2010 ACM.

关键词： Computer games

来源：评论

学校读者我要写书评

暂无评论

ON LOGICAL-FOUNDATIONS OF THE ATMS

引用

WORKSHOP AT THE EUROPEAN CONF ON ARTIFICIAL INTELLIGENCE ( ECAI-90 ) : TRUTH MAINTENANCE

作者： FUJIWARA, Y HONIDEN, S Systems & Software Engineering Laboratory Toshiba Corporation 70 Yanagicho Saiwai-ku Kawasaki 210 Japan

来源：评论

学校读者我要写书评

暂无评论

Improving students’programming quality with the continuous inspection process:a social coding perspective

引用

Frontiers of Computer Science 2020年第5期14卷 43-60页

作者： Yao Lu Xinjun Mao Tao Wang Gang Yin Zude Li College of Computer National University of Defense TechnologyChangsha410073China Key Laboratory of Software Engineering for Complex Systems Changsha410073China School of Information Science and Engineering Central South UniversityChangsha410012China

College students majoring in computer science and software engineering need to master skills for high-quality ***,rich research has shown that both the teaching and learning of high-quality programming are challenging and deficient in most college education ***,the continuous inspection paradigm has been widely used by developers on social coding sites(e.g.,GitHub)as an important method to ensure the internal quality of massive code *** paper presents a case where continuous inspection is introduced into the classroom setting to improve students’programming *** the study,we first designed a specific continuous inspection process for students’collaborative projects and built an execution environment for the *** then conducted a controlled experiment with 48 students from the same course during two school years to evaluate how the process affects their programming *** results show that continuous inspection can help students in identifying their bad coding habits,mastering a set of good coding rules and significantly reducing the density of code quality issues introduced in the ***,we describe the lessons learned during the study and propose ideas to replicate and improve the process and its execution platform.

关键词： continuous inspection programming quality SonarQube

来源：评论

学校读者我要写书评

暂无评论

Differential function analysis: identifying structure and activation variations in dysregulated pathways

引用

Science China(Information Sciences) 2017年第1期60卷 116-131页

作者： Chuanchao ZHANG Juan LIU Qianqian SHI Tao ZENG Luonan CHEN State Key Laboratory of Software Engineering School of Computer Wuhan University Key Laboratory of Systems Biology Innovation Center for Cell Signaling Network Institute of Biochemistry and Cell Biology Shanghai Institutes for Biological Sciences Chinese Academy of Sciences

Complex diseases are generally caused by the dysregulation of biological functions rather than individual molecules. Hence, a major challenge of the systematical study on complex diseases is how to capture the differentially regulated biological functions, e.g., pathways. The traditional differential expression analysis(DEA) usually considers the changed expression values of genes rather than functions. Meanwhile, the conventional function-based analysis(e.g., PEA: pathway enrichment analysis) mainly considers the varying activation of functions but disregards the structure change of genetic elements of functions. To achieve precision medicine against complex diseases, it is necessary to distinguish both the changes of functions and their elements from heterogeneous dysregulated pathways during the disease development and progression. In this work, in contrast to the traditional DEA, we developed a new computational framework, namely differential function analysis(DFA), to identify the changes of element-structure and expression-activation of biological functions, based on comparative non-negative matrix factorization(cN MF). To validate the effectiveness of our method, we tested DFA on various datasets, which shows that DFA is able to effectively recover the differential element-structure and differential activation-score of pre-set functional groups. In particular, the analysis of DFA on human gastric cancer dataset, not only capture the changed network-structure of pathways associated with gastric cancer, but also detect the differential activations of these pathways(i.e., significantly discriminating normal samples and disease samples), which is more effective than the state-of-the-art methods, such as GSVA and Pathifier. Totally,DFA is a general framework to capture the systematical changes of genes, networks and functions of complex diseases, which not only provides the new insight on the simultaneous alterations of pathway genes and pathway activations, but a

关键词： complex disease biological function non-negative matrix factorization network structure function activation

来源：评论

学校读者我要写书评

暂无评论

Semi-Supervised Learning in Large Scale Text Categorization

引用

Journal of Shanghai Jiaotong university(Science) 2017年第3期22卷 291-302页

作者：许泽文李建强刘博毕敬李蓉毛睿 School of Software Engineering Beijing University of Technology Beijing Engineering Research Center for Io T Software and Systems Beijing University of Technology Guangdong Key Laboratory of Popular High Performance Computers Shenzhen University Shenzhen Key Laboratory of Service Computing and Applications Shenzhen University

The rapid development of the Internet brings a variety of original information including text information, audio information, etc. However, it is difficult to find the most useful knowledge rapidly and accurately because of its huge number. Automatic text classification technology based on machine learning can classify a large number of natural language documents into the corresponding subject categories according to its correct semantics. It is helpful to grasp the text information directly. By learning from a set of hand-labeled documents,we obtain the traditional supervised classifier for text categorization(TC). However, labeling all data by human is labor intensive and time consuming. To solve this problem, some scholars proposed a semi-supervised learning method to train classifier, but it is unfeasible for various kinds and great number of Web data since it still needs a part of hand-labeled data. In 2012, Li et al. invented a fully automatic categorization approach for text(FACT)based on supervised learning, where no manual labeling efforts are required. But automatically labeling all data can bring noise into experiment and cause the fact that the result cannot meet the accuracy requirement. We put forward a new idea that part of data with high accuracy can be automatically tagged based on the semantic of category name, then a semi-supervised way is taken to train classifier with both labeled and unlabeled data,and ultimately a precise classification of massive text data can be achieved. The empirical experiments show that the method outperforms the supervised support vector machine(SVM) in terms of both F1 performance and classification accuracy in most cases. It proves the effectiveness of the semi-supervised algorithm in automatic TC.

关键词： text data mining semi-supervised automatic tagging classifier

来源：评论

学校读者我要写书评

暂无评论

Towards functional verifying a family of SystemC TLMs

引用

Frontiers of Computer Science 2020年第1期14卷 53-66页

作者： Tun LI Jun YE Qingping TAN College of Computer National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China Jiangnan Institute of Computing Technology Wuxi 214083China

It is often the case that in the development of a system-on-a-chip(SoC)design,a family of SystemC transaction level models(TLM)is *** in the same family often share common functionalities but differ in their timing,implementation,configuration and performance in various SoC developing *** most cases,all the TLMs in a family must be verified for the follow-up design *** our previous work,we proposed to call such family TLM product line(TPL),and proposed feature-oriented(FO)design methodology for efficient TPL ***,developers can only verify TLM in a family one by one,which causes large portion of duplicated verification ***,in our proposed methodology,functional verification of TPL has become a *** this paper,we proposed a novel TPL verification method for FO *** our method,for the given property,we can exponentially reduce the number of TLMs to be verified by identifying mutefeature-modules(MFM),which will avoid duplicated *** proposed method is presented in informal and formal way,and the correctness of it is *** theoretical analysis and experimental results on a real design show the correctness and efficiency of the proposed method.

关键词： system-on-a-chip transaction level model SystemC feature-oriented functional verification

来源：评论

学校读者我要写书评

暂无评论

On the round trip path testing strategy

On the round trip path testing strategy

引用

2010 IEEE 21st International Symposium on software Reliability engineering, ISSRE 2010

作者： Khalil, May Labiche, Yvan Carleton University Dept. Systems and Computer Engineering Software Quality Engineering Laboratory Ottawa ON Canada

ISBN: (纸本)9780769542553

A number of techniques have been proposed for state-based testing. One well-known technique (criterion) is to traverse the graph representing the state machine and generate a so-called transition tree, in an attempt to exercise round trip paths, i.e., paths that start and end in the same state without any other repeating state. Several hypotheses are made when one uses this criterion: exercising paths in the tree, which do not always trigger complete round trip paths, is equivalent to covering round-trip paths;different traversal algorithms are equivalent. In this paper we investigate whether these assumptions hold in practice, and if they do not, we investigate their consequences. Results also lead us to propose a new transition tree construction algorithm that results in higher efficiency and lower cost. © 2010 IEEE.

关键词： Forestry

来源：评论

学校读者我要写书评

暂无评论

A novel use of big data analytics for service innovation harvesting

A novel use of big data analytics for service innovation har...

引用

2013 5th International Conference on Service Science and Innovation, ICSSI 2013

作者： Ghose, Aditya K. Morrison, Evan Gou, Yingzhi Decision Systems Laboratory School of Computer Science and Software Engineering University of Wollongong Australia

ISBN: (纸本)9780769549859

Service innovation has assumed considerable significance with the growth of the services sectors of economies globally, yet progress has been slow in devising carefully formulated, systematic techniques to under pin service innovation. This paper argues that a novel approach to big data analytics offers interesting solutions in this space. The paper argues that the use of big data analytics for generating enterprise service insights is often ignored (while the extraction of insights about customers, the market and the enterprise context has received considerable attention). The paper offers a set of techniques (collectively referred to as {\em innovation harvesting}) which leverage big data in various forms, including object state sensor data, behaviour logs as well large-scale sources of open data such as the web to mine service innovation insights. The paper also outlines how systematic search might help overcome the limitations of big data analytics in this space. © 2013 IEEE.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Requirements management with semantic technology: An empirical study on automated requirements categorization and conflict analysis

Requirements management with semantic technology: An empiric...

引用

23rd International Conference on Advanced Information systems engineering, CAiSE 2011

作者： Moser, Thomas Winkler, Dietmar Heindl, Matthias Biffl, Stefan Christian Doppler Laboratory Software Engineering Integration for Flexible Automation Systems Institute of Software Technology and Interactive Systems Vienna University of Technology Vienna Austria

ISBN: (纸本)9783642216398

Requirements managers aim at keeping the set of requirements consistent and up to date throughout the project by conducting the following tasks: requirements categorization, requirements conflict analysis, and requirements tracing. However, the manual conduct of these tasks takes significant effort and is error-prone. In this paper we propose to use semantic technology as foundation for automating the requirements management tasks and introduce the ontology-based reporting approach OntRep. We evaluate the effectiveness and effort the OntRep approach based on a real-world industrial empirical study with professional Austrian IT project managers. Major results were that OntRep provides reasonable capabilities for the automated categorization of requirements, was when compared to a manual approach considerably more effective to identify conflicts, and produced less false positives with similar effort. © 2011, Springer-Verlag Berlin Heidelberg.

关键词： Managers

来源：评论

学校读者我要写书评

暂无评论

Elements of software ecosystem early-stage design for collective intelligence systems

Elements of software ecosystem early-stage design for collec...

引用

2013 1st International Workshop on software Ecosystem Architectures, WEA 2013

作者： Musil, Juergen Musil, Angelika Biffl, Stefan Christian Doppler Laboratory for Software Engineering Integration for Flexible Automation Systems Institute of Software Technology and Interactive Systems Vienna University of Technology Vienna Austria

ISBN: (纸本)9781450323147

User-contribution driven software service platforms like crowd-sourcing and social media services represent an efficient way of aggregating and distributing knowledge. However, only little research has been reported on early-stage design of software ecosystems (SECOs) for software service platforms, in particular in the collective intelligence (CI) domain. In this work we analyze needs for CI-centered SECOs leading to new research challenges. We have identified self-organization and feedback mechanisms as essential characteristics in CI-centered SECOs and thus introduce design elements for structuring them properly at an early stage of design. We discuss the concept with a real-world use case from a widely used CI-centered SECO, Wikipedia. A major result is the successful mapping of the design elements to the specific SECO elements.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：