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

International Symposium on software Metrics

作者： C. Wohlin A. Aurum H. Petersson F. Shull M. Ciolkowski Department of Software Engineering and Computer Science Blekinge Institute of Technology Ronneby Sweden School of Information Systems Technology and Management University of New South Wales Sydney NSW Australia Department of Communication Syst Lund University Lund Sweden Fraunhofer USA Center for Experimental Software Engineering Maryland University of Maryland College Park MD USA Software Engineering Group University of Kaiserslautern Kaiserslautern Germany

software inspections are commonly used throughout the software industry, but there are still open questions about the relationship between inspection processes and inspection effectiveness. For example, which techniques work best in various environments? Are requirements specifications inspections and code inspections different in terms of effectiveness? What is the effectiveness in inspections for different group sizes? Benchmarking provides an opportunity to address such issues. This paper discusses how benchmarking may be applied for software inspections. The discussion is illustrated with an empirical study. It is shown how the data can be used to plan and manage software inspections. It is concluded that software inspections are well suited for benchmarking and that software practitioners as well as researchers can learn valuable lessons.

关键词： software quality Inspection Engines USA Councils Best practices Programming Program processors Quality management Australia Postal services

来源：评论

学校读者我要写书评

暂无评论

The flow-service-quality framework: unified engineering for large-scale, adaptive systems

The flow-service-quality framework: unified engineering for ...

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： A. Hevner R. Linger A. Sobel G. Walton Information Systems & Decision Sciences Department University of South Florida Tampa FL USA CERT Coordination Center Software Engineering Institute Carnegie Mellon University Pittsburgh PA USA Computer Science & Systems Analysis Department Miami University Oxford OH USA School of Electrical Engineering & Computer Science University of Central Florida Orlando FL USA

ISBN: (纸本)0769514359

Modern enterprises are irreversibly dependent on large-scale, adaptive, component-based information systems whose complexity frequently exceeds current engineering capabilities for intellectual control, resulting in persistent difficulties in system development, management, and evolution. We propose an innovative framework of engineering representation and reasoning methods for developing these complex systems: the flow-service-quality (FSQ) framework. In dynamic network information systems with constantly varying function and usage, workflows and their corresponding traces of system services act as stable foundations for functional and non functional (quality attribute) specification, design, and operational control. Our objective is to provide theoretical foundations, language representations, and rigorous yet practical unified engineering methods to represent and reason about system flows as essential artifacts of system specification, design, and operation.

关键词： Large-scale systems Adaptive systems Control systems Programmable control Adaptive control Management information systems Power system reliability information systems computer science Centralized control

来源：评论

学校读者我要写书评

暂无评论

software engineering economics: background, current practices, and future directions

Software engineering economics: background, current practice...

引用

International Conference on software engineering (ICSE)

作者： H. Erdogmus B.W. Boehm W. Harrison D.J. Reifer K.J. Sullivan Institute for Information Technology National Research Council Ottawa ONT Canada Center for Software Engineering University of Southern California Los Angeles CA USA Department of Computer Science Portland State University Portland OR USA Reifer Consultants Inc. Torrance CA USA Department of Computer Science University of Virginia Charlottesville VA USA

The field of software economics seeks to develop technical theories, guidelines, and practices of software development based on sound, established, and emerging models of value and value-creation - adapted to the domain of software development as necessary. The premise of the field is that software development is an ongoing investment activity - in which developers and managers continually make investment decisions requiring the expenditure of valuable resources, such as time, talent, and money. The overriding aim of this activity is to maximize the value added subject to an equitable distribution among the participating stakeholders. The goal of the paper is to expose the audience to this line of thinking and introduce the tools pertinent to its pursuit. The paper is designed to be self-contained and will cover concepts from introductory to advanced. Both practitioners and researchers with an interest in the impact of value considerations in software decision-making will benefit from attending it.

关键词： software engineering Programming Investments software development management Decision making software quality computer science Financial management Permission software design

来源：评论

学校读者我要写书评

暂无评论

Integrating agile practices into software engineering courses

引用

International Journal of Phytoremediation 2002年第1期21.0卷 169-185页

作者： Hislop, Gregory W. Lutz, Michael J. Naveda, J. Fernando McCracken, W. Michael Mead, Nancy R. Williams, Laurie A. College of Information Science and Technology Drexel University Philadelphia PA United States Rochester Institute of Technology Rochester NY United States Georgia Institute of Technology Atlanta GA United States Software Engineering Institute Carnegie Mellon University Pittsburgh PA United States Department of Computer Science North Carolina State University Raleigh NC United States

Agile software development methodologies are gaining popularity in industry although they comprise a mix of accepted and controversial software engineering practices. It is quite likely that the software industry will find that specific project characteristics will determine the prudence of using an agile or a plan-driven methodology–or a hybrid of the two. Educators must assess the value and applicability of these emerging agile practices and decide what role they have in software engineering curricula. This paper provides a brief overview of several agile methodologies, including a discussion of evaluative research of agile practices in academia. The paper also considers instructional issues related to agile methods and the impact of agile methodologies on existing curricular references such as SWEBOK. © 2002, Taylor & Francis Group, LLC.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Findings from Phase 2 of the SPICE trials

引用

software Process: Improvement and Practice 2002年第4期6卷

作者： Ho-Won Jung Robin Hunter Dennis R. Goldenson Khaled El-Emam Department of Business Administration Korea University Anam-dong 5Ka Sungbuk-gu Seoul 136-701 Korea Department of Computer Science University of Strathclyde Richmond Street Glasgow G1 1XH UK Software Engineering Institute Carnegie Mellon University Pittsburgh PA 15213-3890 USA National Research Council Canada Institute for Information Technology Building M-50 Montreal Road Ottawa Ontario Canada K1A OR6

The international SPICE (software Process Improvement and Capability dEtermination) project was set up to support the development of the ISO/IEC 15504 standard for software process assessment (SPA). The project mounted a set of trials to validate the emerging standard against the goals and requirements defined at the start of the SPICE project and to verify the consistency and usability of its component parts. A considerable number of empirical evaluation studies have been conducted during the Phase 2 SPICE Trials based on ISO/IEC PDTR 15504 (between September 1996 and June 1998). Such an exercise is unprecedented in the software engineering standards community and it provides a unique opportunity for empirical validation. The purpose of this paper is to present major parts of the findings of the empirical studies conducted as part of the SPICE Project during Phase 2 of the SPICE Trials. The topics covered in this paper include (i) investigation into reasons for performing SPAs, (ii) evaluation of the internal consistency of the capability dimension, (iii) use of interrater agreement as a measure of the reliability of assessments, (iv) evaluation of the predictive validity of process capability, (v) evaluation of an exemplar model (Part 5), (vi) identification of factors influencing assessor effort, and (vii) empirical comparison between ISO/IEC PDTR 15504 and ISO 9001. Major lessons learned as well as future research directions are summarized on the strengths and weaknesses of ISO/IEC 15505. Copyright © 2001 John Wiley & Sons, Ltd.

关键词： ISO/IEC 15504 SPICE Trials SPA(software Process Assessment)

来源：评论

学校读者我要写书评

暂无评论

Cauchy - Schwarz bound on the generalized Marcum Q-function with applications

引用

Wireless Communications and Mobile Computing 2001年第2期1卷 243-253页

作者： Annamalai, A. Tellambura, C. The Bradley Department of Electrical and Computer Engineering Virginia Polytechnic Institute and State University 206 North Washington Street Suite 400 Alexandria VA 22314 U.S.A. School of Computer Science and Software Engineering Faculty of Information Technology Monash University Clayton Victoria 3168 Australia

The Cauchy-Schwarz bounding technique is used to derive useful bounds on the generalized Marcum Q-function and its complement. Three new exponential-type bounds on QM (α, β) are derived, and these are found to be tight and useful for a number of applications of interest. One such example is the derivation of an upper bound on the average symbol error rate probability for noncoherent and differentially coherent communication systems over generalized fading channels. It is shown that these exponential-type bounds are considerably tighter than the Chernoff bound (Rappaport SS. IEEE Trans. on information theory 1971;17: 497-498) counterpart. Numerical results also reveal that the tightness of one of the exponential-type bounds is comparable to the bound obtained in Simon and Alouini (IEEE Trans. on Communications 2000: 359-366), while another is found to be superior than that obtained in Simon and Alouini over a wide range of arguments. Copyright © 2001 John Wiley and Sons, Ltd.

关键词： bounding technique performance analysis fading channels diversity methods generalized Marcum Q‐function

来源：评论

学校读者我要写书评

暂无评论

Augmenting experience reports with lightweight postmortem reviews

引用

Lecture Notes in computer science

作者： Dingsøyr, Torgeir Moe, Nils Brede Nytrø, Øystein Department of Computer and Information Science Norwegian University of Science and Technology Norway SINTEF Telecom and Informatics Trondheim7491 Norway Fraunhofer Institute for Experimental Software Engineering Sauerwiesen 6 Kaiserslautern67661 Germany

ISBN: (纸本)3540425713

Many small and medium-sized companies that develop software experience the same problems repeatedly, and have few systems in place to learn from their own mistakes as well as their own successes. Here, we propose a lightweight method to collect experience from completed software projects, and compare the results of this method to more widely applied experience reports. We find that the new method captures more information about core processes related to software development in contrast to experience reports that focus more on management processes. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Skills management as knowledge technology in a software consultancy company 3rd

引用

3rd International Workshop on Learning software Organizations, LSO 2001

作者： Dingsøyr, Torgeir Røyrvik, Emil Department of Computer and Information Science Norwegian University of Science and Technology Currently at: Fraunhofer Institute for Experimental Software Engineering Sauerwiesen 6 Kaiserslautern7661 Germany SINTEF Industrial Management Trondheim7491 Norway

ISBN: (纸本)3540425748

This paper presents a skills management system in a medium-sized software consulting company, and how it is used. We found four different types of usage: Searching for competence to solve problems, allocating resources, finding areas for new projects, and to develop competence. Most people in the company seem to regard this tool as useful, both for themselves, and for the company as a whole. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Knowledge management

来源：评论

学校读者我要写书评

暂无评论

Hybrid leader-follower and fuzzy-Petri-net traffic rate control and supervision in network systems

Hybrid leader-follower and fuzzy-Petri-net traffic rate cont...

引用

5th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Service, TELSIKS 2001

作者： Dimirovski, G.M. Jing, Yuanwei Zhang, Siying Dept. of Computer Engineering Faculty of Engineeing DOGUS University Zeamet Sk. 21 TR-81010 Kadikoy-Istanbul Turkey Institute of Automation and Systems Engg. Faculty of Electical Engineering Methodius University MK-1000 Skopje Macedonia Institute of Control Theory School of Information Science and Engineering Northeastern University Shenyang Liaoning 110006 China

ISBN: (纸本)078037228X

This paper addresses networking and traffic control problems in network systems along with the potential for introducing soft-computing applications at supervisory control level. The incentive Stackelberg strategy control concept was introduced to the networking model that comprises subsidiary systems of users and of network. A linear strategy is proposed for the elastic traffic problem, and results are demonstrated and illustrated via Kelly's (1997) example. The presented method is extended to the non-elastic traffic problem and results are also illustrated via a slightly modified Kelly example. Ways of employing combined analytical and soft-computing approaches and techniques in a hybrid framework have been investigated. A fuzzy-Petri-net supervisor is proposed to implement the strategic decision and control layer. Insofar obtained results are rather encouraging, and this research continues further towards possible implementation as well as some open theoretical issues. © 2001 IEEE.

关键词： Game theory

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of automata-based testing environment for Java multi-thread programs

The design and implementation of automata-based testing envi...

引用

Asia-Pacific Conference on software engineering

作者： Heui-Seok Seo In Sang Chung Byeong Man Kim Yong Rae Kwou Department of Computer Science Korea Advanced Institute of Science and Technology Korea School of Information and Computer Engineering Hansung University Korea School of Computer & Software Engineering Kumoh National University of Technology Korea

ISBN: (纸本)0769514081

Deterministic execution testing has been considered a promising method for concurrent program testing because of its reproducibility. However, since deterministic execution requires that a synchronization sequence to be replayed is feasible and valid, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we proposed automata-based testing in previous work, where a concurrent program is executed according to one sequence accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and design and implement key components-automata generator, program transformer and replay controller. Algorithms for generating the equivalence automaton of a given sequence are presented and a program transformation method is suggested in order to guide a program to be executed according to the sequence accepted by the automaton. The replay controller is also redesigned and implemented to adopt the automaton. By illustrating automata-based testing procedures with the gas station example, we show how the proposed approach works in Java multi-threaded programs.

关键词： Automatic testing Java Automata Concurrent computing software testing computer science software engineering Reproducibility of results Automatic generation control Acceleration

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：