Luqi

Software engineering with abstractions by Valdis Andris Bērzin̦š ( Book )
4 editions published between 1990 and 1991 in English and held by 245 libraries worldwide

High-level-net semantics of a real-time prototyping language by Bernd Krämer ( Book )
3 editions published in 1991 in English and German and held by 6 libraries worldwide
Abstract: "The denotational semantics of the Prototype System Description Language PSDL is formally described in terms of an algebra- based Petri net model in this paper. PSDL supports specification and design of software prototypes that have to satisfy hard real-time constraints. The language is derived from a dataflow model that is augmented by data abstraction facilities and application-oriented timing and control constraints. In the Petri net model, each net is associated with a many-sorted partial algebra and is labeled with terms and marked with data of that algebra.

Software engineering with abstractions by Valdis Berzins ( Book )
1 edition published in 1991 in English and held by 4 libraries worldwide

Rapid prototyping for large software system design by Luqi ( Book )
2 editions published in 1986 in English and held by 2 libraries worldwide

霹靂雌雄 by 綠綺 ( Book )
2 editions published in 1998 in Chinese and held by 2 libraries worldwide

Research aspects of rapid prototyping by Luqi ( Book )
2 editions published in 1987 in English and held by 2 libraries worldwide
The objectives of the proposed research are to develop specification methods for identifying and retrieving reusable software components, to develop implementation techniques for the prototyping language PSDL, and to extend the language and techniques to a multiprocessor model for the prototype. Our approach to component specification will be based on term rewriting systems and the concept of generalization per category. We will seek component specifications that admit effective reductions to a canonical or normal form to aid component retrieval. The attributes fo reusable software components will be structured using generalization per category to aid software base operators will be established. The proposed research will solve some key problems in automated prototyping based on reusable software. requirements by rapid prototyping depends on three major components: a prototyping language, a software base, and a prototyping method. The objectives of the proposed research contribute to the software base and the prototyping language.

The development of a rapid prototyping environment by Laura J White ( Book )
1 edition published in 1989 in English and held by 2 libraries worldwide

Engineering automation for reliable software by Luqi ( Book )
2 editions published between 2000 and 2001 in English and held by 1 library worldwide
The objective of our effort is to develop a scientific basis for producing reliable software that is also flexible and cost effective for the DoD distributed software domain. This objective addresses the long term goals of increasing the quality of service provided by complex systems while reducing development risks, costs, and time. Our work focuses on "wrap and glue" technology based on a domain specific distributed prototype model. The key to making the proposed approach reliable, flexible, and cost-effective is the automatic generation of glue and wrappers based on a designer's specification. The "wrap and glue" approach allows system designers to concentrate on the difficult interoperability problems and defines solutions in terms of deeper and more difficult interoperability issues, while freeing designers from implementation details. Specific research areas for the proposed effort include technology enabling rapid prototyping, inference for design checking, automatic program generation, distributed real-time scheduling, wrapper and glue technology, and reliability assessment and improvement. The proposed technology will be integrated with past research results to enable a quantum leap forward in the state of the art for rapid prototyping.

System engineering and evolution decision support by Luqi ( Book )
2 editions published between 2000 and 2001 in English and held by 1 library worldwide
The objective of our effort is to develop a scientific basis for system engineering automation and decision support. This objective addresses the long term goals of increasing the quality of service provided complex systems while reducing development risks, costs, and time. Our work focused on decision support for designing operations of complex modular systems that can include embedded software. Emphasis areas included engineering automation capabilities in the areas of design modifications, design records, reuse, and automatic generation of design representations such as real-time schedules and software.

Engineering Automation for Reliable Software ( Book )
2 editions published between 2000 and 2001 in English and held by 1 library worldwide
The objective of our effort is to develop a scientific basis for producing reliable software that is also flexible and cost effective for the DoD distributed software domain. This objective addresses the long term goals of increasing the quality of service provided by complex systems while reducing development risks, costs, and time. Our work focuses on "wrap and glue" technology based on a domain specific distributed prototype model. The key to making the proposed approach reliable, flexible, and cost-effective is the automatic generation of glue and wrappers based on a designer's specification. The "wrap and glue" approach allows system designers to concentrate on the difficult interoperability problems and defines solutions in terms of deeper and more difficult interoperability issues, while freeing designers from implementation details. Specific research areas for the proposed effort include technology enabling rapid prototyping, inference for design checking, automatic program generation, distributed real-time scheduling, wrapper and glue technology, and reliability assessment and improvement. The proposed technology will be integrated with past research results to enable a quantum leap forward in the state of the art for rapid prototyping.