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

CHI conference on Human Factors in Computing Systems (CHI)

作者： Jiang, Peiling Sun, Fuling Xia, Haijun Univ Calif San Diego La Jolla CA 92093 USA

ISBN: (纸本)9781450394215

Logging is a widely used technique for inspecting and understanding programs. However, the presentation of logs still often takes its ancient form of a linear stream of text that resides in a terminal, console, or log file. Despite its simplicity, interpreting log output is often challenging due to the large number of textual logs that lack structure and context. We conducted content analysis and expert interviews to understand the practices and challenges inherent in logging. These activities demonstrated that the current representation of logs does not provide the rich structures programmers need to interpret them or the program's behavior. We present Log-it, a logging interface that enables programmers to interactively structure and visualize logs in situ. A user study with novices and experts showed that Log-it's syntax and interface have a minimal learning curve, and the interactive representations and organizations of logs help programmers easily locate, synthesize, and understand logs.

关键词： programming support Program comprehension Visualization

来源：评论

学校读者我要写书评

暂无评论

Challenges and possible approaches: towards the petaflops computers

引用

中国高等学校学术文摘·计算机科学 2009年第3期3卷 273-289页

作者： Depei QIAN Danfeng ZHU Department of Computer Science and Technology Xi'an Jiaotong University Xi'an 710049 China School of Computer Science and Technology Beihang University Beijing 100191 China School of Computer Science and Technology Beihang University Beijing 100191 China

In parallel with the R&D efforts in USA and Eu-rope, China's National High-tech R&D program has setup its goal in developing petaflops computers. Researchers and engineers world-wide are looking for appropriate methods and technologies to achieve the petaflops computer system. Based on discussion on important design issues in devel-oping the petafiops computer, this paper raises the major technological challenges including the memory wall, low power system design, interconnects, and programming sup-port, etc. Current efforts in addressing some of these chal-lenges and in pursuing possible solutions for developing the petaflops systems are presented. Several existing systems are briefly introduced as examples, including Roadrunner, Cray XT5 jaguar, Dawning 5000A/6000, and Lenovo DeepComp 7000. Architectures proposed by Chinese researchers for im-plementing the petaflops computer are also introduced. Ad-vantages of the architecture as well as the difficulties in its implementation are discussed. Finally, future research direc-tion in development of high productivity computing systems is discussed.

关键词： petaflops computer memory wall multicore low power system reconfigurable architecture heteroge-neous architecture programming support

来源：评论

学校读者我要写书评

暂无评论

Ibm :: 360 :: Bos Bps :: C24-3420-0 Bps Bos programming Systems Summary Aug65

引用

2016年

[Auto Generated] IBM System/360 Basic Pro'gramming support and IBM Basic Operating System/360 programming Systems ................................................ 5

关键词： additional features aug65 basic basic operating basic programming c24-3420-0 card reader control control program disk ibm ibm basic magnetic tape main storage program programming programming support programs storage summary system systems tape utility programs

来源：评论

学校读者我要写书评

暂无评论

A PROTOTYPE SYSTEM FOR THE VALIDATION OF PASCAL PROGRAMS

引用

SOFTWARE ENGINEERING JOURNAL 1988年第2期3卷 47-52页

作者： WILKINSON, PT BOUCHARD, JA BYRNE, BA HENNELL, MA JACKSON, P ONEILL, G PARKIN, GI WICHMANN, BA NATL PHYS LAB DIV INFORMAT TECHNOL & COMPTEDDINGTON TW11 0LWMIDDXENGLAND UNIV LIVERPOOL DEPT STAT & COMP MATHLIVERPOOL L69 3BXENGLAND INT COMP LTD BRACKNELL RG12 4SNBERKSENGLAND ICL DEF SYST WOKINGHAM RG11 5TTBERKSENGLAND LIVERPOOL DATA RES ASSOCIATES LTD MERSEYSIDE INNOVAT CTRLIVERPOOL L3 5TFENGLAND STC TECHNOL LTD HARLOW CM17 9NAESSEXENGLAND

This paper gives an overview of a collaborative Alvey project to provide a UNIX-based environment in which Pascal programs can be analysed using a range of quality assessment tools. Integration of this tool set is achieved by linking the analysis and status information produced by each tool into a message handling system. An interactive program allows the validator to selectively view the analysis results. The system is intended for independent, post-development assessment of the quality of Pascal programs plus test data; however, most of the tools would also be helpful during the program development phase. The tools provide various types of static source text analysis and dynamic analysis using the given test data. Some initial results obtained from this validation system are described.

关键词： software tools post-development assessment research initiatives dynamic analysis static analysis tool set message handling system Pascal Unix environment program testing Research and development quality assessment tools software reliability Pascal programs test data interactive program programming support source text analysis program development Alvey project program validation

来源：评论

学校读者我要写书评

暂无评论

DIRECT MANIPULATION OF AN OBJECT STORE

引用

SOFTWARE ENGINEERING JOURNAL 1988年第6期3卷 214-222页

作者： SAWYER, P SOMMERVILLE, I UNIV LANCASTER DEPT COMPLANCASTER LA1 4YRENGLAND

Integrated project support environments (IPSEs) are intended to provide a cohesive and integrated set of tools to support the process of design and development in software engineering projects. Much current research is concentrated on maximising the degree to which these tools can be integrated. This paper briefly describes the architecture of a prototype IPSE which attempts to achieve a high degree of integration using techniques drawn from the disciplines of intelligent knowledge-based systems, office automation and object-oriented programming. The remainder of the paper deals with the design of a user interface to the IPSE based on direct manipulation. It argues that this provides a consistent and integrated method with which users can interact with the objects in the IPSE's object store.

关键词： knowledge-based systems software engineering object store user interfaces office automation user interface programming support Expert systems and other AI software and techniques project support environments User interfaces direct manipulation knowledge based systems object-oriented programming prototype IPSE

来源：评论

学校读者我要写书评

暂无评论

THE EVOLUTION OF CONFIGURATION MANAGEMENT AND VERSION CONTROL

引用

SOFTWARE ENGINEERING JOURNAL 1990年第6期5卷 303-310页

作者： AMBRIOLA, V BENDIX, L CIANCARINI, P UNIV VOLINE DIPARTIMENTO MATEMAT & INFORMATI-33100 VOLINEITALY UNIV PISA DIPARTMENTO INFORMATI-56100 PISAITALY

The activities of configuration management and version control are common to a number of engineering tasks. These activities are particularly important for software engineers, since during most of the system lifecycle they have to deal with a growing number of versions of a single component, and to rebuild the complete system in different ways using different components. These tasks are repetitive and trivial, and they require a lot of manual work and accuracy. In this paper, we show how the problem of automating these activities has been solved in a number of software development environments. We describe the evolution of systems for configuration management and version control from simple stand-alone tools, such as make and SCCS (based on an underlying file system), towards more integrated systems based on a project database.

关键词： version control software engineering software tools project database programming support software development environments system lifecycle Database management systems (DBMS) SCCS file system Software engineering techniques tools integrated systems configuration management make database management systems

来源：评论

学校读者我要写书评

暂无评论

TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE

引用

COMPUTING & CONTROL ENGINEERING JOURNAL 1994年第5期5卷 239-244页

作者： CULLYER, WJ STOREY, N Dept. of Eng. Warwick Univ. Coventry UK

As a result of the DTI/SERC research initiative on safety-critical systems a major study has been conducted into the benefits and shortcomings of the available tools and techniques for computer-aided testing of high-integrity software. The work described in this article forms part of the CONTESSE project, which is concerned with various aspects of software testing. Working from experience and knowledge accumulated by a number of leading UK companies it has been possible to assemble data that should prove valuable to all organisations engaged in the development or licensing of safety-critical computer-based systems. Both strengths and weaknesses of current methods are discussed. This article is an integral part of the DTI/SERC initiative to disseminate such knowledge to a wider audience.

关键词： software tools programming support CONTESSE project software reliability safety-critical computer-based systems safety-critical systems DTI/SERC research initiative program testing Software engineering techniques Research and development DTI/SERC initiative research initiatives safety computer-aided testing high-integrity software safety-critical software testing leading UK companies Diagnostic, testing, debugging and evaluating systems

来源：评论

学校读者我要写书评

暂无评论

MASCOT-3 AND ADA

引用

SOFTWARE ENGINEERING JOURNAL 1986年第3期1卷 121-135页

作者： JACKSON, K SYST DESIGNERS CAMBERLEY GU15 3XDSURREYENGLAND

Mascot is a software design method based on a form of a functional and structural design decomposition which is particularly well suited for use in the development of large, distributed, embedded real-time data-processing systems. This paper discusses the problem of using the Mascot design approach when the implementation language is Ada. A particular mapping strategy is developed which, starting from the Mascot graphical design representation, allows Ada package specifications to be derived by the application of a set of simple rules. The bodies are then programmed in standard Ada and may be re-used within other Mascot-derived design structures. The particular problems of maintaining run-time data integrity when coding the bodies of packages to represent the Mascot intercommunication data area (IDA) in Ada are specifically addressed. Finally, the paper discusses the Mascot status progression commands in relation to Ada. (This paper depends heavily on the paper by Simpson [5] published in the same issueof the Software Engineering Journal and should be read in conjuction with it.)

关键词： graphical design representation programming support data integrity multiprocessing programs software design method programming environments structural design decomposition status progression commands mapping strategy Ada design structures High level languages Mascot 3 intercommunication data area

来源：评论

学校读者我要写书评

暂无评论

PERFIDE - AN ENVIRONMENT FOR EVALUATION AND MONITORING OF SOFTWARE-RELIABILITY METRICS DURING THE TEST PHASE

引用

SOFTWARE ENGINEERING JOURNAL 1990年第1期5卷 27-32页

作者： MAININI, MT BILLOT, L ESACONTROL GENOAITALY CISI INGN F-94528 RUNGISFRANCE

The paper outlines the need to use reliability metrics to improve the software production process, particularly during the test phase. A new approach for the organisation of testing activities based on the concept of ‘step-by-step integration’ is introduced. The benefits derived from the adoption of reliability metrics as test targets during system integration are explained. Finally, it is shown how these concepts have inspired the conception of PERFIDE (PERFormance Integrated Development Environment), an innovative tool bridging the gap between software reliability theory and the day-to-day practice of software engineers.

关键词： performance integrated development environment software reliability metrics programming support software engineers step-by-step integration software reliability software production process Software engineering techniques program testing testing activities programming environments software reliability theory quality control PERFIDE Inspection and quality control test phase system integration Diagnostic, testing, debugging and evaluating systems

来源：评论

学校读者我要写书评

暂无评论

PLANNING TOOLS FOR MOBILE NETWORKS

引用

ELECTRONICS & COMMUNICATION ENGINEERING JOURNAL 1993年第5期5卷 309-314页

作者： WILLARD, C ROCHEFOLLE, T BADEN, CCE CHEUNG, JCS CHARD, SG BEACH, MA CONSTANTINOU, P CUPIDO, L UNIV BRISTOL BRISTOL BS8 1THAVONENGLAND TECH UNIV ATHENS ATHENSGREECE

The RACE II project PLATON (Planning Tools for third generation mobile Networks) aims at defining a set of tools to be used for radio planning of the Universal Mobile Telecommunication System (UMTS) network. This paper presents studies on cell structures, propagation models, the different services and the corresponding quality-of-service and shows how these are used in the planning tools, the modular structure and the evolution of the software.

关键词： software tools RACE II project mobile networks quality-of-service Mobile radio systems PLATON software evolution propagation models modular structure UMTS telecommunications computing programming support radio planning radio networks planning tools mobile radio systems cell structures Universal Mobile Telecommunication Systems Communications computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：