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

proceedings of the Twenty-Third Annual Hawaii International conference on System Sciences. Volume 1: Architecture Track

作者： Baecker, Ronald Buchanan, John Comput Syst Research Inst Univ of Toronto Toronto Ont Can

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.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Effects of Ada on design problems in a discrete event simulator

Effects of Ada on design problems in a discrete event simula...

引用

conference on TRI-ADA 1990

作者： Railsback, Philip E. Rose, Louis C. Corrigan, Ann E. Logicon Incorporated 2100 Washington Boulevard Arlington VA 22204-5704 United States

ISBN: (纸本)0897914090

Overall, our experience using the Ada programming language 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

关键词： Simulators

来源：评论

学校读者我要写书评

暂无评论

Ada as a parallel language for high performance computers: Experience and results

Ada as a parallel language for high performance computers: E...

引用

conference on TRI-ADA 1990

作者： Collard, Philippe Goforth, Andre Marquardt, Matthew TeleSoft 5959 Cornerstone Court West San Diego CA 92121-9891 United States NASA/Ames Research Center Information Science Division MS 244-4 Moffett Field CA 94035 United States Recom Technologies MS 244-4 Moffett Field CA 94035 United States California Space Institute University of California San Diego CA United States

ISBN: (纸本)0897914090

This paper reports on experimental results which demonstrate the potential of Ada as a parallel programming language for large scale, scientific applications on high performance multiprocessors. Reported performance results show a linear speed-up of a factor of 10 over 10 processors. A linear speed-up performance over a larger number of processors is indicated given the availability of higher performance configurations and larger data sets. The results were obtained for an Ada program written to take advantage of the multiprocessing of the Sequent Balance and Symmetry computer series, which performed the classification of stars in a large infrared astronomical database, (IRAS). The classification procedure and algorithms, which were developed at NASA Ames Research Center and were originally coded in a Lisp program called AutoClassII, use an approximate Bayesian criterion. The procedure has been applied to a wide variety of classification domains besides astronomy. Through its tasking structure, Ada possesses the intrinsic ability to support parallel processing at the language level;however, much remains to be learned about the implementation of concurrent software systems in Ada on multiprocessor architectures. The paper provides a case study of the design issues faced in the attempt to exploit the inherent concurrency of the procedure and algorithms in the implementation of a portable version of AutoClassII in Ada for benchmarking multiprocessors. ©1990 acm.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

OBSERV - A prototyping language and environment combining object oriented approach, state machines and logic programming

OBSERV - A prototyping language and environment combining ob...

引用

proceedings of the Twenty-Third Annual Hawaii International conference on System Sciences. Volume 1: Architecture Track

作者： Tyszberowicz, Shmuel Yehudai, Amiram Moise & Frida Eskenasy Inst of Comput Sci Tel-Aviv Univ Isr

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.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

DPSOL: An executable requirements specification language for information processing systems

DPSOL: An executable requirements specification language for...

引用

proceedings of the Twenty-Third Annual Hawaii International conference on System Sciences. Volume 1: Architecture Track

作者： Tenazas, R.A. Concepcion, A.I. Villafuerte, R.M. Software Brewers Inc Makati Philippines

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.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of the control and integration software of a flexible manufacturing system

The design and implementation of the control and integration...

引用

proceedings of the First International conference on Systems Integration - ICSI '90

作者： Hadj-Alouane, Nejib Ben Chaar, Jarir K. Naylor, Arch W. Dept of Elec Eng & Comput Sci Univ of Michigan Ann Arbor MI USA

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 programming language and is fully operational.

关键词： Flexible Manufacturing Systems

来源：评论

学校读者我要写书评

暂无评论

sigplan '89 conference on programming language design and implementation

SIGPLAN '89 Conference on Programming Language Design and Im...

引用

proceedings of the sigplan '89 conference on programming language design and implementation

This conference proceedings contains 31 papers. These papers emphasize experimental results and practical experience in the design, development, implementation and use of programming languages. 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.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

conference proceedings on Object-Oriented programming Systems, languages and Applications, OOPSLA 1989

Conference Proceedings on Object-Oriented Programming System...

引用

1989 Object-Oriented programming Systems, languages and Applications, OOPSLA 1989

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

design and implementation of an Ada mathematics library

Design and implementation of an Ada mathematics library

引用

1989 International conference on Ada : Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989

作者： Mattson, Timothy G. Shanbeck, Linda J.

来源：评论

学校读者我要写书评

暂无评论

Experience with CST: programming and implementation

引用

sigplan Notices (acm Special Interest Group on programming languages) 1989年第7期24卷 101-109页

作者： Horwat, Waldemar Chien, Andrew A. Dally, William J. MIT United States

CST is a programming language 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.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：