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

DESMET: a methodology for evaluating software engineering methods and tools

COMPUTING & CONTROL ENGINEERING JOURNAL 1997年第3期8卷 120-126页

作者： Kitchenham, B Linkman, S Law, D Dept. of Comput. Sci. Keele Univ. UK

DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods of evaluation and a set of criteria to help evaluators select an appropriate method. Detailed guidelines were developed for three important evaluation methods: formal experiments, quantitative case studies and feature analysis evaluations. This article describes the way the DESMET project used the DESMET methodology both to evaluate the methodology itself and to provide direct assistance to the commercial organisations using it.

关键词： DESMET project software tools feature analysis DESMET formal experiments programming support software engineering methods evaluation quantitative case studies DESMET methodology evaluation criteria DTI-backed project Software management software tools evaluation Software engineering techniques software development management evaluation methods software performance evaluation

来源：评论

学校读者我要写书评

暂无评论

AN EXTENDED ALGEBRA FOR THE VALIDATION OF COMMUNICATION PROTOCOLS

引用

SOFTWARE ENGINEERING JOURNAL 1989年第3期4卷 148-158页

作者： LOMBARDO, A PALAZZO, S UNIV CATANIA FAC INGN INST INFORMAT TELECOMMUN I-95125 CATANIA ITALY

This paper presents a simple algebra for the validation of communication protocols modelled as state-transition systems. It is based on an original extension to the ‘Protocol validation algebra’ by Holzmann, enhanced with additional facilities such as operators for handling parallelism among communicating processes and rules for obtaining the specification of a composed process from those of the components. The semantics of the algebraic operators provide for a validation technique, through which some protocol properties can be verified, such as termination, deadlock freeness, livelock freeness, absence of residuals and conformity of the protocol to the service. A brief description of a software tool which implements the method is given.

关键词： program verification software tools formal specification Computer communications software communicating processes Software engineering techniques Computer networks and techniques formal description state-transition systems Protocol validation algebra termination extended algebra finite automata algebraic operators computer communications software protocols deadlock freeness livelock freeness protocol properties semantics programming support software tool programming and algorithm theory parallelism Automata theory communication protocols

来源：评论

学校读者我要写书评

暂无评论

SYMBOLIC EXECUTION SYSTEMS - A REVIEW

引用

SOFTWARE ENGINEERING JOURNAL 1988年第6期3卷 229-239页

作者： COWARD, PD BRISTOL POLYTECH DEPT COMP STUDIES BRISTOL BS16 1QY ENGLAND OPEN UNIV FAC MATH COMP DISCIPLINE MILTON KEYNES MK7 6AA BUCKS ENGLAND

Symbolic execution is a technique that is useful in the validation of software. It may be used to aid in the generation of test data and in program proving. As software engineering becomes more concerned with the development of tools, symbolic execution will become an important item in the toolkit. This paper gives a review of symbolic execution and its applications. A minimum set of features for a symbolic execution testing system is set out. Of the 12 systems using symbolic execution only six contain these minimum features. These six systems are compared against an ‘ideal’ system. Based on this comparison some features for a new symbolic execution testing system are outlined.

关键词： program verification software tools software engineering testing system programming support program testing symbolic execution program proving Diagnostic, testing, debugging and evaluating systems

来源：评论

学校读者我要写书评

暂无评论

VISTA - A USER INTERFACE FOR A DISTRIBUTED OBJECT-ORIENTED SOFTWARE ENGINEERING ENVIRONMENT

引用

SOFTWARE ENGINEERING JOURNAL 1992年第1期7卷 25-34页

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

This paper describes a prototype user interface for a distributed software engineering environment, where the components of the environment are autonomous agents with some inherent decision-making capabilities. Agents may be distributed across a local- or wide-area network. Two forms of interaction are supported;namely, direct manipulation and message passing. Synchronous interaction is supported via the direct manipulation of system objects. Asynchronous interaction is managed by a central server agent, distributing electronic mail messages to the appropriate human or automated agents. The functionality of the system is illustrated by examples drawn from the domain of software development.

关键词： electronic mail inherent decision-making capabilities automated agents programming environments software development User interfaces Computer networks and techniques wide-area network system objects Object-oriented programming direct manipulation Computer communications autonomous agents prototype user interface distributed object-oriented software engineering environment Vista electronic mail messages distributed software engineering environment object-oriented programming message passing programming support user interfaces computer networks central server agent

来源：评论

学校读者我要写书评

暂无评论

GENERATING EXTENDED STATE TRANSITIONS FROM STRUCTURED SPECIFICATIONS FOR PROCESS-CONTROL SYSTEMS

引用

SOFTWARE ENGINEERING JOURNAL 1989年第5期4卷 283-291页

作者： KUHN, DR NATL INST STAND & TECHNOL GAITHERSBURGMD 20899

The paper describes a method for providing improved prototyping capabilities in a process control system emulation tool. The tool, the NIST Hierarchical Control System Emulator, allows concurrent execution of modules emulating both physical processes and decision processes. The concurrent modules are specified as extended finite state machines. This paper describes the emulation tool and presents a simple method for transforming code, written with structured control constructs, into an extended state machine representation usable on the Emulator, providing the capability for rapid prototyping of designs. The paper also discusses advantages and disadvantages of this approach against direct use of state tables for specifying processes on the Emulator.

关键词： software tools formal specification emulation tool decision processes programming support structured specifications prototyping extended state transitions state tables Control engineering computing extended finite state machines Hierarchical Control System Emulator NIST process control systems physical processes finite automata digital simulation process computer control

来源：评论

学校读者我要写书评

暂无评论

A DECISION-BASED CONFIGURATION PROCESS ENVIRONMENT

引用

SOFTWARE ENGINEERING JOURNAL 1991年第5期6卷 332-346页

作者： ROSE, T JARKE, M GOCEK, M MALTZAHN, C NISSEN, HW UNIV PASSAU W-8390 PASSAUGERMANY

In the context of the ESPRIT project DAIDA, we have developed an experimental environment intended to achieve consistency-in-the-large in a multi-person setting. Our conceptual model of configuration processes, the CAD(o) model, centres around decisions that work on configured objects and are subject to structured conversations. The environment, extending the knowledge-based software information system ConceptBase, supports co-operation within development teams by integrating models and tools for argumentation and co-ordination with those for versioning and configuration. Versioning decisions are discussed and decided on within an argument editor, and executed by specialised tools for programming-in-the-small. Tasks are assigned and monitored through a contract tool, and carried out within co-ordinated workspaces under a conflict-tolerant transaction protocol. Consistent configuration and reconfiguration of local results is supported by a logic-based configuration assistant.

关键词： versioning Software engineering techniques Software management programming environments conflict-tolerant transaction protocol Design CAD decision based configuration process environment programming-in-the-small knowledge-based software information system ConceptBase ESPRIT project DAIDA experimental environment knowledge based systems multi-person setting logic-based configuration assistant Expert systems and other AI software and techniques development teams co-ordinated workspaces contract tool configuration management structured conversations programming support consistency-in-the-large configured objects argument editor configuration processes CADo model

来源：评论

学校读者我要写书评

暂无评论

SOFTWARE ENGINEERING, THE SOFTWARE PROCESS AND THEIR support

引用

SOFTWARE ENGINEERING JOURNAL 1991年第5期6卷 243-258页

作者： LEHMAN, MM UNIV LONDON IMPERIAL COLL SCI & TECHNOL DEPT COMPLONDON SW7 2BZENGLAND

Computers are being applied more and more widely, penetrating ever deeper into the very fabric of society. Mankind is becoming increasingly dependent on the availability of software and its continuing validity. To achieve this consistently and reliably, in an operational domain that is forever changing, requires disciplined execution of the software development and evolution process and its effective management. That is the goal of advanced software engineering [1]. This paper summarises basic concepts of software engineering and of the software development process. This leads to a principle of uncertainty, analysis of its implications for the software development process, an overview of computer-assisted software engineering (CASE) and brief comments on the societal relevance of these topics. For researchers in the field and practitioners familiar with individual concepts, issues and specific solutions, the paper provides a unifying framework, a basis for conceptual advance. Those without a significant practical software engineering background and experienced graduate students will extend general familiarity with fresh insights, new concepts and additional detail. Undergraduate and graduate students without significant experience may treat the paper as an introductory text.

关键词： software engineering software tools advanced software engineering programming support uncertainty validity CASE operational domain Software engineering techniques Software management software development Economic, social and political aspects of computing reliability social aspects of automation disciplined execution evolution process societal relevance computer-assisted software engineering

来源：评论

学校读者我要写书评

暂无评论

THE CONIC TOOLKIT FOR BUILDING DISTRIBUTED SYSTEMS

引用

IEE PROCEEDINGS-D CONTROL THEORY AND APPLICATIONS 1987年第2期134卷 73-82页

作者： KRAMER, J MAGEE, J SLOMAN, M Department of Computing Imperial College of Science & Technology University of London London UK

Conic provides a set of tools for building flexible distributed systems for embedded applications such as factory automation, telecommunications, process monitoring and control. The Conic programming language is used to program individual software modules which communicate by naming only local entry and exit ports. This gives configuration independence and allows reuse of the modules in various situations. A separate configuration language is used to specify a system by creating instances of modules and interconnecting exit and entry ports. The configuration language is also used to specify changes which can be performed dynamically without shutting down the complete system. These features of a Conic system provide the flexibility for adapting to changing requirements. The paper describes the Conic programming and configuration languages, as well as the run-time support needed for dynamic configuration. The paper also gives an overview of the Unix-based tools available for building and testing software for distributed target computers. Finally, we discuss experiences of using these tools and future work planned on the project.

关键词： Conic programming language software tools programming support process monitoring Control engineering computing configuration language software modules flexible distributed systems software testing Conic toolkit software building telecommunications control engineering computing Unix-based tools distributed systems high level languages High level languages factory automation

来源：评论

学校读者我要写书评

暂无评论

INTEGRATED support FOR SYSTEMS-DESIGN

引用

SOFTWARE ENGINEERING JOURNAL 1990年第6期5卷 331-338页

作者： HADDLEY, N SOMMERVILLE, I UNIV LANCASTER DEPT COMPLANCASTER LA1 4YRENGLAND COOPERS & LYBRAND DELOITTE LONDONENGLAND

This paper describes a design support system which goes beyond the support facilities offered by the current generation of CASE tools. We have examined the entire design process, and we propose that the early stages of conceptual design need a more flexible system than is currently offered by existing design methods. Our tool (the Designers Notepad (DNP) allows rough designs to be created and design options explored. The design can be assessed, evaluated and automatically converted to the less flexible notation used in design methods for detailed development. The system is not restricted to any particular method;it allows methods to be defined and, where appropriate, to be used in parallel. Although originally built to support software design, the DNP is also suited to supporting the systems design process where functionality is split between hardware and software components.

关键词： integrated support software tools DNP designer's notepad design support system programming support tool systems design conceptual design

来源：评论

学校读者我要写书评

暂无评论

EARLY EXPERIENCE WITH AN IPSE

引用

SOFTWARE ENGINEERING JOURNAL 1986年第6期1卷 259-264页

作者： DELL, PW BRITISH TELECOM RES LABS INTEGRATED PROJECT SUPPORT ENVIRONM SECTIPSWICH IP4 1AQENGLAND

British Telecom and Imperial Software Technology are collaborating to produce ISTAR, a second-generation integrated project support environment(IPSE). This product is now entering the stage of beta-site testing within BT, and IST is negotiating licences for the use of the product. To gain early experience with IPSEs and to help specify ISTAR, BT has built and operated a first-generation IPSE(IPSE1), incorporating much of the philosophy underlying ISTAR. IPSE1 has been used by a variety of (BT) customers with varying degrees of success. The largest and most successful user is BT's Belfast System and Software Engineering Centre, where registration has been achieved under the BSI registered firm scheme against BS5750. This paper outlines the philosophy used in ISTAR and IPSE 1(and also indicates the differences between the two). It then provides some background to the difficulties of introducing IPSEs into a work environment and some of the advantages and disadvantages found by both user and support organisations.

关键词： integrated project support environment Imperial Software Technology programming support ISTAR British Telecom programming environments Systems analysis and programming Communications computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：