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

ALSETT - TOWARDS AN EDUCATIONAL IPSE

SOFTWARE ENGINEERING JOURNAL 1989年第4期4卷 203-207页

作者： LOCKYER, MA GRIFFITHS, G TEESSIDE POLYTECH SCH INFORMAT ENGNMIDDLESBROUGH TS1 3BACLEVELANDENGLAND

The paper will consider the use of software tools in higher education, with particular reference to those developed at Teesside Polytechnic. The experience of using these tools with a large number of undergraduates will be presented, and an outline of the projected extension into a computer-aided learning system will be given. The particular facilities that are important when moving towards an educational integrated project support environment (IPSE) will be discussed.

关键词： Computing education and training software tools ALSETT automated learning software engineering tools at Teesside programming support Teeside Polytechnic computer science education computer aided instruction project support environments undergraduates Computer-aided instruction computer-aided learning system educational integrated project support environment higher education educational IPSE

来源：评论

学校读者我要写书评

暂无评论

A FORMAL DESCRIPTION OF THE STRUCTURE ATTRIBUTE MODEL FOR TOOL INTERFACING

引用

SOFTWARE ENGINEERING JOURNAL 1989年第2期4卷 74-78页

作者： BURNS, A MORRISON, IW UNIV BRADFORD DEPT COMPBRADFORD BD7 1DPW YORKSHIREENGLAND

The structure attribute (SA) model for tool interfacing is introduced and formally defined using the Z specification language. This model provides for a strongly typed interface but without the necessity of generic tools. An inheritance model is incorporated that links the defined types within an IPSE. A further classification of the SAs allows for the controlled application of tools such as editors.

关键词： software tools formal specification specification languages IPSE formal description Z specification language tool interfacing data structures strongly typed interface Software engineering techniques programming support inheritance model File organisation structure attribute model

来源：评论

学校读者我要写书评

暂无评论

Pamela—An Approach to Automatic Software Verification in Industrial Applications

引用

IFAC Proceedings Volumes 1989年第19期22卷 65-69页

作者： B. Buth K.-H. Buth Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität zu Kiel Olshausenstrasse 40–60 D–2300 Kiel 1 FRG

In principle, program verification is the only adequate means to ensure the correctness of software with respect to precise or formal specifications. But since programs applied in industry tend to be large and complex, some mechanical support is necessary for the verification of these programs. In this paper we present the ideas of the verification support system PAMELA, that is intended for the verification of Meta IV programs written in a subset of Meta IV, that are specified by formally stated pre- ad postconditions. PAMELA organizes the proof for such programs and is based on algebraic conversion systems which are very similar to term rewriting systems.

关键词： programming support software verification software engineering software tools

来源：评论

学校读者我要写书评

暂无评论

TOWARDS THE FORMAL SPECIFICATION OF A SIMPLE programming support ENVIRONMENT

引用

SOFTWARE ENGINEERING JOURNAL 1987年第4期2卷 86-94页

作者： SUFRIN, B WOODCOCK, J UNIV OXFORD COMP LABPROGRAMMING RES GRPOXFORD OX1 3QDENGLAND

In order to make precise some of the desirable features of a programming support environment, and in order to encourage others to do likewise, this paper presents the formal specification of a small module or package ... 详细信息

关键词： formal specification programming support programming environments Ada programming support environment programming theory Modula programming and algorithm theory module package manager

来源：评论

学校读者我要写书评

暂无评论

A programming ENVIRONMENT FOR MODULA-2

引用

SOFTWARE ENGINEERING JOURNAL 1988年第4期3卷 119-126页

作者： ROBINSON, P JORDAN, M UNIV CAMBRIDGE COMP LABCAMBRIDGE CB2 3QGENGLAND

Modula-2 was designed in 1979 by Prof. Niklaus Wirth as a successor to Pascal. It provides similar facilities for the description of algorithms and data structures, but differs radically from Pascal in allowing the composition of programs from separately compiled modules in a carefully controlled way. This paper recounts some experiences with implementing the languages for a variety of computers, and describes a collection of tools (mostly written in Modula-2) that provides an extensive program development environment for the language. In particular, a general set of run time libraries is described together with utilities for consistent compilation, symbolic debugging and run time profiling. The paper concludes with some observations on the language formed on the basis of these experiences.

关键词： Compilers, interpreters and other processors program compilers programming environments utilities Modula program debugging Pascal symbolic debugging separately compiled modules Modula-2 programming environment data structures subroutines run time profiling High level languages run time libraries programming support algorithms Diagnostic, testing, debugging and evaluating systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A DISTRIBUTED FILE SERVER FOR EMBEDDED APPLICATIONS

引用

SOFTWARE ENGINEERING JOURNAL 1988年第5期3卷 142-148页

作者： MUKHERJEE, A KRAMER, J MAGEE, J ADV TECHNOL INST CALCUTTA 700064INDIA UNIV LONDON IMPERIAL COLL SCI & TECHNOL DEPT COMPLONDON SW7 2BZENGLAND

This paper describes the design and implementation of a distributed file system (dfs) for embedded applications. The services provided in dfs include transaction management, file management and file access. Client processes use message passing to access these services. The file system provides client processes with different types of files. These includereplicatedfiles, with identical copies stored at multiple nodes, andconsistentfiles, stored at a single node. Both are accessed only within transactions. Multiple readers or a single writer are allowed access to the files, and updates are performed atomically using a co-ordinated commit protocol over multiple sites. A novel concurrency control algorithm which provides deterministic response and avoids deadlock has been designed to resolve contention. Other types of file are also provided for low-overhead storage of less critical data. This paper motivates the need for different types of file, and describes the design and implementation of dfs using the CONIC programming environment for the construction of distributed systems.

关键词： file servers programming environments distributed processing concurrency control Computer networks and techniques CONIC programming environment protocols replicated files deterministic response transaction management distributed file server distributed systems consistent files file access embedded applications File organisation file organisation message passing Operating systems programming support commit protocol file management

来源：评论

学校读者我要写书评

暂无评论

TOOL support FOR REQUIREMENTS ANALYSIS

引用

SOFTWARE ENGINEERING JOURNAL 1988年第3期3卷 86-96页

作者： KRAMER, J NG, K POTTS, C WHITEHEAD, K UNIV LONDON IMPERIAL COLL SCI & TECHNOL DEPT COMPLONDON SW7 2BXENGLAND SYST DESIGNERS PLC CAMBERLEY GU15 3XDSURREYENGLAND

This paper describes an approach to the provision of tool support for two particular aspects of requirements analysis: method support by active guidance, and specification interpretation and validation by animation. Method guidance is supported by a method model used to describe the sequence of method steps that should be followed. Animation provides an indication of the dynamic behaviour of the specified system by walking through a specification fragment to follow some scenario of interest. This approach to tool assistance has been tested by implementing a prototype set of tools for the CORE method and the Analyst workstation, and by application to a major case study. The current status of that work is described and evaluated.

关键词： specification interpretation software tools software engineering method support tool support programming support active guidance Analyst workstation Software engineering techniques CORE method validation by animation requirements analysis dynamic behaviour

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：