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, map...
详细信息
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.
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 pape...
详细信息
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.
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 re...
详细信息
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.
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...
详细信息
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.
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 suffic...
详细信息
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.
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 specificatio...
详细信息
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.
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...
详细信息
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.
暂无评论