The authors describe LOGOmotion, a programming environment that is visually enhanced, animated, unobtrusive, extensible, and monomorphic. The programmer can obtain with ease visual and animated presentations of the ex...
详细信息
ISBN:
(纸本)0818620099
The authors describe LOGOmotion, a programming environment that is visually enhanced, animated, unobtrusive, extensible, and monomorphic. The programmer can obtain with ease visual and animated presentations of the execution of programs written in the LOGO language. The programmer can also define new methods of program presentation by writing visualization procedures in LOGO without altering the original program code. Methods may include classical debugging tools such as traces, as well as more modern visualization aids such as the animation of program behavior. The design goals and fundamental principles of the system are discussed. Illustrations of its use and implementation are presented.
Overall, our experience using the Ada programminglanguage proved to be a valuable one. We believe that using an alternate high level language would not have allowed us to maintain the tight schedule of the evolutiona...
详细信息
ISBN:
(纸本)0897914090
Overall, our experience using the Ada programminglanguage proved to be a valuable one. We believe that using an alternate high level language would not have allowed us to maintain the tight schedule of the evolutionary development of ISAAC. Clearly, the software engineering orientation of Ada was key to the success of the ISAAC simulator. Our desired to maintain an object orientation during the design and implementation process proved useful but was a bit cumbersome at times. While there are several methods to emulate some form of inheritance in Ada, the lack of a controlled two way communication mechanism between objects is a significant restriction with Ada as it relates to object oriented methodologies. We were fortunate to have the event queue in the simulator available to allow an efficient implementation of the two way communications we required. The technique used for implementing the Task Manager's data structure followed a standard paradigm for implementing a data architecture documented in an Entity-Relation-Attribute form. This technique was successful, which suggests to us the possibility of directly compiling the extended E-R-A model (including the relation characteristics used for choosing implementation structures). Extending a language to support directly an abstract Entity-Relation model would eliminate the need for coding data structures and data management algorithms, greatly reduce development time, and will result in better designs by encouraging design at an abstract level. The use of generics in the component architecture was extremely valuable in support of the abstract data entities implementation as well as significantly reducing the overall integration testing effort Although our emphasis in this paper on the use of component architecture was concentrated on the use in the Maintenance Manager, many of these generics were used in the Operations and Resource Managers as well. It interesting that the major emphasis in the rationale for the f
This paper reports on experimental results which demonstrate the potential of Ada as a parallel programminglanguage for large scale, scientific applications on high performance multiprocessors. Reported performance r...
详细信息
The Observ methodology for software development is based on rapid construction of an executable specification (or prototype) of a system, which may be examined and modified repeatedly to achieve the desired functional...
详细信息
ISBN:
(纸本)0818620099
The Observ methodology for software development is based on rapid construction of an executable specification (or prototype) of a system, which may be examined and modified repeatedly to achieve the desired functionality. The objectives of Oobserv also include facilitating a smooth transition to a target system and providing the means for reusing specification, design, and code of (sub)systems. Of particular interest is the handling of embedded systems, which are likely to have concurrency and real-time requirements. The Observ prototyping language combines several paradigms to express the behavior of a system. The object-oriented approach provides the basic mechanisms for building a system from a collection of objects, with well-defined interfaces between them. Finite-state machines are used to model the behavior of individual objects. At a lower level, activities that occur within objects are described with the logic-programming paradigm, thus allowing a nonprocedural description when possible. An attempt has been made to provide flexible tools for executing (simulating) the prototype being built, as well as for browsing and static checking. The current implementation of the tools is window-based but not graphical.
The authors present the Delphi project, which deals with the design and implementation of a software engineering environment (SEE) to enhance software productivity, in particular, one that targets information systems ...
详细信息
ISBN:
(纸本)0818620099
The authors present the Delphi project, which deals with the design and implementation of a software engineering environment (SEE) to enhance software productivity, in particular, one that targets information systems (IS) for business data processsing problems. A set of specification languages was designed to specify the IS in a modular manner. Collectively, these languages are called the data processing specification outlining language (DPSOL). DPSOL is customizable, executable, extensible, and translatable and can be used in rapid prototyping or in automatic translation to a target 3GL/environment. The authors present the expressive power of DPSOL to specify the IS, and its automated process of checking referential integrity and computational consistency. The approach is translational (using templates) instead of transformational. It was found that templating is a powerful concept in automatic programming, at least for IS. The templates can be edited and modified to generate customized 3GL source code. Moreover, documentation can also be automatically generated.
The concepts of a methodology for designing and implementing the control and integration software of computer-integrated manufacturing systems are presented. The goal of this methodology is to build flexible and reusa...
详细信息
ISBN:
(纸本)0818690275
The concepts of a methodology for designing and implementing the control and integration software of computer-integrated manufacturing systems are presented. The goal of this methodology is to build flexible and reusable software. Software flexibility is obtained by decoupling the process plan models from the factory floor model and by designing generic control algorithms. Reusability is achieved by building self-contained software/hardware components with general, possibility parametrized, interfaces. These reusable components can be used to populate manufacturing software libraries. Off-the-shelf components can then be assembled into manufacturing systems. Moreover, the interplay between simulated and actual hardware internals of software/hardware components is used as the basis of a testing strategy that performs offline simulation followed by incremental online testing. The application of the methodology to the design and implementation of the control and integration software of a prismatic machining cell is reported. A highly efficient implementation of this software has been carried out in the Ada programminglanguage and is fully operational.
This conferenceproceedings contains 31 papers. These papers emphasize experimental results and practical experience in the design, development, implementation and use of programminglanguages. The main subjects are e...
详细信息
This conferenceproceedings contains 31 papers. These papers emphasize experimental results and practical experience in the design, development, implementation and use of programminglanguages. The main subjects are evaluation of high level specifications, program analysis techniques, program dependence, data access, compilation for a parallel machine, high order attribute grammar, incremental generation of parsers, code generation language, optimizing compilers, register allocation problems, experiences creating a portable cedar, and unified management of registers and cache using liveness and cache bypass.
The proceedings contain 45 papers. The topics discussed include: playground: an object oriented simulation system with agent rules for children of all ages;neuralagents - a frame of mind;incremental distribution of ti...
ISBN:
(纸本)0897913337
The proceedings contain 45 papers. The topics discussed include: playground: an object oriented simulation system with agent rules for children of all ages;neuralagents - a frame of mind;incremental distribution of timestamp packets: new approach to distributed garbage collection;extending the operating system to support an object-oriented environment;an efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypes;object-oriented design: a responsibility-driven approach;PROCOL a parallel object language with protocols;an extended frame language;inheritance and synchronization with enabled-sets;good news, bad news: experience building a software development environment using the object-oriented paradigm;design of the opportunistic garbage collector;problem-solution mapping in object-oriented design;saving a legacy with objects;contributions to teaching object-oriented design and programming;strategies for scientific prototyping in Smalltalk;mandatory security in object-oriented database systems;DSM : an object-relationship modeling language;Vamp: the Aldus application framework;and a fast method dispatcher for compiled languagues with multiple inheritance.
CST is a programminglanguage based on Smalltalk-802 that supports concurrency using locks, asynchronous messages, and distributed objects. In this paper, we describe CST: the language and its implementation. Example ...
详细信息
CST is a programminglanguage based on Smalltalk-802 that supports concurrency using locks, asynchronous messages, and distributed objects. In this paper, we describe CST: the language and its implementation. Example programs and initial programming experience with CST are described. Our implementation of CST generates native code for the J-machine, a fine-grained concurrent computer. Some compiler optimizations developed in conjunction with that implementation are also described.
暂无评论