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

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 WORKBENCH SYSTEM FOR NOVICE PROLOG PROGRAMMERS - VISUALLY-STRUCTURED INTERACTIVE TRACER AND PHOTOTYPE-BASED programming support

引用

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 1994年第1期E77D卷 57-67页

作者： ITOH, K ITAMI, M FUKAWA, K MURAMATSU, J ENOMOTO, Y Science univ of Tokyo Noda Japan

The paper proposes and reports on pototyping a work bench system for novice Prolog programmers which consists of a visually-structured interactive tracer and a prototype-based programming support. The tracer actually is a simulated interpreter in Prolog, It is interpreted by a Prolog interpreter being embedded with facilities interfacing programs in Prolog and the objects programmed in C. It displays, by way of these objects, the past, current and future goals, highlights variable sharing and value substitution, and marks the current goals and backtrack choice points. It is at user's will to let the tracer show and hide subgoals as well as to let it backtrack when it failed, step back for redoing or terminate tracing. The programming support module first provides the programmer with structural prototype patterns and the roles of the constituent functions. We developed a support system for the 2 types of recursive definitions. After having selected the prototype, the user is requested to specify the data types and the names of variables to be put in the arguments, which propagate through the structure. The support module then offers a menu of primitive or user-registered constituent functions as may be useful in processing and/or obtaining user-specified types of data. Thirdly the system lets the user express his/her intention by sample input-output data instances in his/her task goals. It makes the values propagate through the structures thus motivating the user to design the constituent functions. At the goal recursion point, the user is allowed to creep into examining the definitions of the reduced versions of the instances, helping the user find the condition with which the recursion terminates. Finally the module assists the user to convert the structural descriptions into Prolog programs.

关键词： NOVICE PROLOG PROGRAMMERS INTERACTIVE TRACERS programming support PROTOTYPE STRUCTURES INSTANCE-BASED GUIDANCE

来源：评论

学校读者我要写书评

暂无评论

support for RTO.k object structured programming in C++

引用

CONTROL ENGINEERING PRACTICE 1997年第7期5卷 983-991页

作者： Kim, KH Subbaraman, C Bacellar, L UNITED TECHNOL RES CTR HARTFORD CT USA

In the past few years the authors have established a real-time object-oriented (OO) structuring approach called the RTO.k object structuring scheme for the purpose of realizing real-time computing in the form of a generalization of non-real-time computing, that yet allows system engineers to confidently produce certifiable real-time systems for safety-critical applications. Also, a model of an operating system kernel named the DREAM kernel (which can support both conventional real-time processes and RTO.k objects with guaranteed timely services), has been formulated. A user-friendly interface to DREAM kernel services for RTO.k-structured real-time application programs is provided by a collection of specific C++ classes called the DREAM library. In a sense, C++ augmented with the DREAM library can be viewed as an RTO.k object programming language, although it does more than that. This paper discusses the essence of RTO.k object programming in C++ with the aid of the DREAM library. Copyright (C) 1997 Elsevier Science Ltd.

关键词： real-time systems programming support object-oriented programming operating systems software tools

来源：评论

学校读者我要写书评

暂无评论

support for RTO.k object structured programming in C++

Support for RTO.k object structured programming in C++

引用

21st Workshop on Real Time programming (WRTP)

作者： Kim, KH Subbaraman, C Bacellar, L UNITED TECHNOL RES CTR HARTFORD CT USA

关键词： real-time systems programming support object-oriented programming operating systems software tools

来源：评论

学校读者我要写书评

暂无评论

A MODEL FOR COOPERATIVE OBJECT-ORIENTED programming

引用

SOFTWARE ENGINEERING JOURNAL 1993年第1期8卷 41-48页

作者： NASCIMENTO, C DOLLIMORE, J QUEEN MARY & WESTFIELD COLL DEPT COMP SCILONDON E1 4NSENGLAND

In this paper we describe an abstract model for the development of object-oriented software in a context where several programmers work together as a team. We introduce the different levels that compose our model, mapping its concepts and tools to existing systems whenever possible. The goal of this work is to design an environment for co-operative programming that deals specifically with the needs of developers using object-oriented technology. Our model is based on existing software engineering tools for the development of medium and large software projects, and also on a survey of user requirements for object-oriented programming. We explain the reasons why existing software engineering tools for team programming are not suited to object-oriented technology. We also briefly describe our prototype and the tools necessary to support our co-operative object-oriented programming model.

关键词： programming support object-oriented software software engineering tools abstract model team programming project support environments Object-oriented programming groupware configuration management configuration control co-operative object-orientated programming user requirements software projects Distributed systems software object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

SPECIFYING RESTRICTIONS ON IMPERATIVE programming-LANGUAGES FOR USE IN A DISTRIBUTED EMBEDDED ENVIRONMENT

引用

SOFTWARE ENGINEERING JOURNAL 1990年第2期5卷 93-104页

作者： HUTCHEON, AD WELLINGS, AJ UNIV YORK DEPT COMP SCIYORK YO1 5DDN YORKSHIREENGLAND

Very few programming languages provide direct support for programming distributed embedded systems. However, as such systems become more widespread, many languages, particularly concurrent languages like Ada and Modula, will be employed for this purpose. Restrictions should be placed on the use of these languages, so that processes executing on one machine do not have access to the memory space of processes executing on another. Furthermore, if the reuse of software modules is to become a reality, then it should be possible to implement components of a system in different *** this paper we present a language-independent specification of how the use of a common class of imperative programming languages can be restricted for a distributed environment. A simple formal model, in Z, of imperative programming languages is developed, and restrictions are specified. The model is then instantiated for the languages Ada, Modula and C. It gives good results for Ada and Modula, but cannot be elegantly applied to C because the language lacks both a module and process facility. A distributed Ada programming environment based on the model is described briefly.

关键词： parallel programming programming support specification languages language-independent specification imperative programming languages Software engineering techniques programming environments distributed Ada programming environment C formal model High level languages distributed embedded environment Z Modula restrictions

来源：评论

学校读者我要写书评

暂无评论

TRANSACTION MECHANISMS FOR DISTRIBUTED-programming ENVIRONMENTS

引用

SOFTWARE ENGINEERING JOURNAL 1987年第5期2卷 169-177页

作者： WALPOLE, J BLAIR, GS HUTCHISON, D NICOL, JR UNIV LANCASTER DEPT COMPLANCASTER LA1 4YRENGLAND

Considerable research effort in the software engineering domain has been focused on the development of more advanced programming environments. A key aspect in this development isdistribution. Distributed computer systems have the potential for high reliability. This is primarily because resources can be provided redundantly at different sites. However, the possibility of partial system failure and the high level of parallel activity in distributed systems make it difficult to realise this potential. In an attempt to simplify the treatment of these problems in distributed database systems, the notion ofatomic transactionswas introduced. The transaction concept is equally applicable to the area of distributed programming environments. However, traditional database transaction mechanisms are not efficient or flexible enough to meet the requirements of distributed programming environments. This paper presents a survey of transaction techniques and discusses the application of the transaction model to distributed programming environments.

关键词： Distributed databases programming environments transaction model distributed programming environments global state information transaction concept consistency recovery parallel activity transaction techniques software engineering software reliability durability atomicity distributed systems partial system failure high reliabilty programming support synchronisation atomic transactions distributed databases distributed database systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Time-stamped event histories: a real-time programming object

引用

CONTROL ENGINEERING PRACTICE 1998年第3期6卷 417-420页

作者： Shaw, A Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

A case is made for providing direct support for time stamped event histories (TEHs) in real-time programs. The paper describes a notation for TEHs, gives some programming examples, discusses an implementation, and con... 详细信息

关键词： events real-time languages time programming support

来源：评论

学校读者我要写书评

暂无评论

Time-stamped event histories: a real-time programming object

Time-stamped event histories: a real-time programming object

引用

IFAC/IFIP Workshop on Real-Time programming (WRTP 97)

作者： Shaw, A Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

ISBN: (纸本)0080430457

关键词： events real-time languages time programming support

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：