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

COMPUTING & CONTROL ENGINEERING JOURNAL 1994年第5期5卷 225-228页

作者： WILSON, M Hampshire Microtechnol. Centre Portsmouth UK

Multimedia is sometimes described as a solution looking for a problem. Hampshire Schools, with the help of Acorn Computers, have recently been examining the possibility that school classrooms may be one of multimedia's natural homes. The Horizon Project looks at the potential of multimedia authoring to support and enhance pupil's learning.

关键词： authoring languages multimedia systems programming support pupil learning Educational administration Acorn computers Acorn Computers Spatial and pictorial databases Computer-aided instruction school classrooms multimedia authoring educational computing CAI Horizon Project

来源：评论

学校读者我要写书评

暂无评论

SOFTWARE-DEVELOPMENT - 2 APPROACHES TO ANIMATION OF Z-SPECIFICATIONS USING PROLOG

引用

SOFTWARE ENGINEERING JOURNAL 1992年第4期7卷 264-276页

作者： WEST, MM EAGLESTONE, BM UNIV LEEDS SCH COMP STUDIESLEEDS LS2 9JTW YORKSHIREENGLAND UNIV BRADFORD DEPT COMPBRADFORD BD7 1DPW YORKSHIREENGLAND

Formal methods rely on the correctness of the formal requirements specification, but this correctness cannot be proved. This paper discusses the use of software tools to assist in the validation of formal specifications and advocates a system by which Z specifications may be animated as Prolog programs. Two Z/Prolog translation strategies are explored;formal program synthesis and structure simulation. The paper explains why the former proved to be unsuccessful and describes the techniques developed for implementing the latter approach, with the aid of case studies.

关键词： Compilers, interpreters and other processors software tools formal specification Prolog Software engineering techniques software development program interpreters structure simulation PROLOG Z/Prolog translation strategies Z specifications software engineering formal methods animation High level languages programming support computer animation formal requirements specification formal program synthesis correctness

来源：评论

学校读者我要写书评

暂无评论

CLIENT-CENTRIC CASE

引用

SOFTWARE ENGINEERING JOURNAL 1994年第4期9卷 153-158页

作者： SMITH, IMD AT&T ISTEL LTD REDDITCH B97 5EQWORCSENGLAND

Since the early 1980s, AT&T ISTEL has been operating a business and software process re-engineering programme. The paper presents the instrumental role of the AT&T ISTEL in-house corporate CASE in providing holistic system generation and class leading productivity levels. The paper focuses on how the evolving needs of different classes of client - both internal and external - have been met. The architecture, operation and achievements of both the production and development CASE toolsets are summarised. A brief assessment of the AT&T ISTEL current CASE position is also given, followed by an extrapolation to the position in the year 2000.

关键词： client-centric CASE software tools AT&T ISTEL programming support business process re-engineering software process re-engineering programme Software management class leading productivity DP management holistic system generation

来源：评论

学校读者我要写书评

暂无评论

A MODULA-2 BASED IMAGE-PROCESSING DEVELOPMENT SYSTEM

引用

SOFTWARE ENGINEERING JOURNAL 1986年第2期1卷 81-87页

作者： WORRALL, CM BROWNE, MA UNIV MANCHESTER INST SCI & TECHNOLDEPT INSTRUMENTAT & ANALYT SCIMANCHESTER M60 1QDLANCSENGLAND

We present here a development system which provides for both image processing and general program development in a common unified environment and is based on a modern state-of-the-art programming language — Modula-2. Although implemented on a relatively simple processor system (a DEC LSI-11/23), the design concept and image processing programs will transport to more powerful machines better suited to image processing.

关键词： DEC LSI-11/23 image processing development system programming support development systems program development image processing programs programming environments Microcomputer techniques Digital signal processing computerised picture processing Modula-2

来源：评论

学校读者我要写书评

暂无评论

An application adaptation layer for wireless sensor networks

引用

PERVASIVE AND MOBILE COMPUTING 2007年第4期3卷 413-438页

作者： Avvenuti, M. Corsini, P. Masci, P. Vecchio, A. Univ Pisa Dipartimento Ingn Informaz Via Diotisalvi 2 I-56122 Pisa Italy

In wireless sensor networks, poor performance or unexpected behavior may be experienced for several reasons, such as trivial deterioration of sensing hardware, unsatisfactory implementation of application logic, or mutated network conditions. This leads to the necessity of changing the application behavior after the network has been deployed. Such flexibility is still an open issue as it can be achieved either at the expense of significant energy consumption or through software complexity. This paper describes an approach to adapt the behavior of running applications by intercepting the calls made to the operating system services and changing their effects at run-time. Customization is obtained through small fragments of interpreted bytecode, called adaptlets, injected into the network by the base station. Differently from other approaches, where the entire application is interpreted, adaptlets are tied only to specific services, while the bulk of the application is still written in native code. This makes our system able to preserve the compactness and efficiency of native code and to have little impact on the overall application performance. Also, applications must not be rewritten because the operating system interfaces are unaffected. The adaptation layer has been implemented in the context of TinyOS using an instruction set inspired to the Java bytecode. Examples that illustrate the programming of the adaptation layer are presented together with their experimental validation. (C) 2007 Elsevier B.V. All rights reserved.

关键词： Wireless sensor network Middleware programming support Adaptation of applications

来源：评论

学校读者我要写书评

暂无评论

SEMI-STRUCTURED CURSOR MOVEMENTS IN MUPE-2

引用

SOFTWARE ENGINEERING JOURNAL 1989年第6期4卷 309-320页

作者： MADHAVJI, NH ZHANG, MJ BOULOS, S GU, YX MCGILL UNIV SCH COMP SCIMONTREAL H3A 2A7QUEBECCANADA

It has been recognised that cursor movements on a textual representation of a program present some problems when the movements are based on an underlying abstract syntax tree in a programming system. Approaches taken in many systems are to use structured or textual cursor movements, although both these approaches have some drawbacks. This paper presents a new approach, called semi-structured movements, based on the idea of cursor movement paths, or streams, that the cursor can follow in a program. The key benefits of this approach are that it eliminates the ‘treeness’ of structured movements and the flatness of textual movements, while providing an inherent support for program editing and browsing. Semi-structured cursor movements have been successfully implemented in the MUPE-2 programming environment, and this paper gives several scenarios in order to illustrate example cursor movements.

关键词： browsing software engineering trees (mathematics) streams Data handling techniques text editing programming support textual representation MUPE-2 programming environment program editing Software engineering techniques programming environments abstract syntax tree semi-structured cursor movements paths

来源：评论

学校读者我要写书评

暂无评论

BUILDING AN OPEN COMMUNICATION APPLICATION

引用

SOFTWARE ENGINEERING JOURNAL 1987年第5期2卷 178-183页

作者： BASTABLE, A IRELAND, DM LANGSFORD, A AERE DIV COMP SCI & SYSTHARWELL OX11 0RAOXONENGLAND

The implementation of a series of protocol handlers is discussed in terms of the approach taken to design and implementation methods. The target was a communication sub-system insupport of terminal handling applications. The design of an OSI transport layer handler using the Jackson system design method is described, as are the reasons for opting to use a more conventional, finite-state machine approach to session layer and ECMA virtual terminal protocol handlers. The software engineering tools used to carry out these implementations are also described. In conclusion the paper considers the lessons learned both from the application of design methods and the efficiency of protocol implementation. The paper shows that the approach taken by ISO in defining its OSI protocols is effective and leads to viable implementations.

关键词： software tools organisation data communication systems Computer networks and techniques ECMA virtual terminal protocol handler open systems interconnection finite-state machine approach software engineering tools design methods open communication application communication sub-system international standards Jackson system design method software engineering methods computer communications software protocols virtual terminal protocol ISO protocol handlers implementation methods remote terminal access programming support terminal handling applications OSI protocols OSI transport layer handler session layer data communications application

来源：评论

学校读者我要写书评

暂无评论

EXPOSE - AN ANIMATION TOOL FOR PROCESS-ORIENTED SPECIFICATIONS

引用

SOFTWARE ENGINEERING JOURNAL 1991年第6期6卷 463-475页

作者： WINSTANLEY, AC BUSTARD, DW UNIV ULSTER DEPT COMP SCICOLERAINE BT52 1SANORTH IRELAND QUEENS UNIV BELFAST DEPT COMP SCIBELFAST BT7 1NNANTRIMNORTH IRELAND CARNEGIE MELLON UNIV INST SOFTWARE ENGNPITTSBURGHPA 15213

This paper describes and evaluates EXPOSE, an animation tool for process-oriented formal specifications of concurrent systems. EXPOSE takes as input the text of a formal specification and, from it, generates static views (interpretations) of the specification structure and dynamic views of the behaviour of the system specified. The views are constructed and explored using the hypermedia facilities of the Apple Macintosh HyperCard system. EXPOSE has been implemented experimentally for LOTOS, but most of the animation concepts and techniques described are relevant to other process-oriented languages, such as CCS and CSP.

关键词： software tools formal specification Software engineering techniques CCS dynamic views static views animation concepts process-oriented languages hypermedia facilities animation tool CSP EXPOSE concurrent systems Other DBMS Apple Macintosh HyperCard system programming support computer animation hypermedia specification structure process-oriented formal specifications LOTOS

来源：评论

学校读者我要写书评

暂无评论

MASCOT-3 - A TESTING STRATEGY

引用

SOFTWARE ENGINEERING JOURNAL 1986年第3期1卷 136-144页

作者： RIDDIOUGH, AR SOFTWARE SCI LTD MACCLESFIELD SK11 65RCHESHIREENGLAND

This paper describes two testing strategies which have been used successfully by a range of projects designed and manufactured using Mascot 2. It describes both strategies and considers the advantages and disadvantages of each. The ways in which the strategies could be evolved in order to exploit the advantages of Mascot 3 are discussed. The paper is largely based on direct experience with a number of projects designed and implemented using the Mascot 2 methodology and a variety of Mascot support environments.

关键词： programming support Mascot 2 testing strategies Operating systems program testing multiprocessing programs programming environments Mascot 3 support environments

来源：评论

学校读者我要写书评

暂无评论

CASE support FOR COLLABORATIVE MODELING - REENGINEERING CONCEPTUAL MODELING TECHNIQUES TO EXPLOIT THE POTENTIAL OF CASE TOOLS

引用

SOFTWARE ENGINEERING JOURNAL 1994年第4期9卷 183-189页

作者： MCGINNES, S UNIV LONDON ROYAL HOLLOWAY SCH MANAGEMENTEGHAM TW20 0EXSURREYENGLAND

To date, CASE tools have generally been built around pre-CASE analysis and design techniques. The paper argues that more benefit would be obtained if analysis and design techniques were 're-engineered' so as to make the best use of the capabilities offered by CASE tools. Techniques such as entity-relationship modelling and data flow diagrams have successfully been transferred to the CASE environment, with significant administrative and clerical benefits. However, these techniques were not necessarily designed with automation in mind, and their CASE implementations have failed to adequately address important aspects of the modelling process, such as communication, collaboration, and the application of past experience. Ways in which these aspects can be supported pro-actively by CASE tools are given, using examples from a prototype CASE tool.

关键词： software tools re-engineering conceptual modelling programming support CASE support project support environments entity-relationship modelling groupware collaborative modelling data flow diagrams Distributed systems software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：