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

Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software engineering and Measurement

作者： Pereira, Wallace M. Travassos, Guilherme H. Federal University of Rio de Janeiro/COPPE Systems Engineering and Computer Science Program Brazil

ISBN: (纸本)9781450300391

The evolution of Science has been supported by complex computerized infrastructures with growing interest in simulation based experiments. This trend can also be observed in Software engineering. Our capacity of acquiring evidences to describe phenomena of interest in the field allowed the building of in silico models that can virtually replicate feasible software behaviors and improve our capacity of observation. In silico experiments demand additional concerns for its planning. One of them is regarding the scientific workflow conception. This task is not easy and to apply ad-hoc approaches can risky the experiment execution, validity and future replications. Regarding this topic, this paper presents some initial results from our research towards an approach to support the conception of scientific workflows for in silico experiments in Software engineering are presented. © 2010 ACM.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

Action research use in software engineering: An initial survey 09

Action research use in software engineering: An initial surv...

引用

2009 3rd International Symposium on Empirical Software engineering and Measurement, ESEM 2009

作者： Dos Santos, Paulo Sérgio Medeiros Travassos, Guilherme Horta Systems Engineering and Computer Science Department PESC/COPPE UFRJ Rio de Janeiro Brazil

ISBN: (纸本)9781424448418

This paper presents a literature survey of action research (AR) studies published in nine major Software engineering (SE) journals and three conference proceedings in the period 1993 to June 2009. A strict selection based on distinguishing SE from Information systems research has identified 16 papers. Although they represent a very small fraction of the studies being conducted in SE, such papers concern with different SE contexts allowing to get information about the increasing tendency in the AR use in software engineering. However, as shown by the initial results, SE researchers should invest more on rigor when defining, applying and reporting AR studies in SE. © 2009 IEEE.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Systematic mapping on the use of games for software engineering education 23

Systematic mapping on the use of games for software engineer...

引用

23rd Iberoamerican Conference on Software engineering, CIbSE 2020

作者： Castro, Diego Costa, Diogo Matheus Werner, Cláudia Maria Lima COPPE/Computer Systems Engineering Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

Games appeal to all kinds of people and are used for a wide range of purposes, from pure entertainment to educational research. Software engineering is an area of computing that has much content to explore, distributed in different knowledge areas. Thus, there are many theoretical classes that make learning tiresome. In this scenario, educators and researchers are looking for new methods to engage students in order to facilitate the learning process. Many studies have already been produced using games as a teaching method. However, a recurring mistake when using games as a teaching method is the application of the wrong approach to a context that often hinders student learning. This paper presents a systematic mapping that aims to identify the main ways that games are being used as a teaching method focused on Software engineering. The results highlight five ways of using games as a teaching method, where Game-based Learning, Digital Game-based Learning and Gamification are the most used ones. © CIbSE 2020.

关键词： Serious games

来源：评论

学校读者我要写书评

暂无评论

An Environment to Support Large Scale Experimentation in Software engineering

An Environment to Support Large Scale Experimentation in Sof...

引用

IEEE International Conference on engineering of Complex computer systems

作者： Guilherme H. Travassos Paulo Sérgio Medeiros dos Santos Paula Gomes Mian Paula Gomes Mian Neto Jorge Biolchini Systems Engineering and Computer Science Program COPPE/UFRJ Brazil COPPE/UFRJ Rio de Janeiro

Experimental studies have been used as a mechanism to acquire knowledge through a scientific approach based on measurement of phenomena in different areas. However it is hard to run such studies when they require models (simulation), produce amount of information, and explore science in scale. In this case, a computerized infrastructure is necessary and constitutes a complex system to be built. In this paper we discuss an experimentation environment that has being built to support large scale experimentation and scientific knowledge management in software engineering.

关键词： Large-scale systems Software engineering Knowledge engineering Knowledge management Distributed computing engineering management Software systems Software quality Area measurement Software measurement

来源：评论

学校读者我要写书评

暂无评论

POLYNOMIAL AFFINE ALGORITHMS FOR LINEAR-PROGRAMMING

引用

MATHEMATICAL PROGRAMMING 1990年第1期49卷 7-21页

作者： GONZAGA, CC 1. Department of Systems Engineering and Computer Sciences COPPE-Federal University of Rio de Janeiro 21941 Rio de Janeiro RJ Brasil

The method of steepest descent with scaling (affine scaling) applied to the potential functionq logc′x — ∑ i=1 n logx i solves the linear programming problem in polynomial time forq ? n. Ifq = n, then the algorithm terminates in no more than O(n 2 L) iterations; if q ? n + $\sqrt n $ withq = O(n) then it takes no more than O(nL) iterations. A modified algorithm using rank-1 updates for matrix inversions achieves respectively O(n 4 L) and O(n 3.5 L) arithmetic computions.

关键词： Linear programming affine algorithms Karmarkar's algorithm interior methods

来源：评论

学校读者我要写书评

暂无评论

Awareness and comprehension in software/systems engineering practice and education: Trends and research directions

Awareness and comprehension in software/systems engineering ...

引用

26th Brazilian Symposium on Software engineering, SBES 2012

作者： Schots, Marcelo Werner, Cláudia Mendonça, Manoel Systems Engineering and Computing Program COPPE/UFRJ Federal University of Rio de Janeiro Rio de Janeiro Brazil Computer Science Department Federal University of Bahia Rio de Janeiro Brazil

ISBN: (纸本)9780769548685

The creation of tools, techniques and methodologies to support the manipulation of large data sets has been receiving special attention of both scientific and industrial communities, in order to discover new ways of dealing with the underlying information, including learning purposes, identification of patterns, decision making support, amongst others. However, making use of computing resources to enhance awareness and understanding of software information and the software itself is still a challenge in software/systems engineering, since it involves the identification of suitable mechanisms, adequate abstractions, and studies on stimulation of the human perceptive and cognitive abilities. This paper presents some of the challenges in this context, based on current trends of software development lifecycle, program comprehension, and software engineering education. At the end, a special focus is given on ongoing research on using and improving current mechanisms for supporting software reuse practices and software comprehension in general. © 2012 IEEE.

关键词： computer software reusability

来源：评论

学校读者我要写书评

暂无评论

ON LOWER BOUND UPDATES IN PRIMAL POTENTIAL REDUCTION METHODS FOR LINEAR-PROGRAMMING

引用

MATHEMATICAL PROGRAMMING 1991年第3期52卷 415-428页

作者： GONZAGA, CC 1. Department of Systems Engineering and Computer Sciences COPPE-Federal University of Rio de Janeiro Cx. Postal 68511 21945 Rio de Janeiro RJ Brasil

We present a procedure for computing lower bounds for the optimal cost in a linear programming problem. Whenever the procedure succeeds, it finds a dual feasible slack and the associated duality gap. Although no projective transformations or problem restatements are used, the method coincides with the procedures by Todd and Burrell and by de Ghellinck and Vial when these procedures are applicable. The procedure applies directly to affine potential reduction algorithms, and improves on existent techniques for finding lower bounds.

关键词： INTERIOR POINT METHODS LINEAR PROGRAMMING POTENTIAL REDUCTION METHODS KARMARKARS ALGORITHM

来源：评论

学校读者我要写书评

暂无评论

Tool-supported unobtrusive evaluation of software engineering process conformance

Tool-supported unobtrusive evaluation of software engineerin...

引用

International Symposium on Empirical Software engineering (ISESE)

作者： L.F.S. Silva G.H. Travassos Systems Engineering and Computer Science COPPE Universidade Federal do Rio de Janeiro Brazil

Software engineers face the dilemma of verifying process conformance and having the Hawthorne effect distorting the results or not doing it and as a consequence not being able to know if the proposed process is actually carried out. We addressed this issue by classifying and proposing the use of some approaches based on unobtrusive observation. These approaches include cognitive labs, remote monitoring and metrics collection. In addition, a tool supporting the application of perspective based reading (PER) for requirements inspection has been used and is also presented to exemplify metrics collection. Among other features, PBR Tool unobtrusively collects metrics in order to monitor if the reading technique is faithfully applied. Two studies evaluating the feasibility of such a tool are also reported.

关键词： Software engineering Bioreactors Productivity Remote monitoring systems engineering and theory computer science Inspection Fault detection Noise generators Signal to noise ratio

来源：评论

学校读者我要写书评

暂无评论

Towards supporting the specification of context-aware software system test cases 23

Towards supporting the specification of context-aware softwa...

引用

23rd Iberoamerican Conference on Software engineering, CIbSE 2020

作者： de Souza Doreste, Andréa Cristina Travassos, Guilherme Horta Systems Engineering and Computer Science Program COPPE Federal University of Rio de Janeiro Brazil

In Software engineering, context can be understood as the overall set of information used to characterize the situation of an entity. A software system is context-aware if it uses the context to provide relevant information or services to the user. Nowadays, different types of software systems with a profound impact on the user's life can be considered context-aware (e.g., ubiquitous and Internet of Things software systems). Therefore, it is crucial to guarantee that they behave correctly. Software Testing is the primary process for verifying system behavior. Because of the particularities of Context-Aware Software systems (CASS), conventional testing methods are not enough to test such systems. Based on that, we propose CATS#, a technique to support software engineers with the specification of CASS test cases and capture not only the context itself but its variation as well. CATS# is an evolution of the CATS (Context-Aware Test Suite) Design technique. It introduces two relevant evolutions: test case models and a new test template. The test case models were proposed after we searched for context-aware applications through the literature and realized that the context could affect the test process in different manners. The test template was proposed to capture the variation of context by specifying which variation should occur during the test case and when it should occur. We selected one example application to apply our technique, deriving different types of test cases and showing its relevance in these initial steps. © CIbSE 2020.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Evaluating the DSMIO cache-coherence algorithm in cluster-based parallel ODBMS 8th

引用

8th International Conference on Object-Oriented Information systems, OOIS 2002

作者： Osthoff, Carla Bentes, Cristiana Ariosto, Daniel Mattoso, Marta Amorim, Claudio L. Computer Science Department LNCC Spain Systems Engineering Department UERJ Spain Computer Science Department COPPE/UFRJ Spain

ISBN: (纸本)3540440879

In this paper, we assess the performance of DSMIO cachecoherence algorithm implemented in a parallel object-based database management system (ODBMS). The distinguishing feature of DSMIO is its use of the lazy release memory consistency model and multiplewriter protocol to reduce both the number and size of coherence messages required to keep coherent a distributed ODBMS across a cluster of PC servers. Using a large distributed database and several application workloads we evaluate DSMIO performance and also compare it against that of the well-known Call-Back Locking (CBL) algorithm. Our results showt hat both algorithms perform very well for read operations whereas DSMIO outperforms significantly CBL for write operations with DSMIO speed-ups attaining as much as 5.4 while CBL speed-ups reach at most 1.4 for an 8-node cluster. Overall, these results suggest that designers of cluster-based ODBMS should consider D. © Springer-Verlag Berlin Heidelberg 2002

关键词： Locks (fasteners)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：