A CASE tool designed to enable software engineers to produce a faithful animation of specifications written in Z is described. The CASE tool is based around the program development tool known as CRYSTAL. The propertie...
详细信息
A CASE tool designed to enable software engineers to produce a faithful animation of specifications written in Z is described. The CASE tool is based around the program development tool known as CRYSTAL. The properties that guided the development of the tool and its features are outlined. An example is given to illustrate these. The utility of the tool is evaluated.
Summary form only given, as follows. Fully-featured applicationdevelopment tool for Microsoft windows 286/386; graphical generation of forms, dialog boxes, menus, radio-buttons and other windows controls; straightfor...
详细信息
Summary form only given, as follows. Fully-featured applicationdevelopment tool for Microsoft windows 286/386; graphical generation of forms, dialog boxes, menus, radio-buttons and other windows controls; straightforward programming language SAL with animated debugging facilities; rich set of built-in function calls including access to SQL relational DBMSs; and open environment (Microsoft windows dynamic link libraries can be directly called from SQLwindows).< >
Addresses the area of graphical user interfaces (GUIs) and open systems. In particular, the author talks about tools available that allow one to use GUIs to provide seamless integration between a variety of different ...
详细信息
Addresses the area of graphical user interfaces (GUIs) and open systems. In particular, the author talks about tools available that allow one to use GUIs to provide seamless integration between a variety of different open systems architectures. The role of GUIs in the future development of computer applications for open systems is stressed. The interworking of DOS, Unix and their GUIs is discussed.< >
The X Window System is the current de-facto standard for window management on workstations with high resolution bitmapped displays. An application programmer using these workstations will encounter X both as a user wo...
详细信息
The X Window System is the current de-facto standard for window management on workstations with high resolution bitmapped displays. An application programmer using these workstations will encounter X both as a user working within the X environment and also as a programmer using X to develop graphical user interfaces (GUIs) for their applications. The basic concepts of X are described, and a brief description of the toolkits and tools available to an application programmer wanting to use X is given. Some current problems encountered using X are discussed and some pointers to future directions for GUI development environments are given.< >
Developing graphical user interfaces (GUIs) such as the OS/2 Presentation Manager or Microsoft windows is characterised by the use of large function call libraries, usually known as APIs (application programmer interf...
详细信息
Developing graphical user interfaces (GUIs) such as the OS/2 Presentation Manager or Microsoft windows is characterised by the use of large function call libraries, usually known as APIs (application programmer interfaces), coupled with an event-driven program structure which is completely different to normal procedural programming. These two factors contribute to the long, shallow learning curve associated with becoming expert in this type of programming. GUI applications also tend to have far more code involved than a textual application, again because of the richness and complexity of the environment. CASE:PM and CASE:W tools are presented as a new approach to the problem. They apply knowledge-based techniques to generate a skeleton application in source code which contains the correct program structure and many of the API calls required. This increases productivity and reduces the learning curve whilst retaining all the advantages of development in a standard 3GL.< >
An ongoing programme of research into computer-based modelling at the University of Warwick has led to the development of new principles and softwaretools that we believe can address some of the problems associated w...
详细信息
An ongoing programme of research into computer-based modelling at the University of Warwick has led to the development of new principles and softwaretools that we believe can address some of the problems associated with more rapid and flexible exploitation of emerging computer technology. Many case studies in a wide variety of application areas have been investigated, both through sponsored research and through student projects at undergraduate and postgraduate level. The aim of this paper is to highlight those aspects of our modelling method ('Empirical modelling') that seem most relevant to developing software and hardware technology to meet special needs. In a conventional softwaredevelopment, it is necessary to recompile a Graphical User Interface before the view of a model is changed, and this typically means reinitialising the model. In contrast, Empirical Modelling makes no essential distinction between changing the state of the interface and changing the state of the model. Either can be modified on-the-fly without interference. There is no need to circumscribe any part of the model before or during its construction, and if circumscription is required it can be provided in the form of monitors rather than embedded in choices of data structures with preconceived restrictions and exceptions.
Open PC based architectures are presenting unprecedented opportunities for positive change in the nature of dedicated systems in the fields of industrial automation, telecommunications, point-of-sale and others. The o...
详细信息
Open PC based architectures are presenting unprecedented opportunities for positive change in the nature of dedicated systems in the fields of industrial automation, telecommunications, point-of-sale and others. The opportunity for windows/NT and /CE to become the dominant operating systems for open PC based architectures in these markets will be examined. Extensions to windows/NT and /CE are now available to increase the speed and extent of their market penetration and acceptance. VenturCom has concluded that some hard real-time, scalability, and embedded operation extensions are required to be made to windows/NT and /CE in order to achieve deterministic sub-millisecond response times, and to reduce hardware resource requirements while maintaining full compatibility with the enormous range of software written for windows/NT and /CE. VenturCom, with over 17 years experience in providing real-time and embedded systems technology for builders of dedicated systems, has signed marketing and technical agreements with Microsoft to produce and sell the developmenttools and extensions required.
The proceedings contain 53 papers. The topics discussed include: functional overview of the software communications architecture;on the design of modular software defined radio systems;DSP software architecture for so...
ISBN:
(纸本)9781849193207
The proceedings contain 53 papers. The topics discussed include: functional overview of the software communications architecture;on the design of modular software defined radio systems;DSP software architecture for software defined radio;the hardware software mix of DSP enabled radio;design of asynchronous function unit and softwaredevelopmenttools for a low-power DSP;scaling FPGA systems for software radio;on-line reconfigurable hardware implementations for FEC and cryptography: a primitive-based domain approach;a high dynamic range digital down-converter for software radio application;blind MIMO channel equalization using matrix momentum natural gradient adaptation;cyclostationary signal processing in multi-antenna systems: from direction-of-arrival estimation to channel estimation and equalization;and increasing the spectral efficiency in fixed point-to-point microwave radio system using multiple antenna arrays.
This presentation describes two industrial projects in which formal methods were applied in the early stages of system development. Both projects were based on the selective application of formal methods, with appropr...
详细信息
This presentation describes two industrial projects in which formal methods were applied in the early stages of system development. Both projects were based on the selective application of formal methods, with appropriate techniques targeted on those areas of development where they would be expected to yield a benefit. Both applications are relatively modestly sized, but there are examples of larger applications of formal techniques. Using a formal modelling language to record data and invariants is a good way of starting formal specification and appears to represent an affordable 'delta' over existing practice. Formal methods need not be seen prescriptions for the development of software;perhaps they are of greatest use as tools to be applied judiciously where they are most needed, especially in the early stages of softwaredevelopment.
暂无评论