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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

DESIGNING REAL-TIME KNOWLEDGE-BASED SYSTEMS WITH PERFECT

DESIGNING REAL-TIME KNOWLEDGE-BASED SYSTEMS WITH PERFECT

引用

IFAC/IFIP/IMACS Symposium

作者： SASSEN, JMA JASPERS, RBM DELFT UNIV TECHNOL FAC MECH ENGN2628 CD DELFTNETHERLANDS

来源：评论

学校读者我要写书评

暂无评论

PREDICTING AND IMPROVING RESPONSE-TIMES OF PERFECT-MODELS

PREDICTING AND IMPROVING RESPONSE-TIMES OF PERFECT-MODELS

引用

IFAC/IFIP/IMACS Symposium

作者： SASSEN, JMA OLLONGREN, A JASPERS, RBM DELFT UNIV TECHNOL FAC MECH ENGN2628 CD DELFTNETHERLANDS

来源：评论

学校读者我要写书评

暂无评论

GETTING FRIENDLY WITH ROBOTS

GETTING FRIENDLY WITH ROBOTS

引用

7TH IFAC/IFIP/IFORS/IMACS/ISPE SYMP ON INFORMATION CONTROL PROBLEMS IN MANUFACTURING TECHNOLOGY

作者： ARCHIBALD, C PETRIU, E UNIV OTTAWA DEPT ELECT ENGN OTTAWA K1N 6N5 ONTARIO CANADA

来源：评论

学校读者我要写书评

暂无评论

Predictable Parallel Real-time Code Generation

引用

IFAC Proceedings Volumes 1993年第2期26卷 701-704页

作者： M.R. Webster D.C. Levy R.G. Harley D.R. Woodward M. vd Westhuizen B.S. Meyer Electrical Engineering University of Natal King George Vth Avenue Durban 4000 South Africa

The design and implementation of controller software for embedded hard real-time applicatiions can prove to be a time consuming and error prone task. In order to create software with predictable execution times and real-time responses normally relies on low level coding and customisation for a particular processor. An extra dimension of difficulty is added if concurrency and parallelism is considered. Parallelism can be used to increase the controller throughput and to allow optimum real-time responses. The work presented in this paper focuses on a design and implementation system that attempts to address these problems by providing an environment that will automate the generation of parallel real-time control code. The paper describes the development system, gives an overview of the controller hardware platform and shows results from the prototype software system.

关键词： Computer control parallel processing multiprocessing real-time computer systems heuristic programming graph theory critical path analysis software tools programming support deterministic analysis

来源：评论

学校读者我要写书评

暂无评论

THE TIPSE - AN IPSE FOR TEACHING

引用

SOFTWARE ENGINEERING JOURNAL 1992年第5期7卷 347-356页

作者： RATCLIFFE, MB BOTT, MF STOTTERBROOKS, TJ WHITTLE, BR UNIV WALES DEPT COMP SCIABERYSTWYTH SY23 3BZDYFEDWALES

This paper describes the support environment being developed at the University of Wales, Aberystwyth, for use in teaching software engineering. The environment provides a fully integrated tool set that will eventually support all aspects of the software life-cycle. Modes of operation are provided to suit the needs of both naive and fairly sophisticated users. The environment has been developed as far as possible by using existing software.

关键词： Computing education and training software engineering programming support IPSE support environment computer science education TIPSE software life-cycle computer aided instruction Software engineering techniques project support environments Computer-aided instruction teaching fully integrated tool set

来源：评论

学校读者我要写书评

暂无评论

TOWARDS A FORMAL SPECIFICATION OF REVISABLE CORE - ALLOWING FOR CHANGE

引用

SOFTWARE ENGINEERING JOURNAL 1992年第6期7卷 393-408页

作者： STOKES, DA PRAXIS SYST PLC BATH BA1 1PXENGLAND

Many requirements analysis tools, techniques and methods exist to help in the development of consistent, complete and valid requirements specifications. However, few, if any, of these methods recognise and take sufficient notice of the iterative nature of eliciting and specifying requirements. We therefore propose the development of revisable methods, which reflect the significance of change in evolving requirements specifications, and which would be, as a result, much more flexible than many current techniques. In this paper, we consider revisable methods by describing the formal development of revisable CORE [1]. To demonstrate its feasibility, a proof of the validity of revisable tabular collection forms is discussed in some detail. This proof also indicates the complexity of the additional rules which revisable methods demand and which makes their manual application a rather daunting prospect. To facilitate the use of revisable CORE, an automated support tool has been implemented, and this is also (briefly) described.

关键词： revisable methods software tools formal specification programming support revisable CORE revisable tabular collection forms Software engineering techniques requirements specifications requirements analysis tools

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：