Luqi

According to our database, Luqi authored at least 93 papers between 1987 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2010

Testing Adaptive Probabilistic Software Components in Cyber Systems.

Luqi, Grant A. Jacoby

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

2008

Software Component Repositories.

Luqi, Lin Zhang

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Rapid Prototyping.

Luqi

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Formal Reasoning about Software Object Translations.

Valdis Berzins, Luqi, Peter M. Musial

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

2007

Intranet model and metrics.

Grant A. Jacoby, Luqi

Commun. ACM, 2007

Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs.

Luqi, Fabrice Kordon

Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Innovations in Natural Language Document Processing for Requirements Engineering.

Valdis Berzins, Craig H. Martell, Luqi, Paige Adams

Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Advanced Interface for Examining and Upgrading Complex Systems.

Volodymyr Ivanchenko, Luqi

Proceedings of the 2007 International Conference on Internet Computing, 2007

2006

An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems.

Ying Qiao, Hongan Wang, Luqi, Valdis Berzins

Int. J. Comput. Their Appl., 2006

Reliability Properties of Models for Flexible Design and Run-Time Analysis.

Luqi, Valdis Berzins, Peter M. Musial

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Schema Changes and Historical Information in Conceptual Models in Support of Adaptive Systems.

Luqi, Douglas S. Lange

Proceedings of the Active Conceptual Modeling of Learning, 2006

2005

Intranet Portal Model and Metrics: A Strategic Management Perspective.

Grant A. Jacoby, Luqi

IT Prof., 2005

Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN).

Luqi, Valdis Berzins, William H. Roof

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

FCD: A Framework for Compositional Development in Open Embedded Systems.

Ying Qiao, Valdis Berzins, Luqi

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

2004

Documentation Driven Development for Complex Real-Time Systems.

Luqi, Lin Zhang, Valdis Berzins, Ying Qiao

IEEE Trans. Software Eng., 2004

Requirements-document-based prototyping of CARA software.

Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown

Int. J. Softw. Tools Technol. Transf., 2004

Rapid system prototyping.

Linda M. Wills, Fabrice Kordon, Luqi

J. Syst. Softw., 2004

The Dynamical Models For Software Technology Transition.

Luqi, Lin Zhang, Michael Saboe

Int. J. Softw. Eng. Knowl. Eng., 2004

Admission Control for Dynamic Software Reconfiguration in Systems of Embedded Systems.

Ying Qiao, Luqi

Proceedings of the International Conference on Embedded Systems and Applications, 2004

Design Automation Method for Software Development in Complex Embedded Systems.

Ying Qiao, Luqi, Lynn Zhang

Proceedings of the 19th International Conference on Computers and Their Applications, 2004

2003

Quantifiable architecting of dependable systems of embedded systems.

Sheldon X. Liang, Valdis Berzins, Luqi

ACM SIGSOFT Softw. Eng. Notes, 2003

Evaluation of Middleware Architectures in Achieving System Interoperability.

Paul Young, Nabendu Chaki, Valdis Berzins, Luqi

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Comparative Rapid Prototyping, A Case Study.

Luqi, Man-tak Shing, Joseph Puett, Valdis Berzins, Zhiwei Guan, Ying Qiao, Lynn Zhang, Nabendu Chaki, Xianzhong Liang, Bill Ray, Michael Brown, David L. Floodeen

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Synthesizing Approach for Perspective-Based Architecture Design.

Xianzhong Liang, Joseph Puett, Luqi

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Quantifiable Software Architecture for Dependable Systems of Systems.

Sheldon X. Liang, Joseph Puett, Luqi

Proceedings of the Architecting Dependable Systems II, 2003

A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities.

Jennifer Z. Guan, Luqi

Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, 2003

Software Documentation-Driven Manufacturin.

Luqi, Xianzhong Liang, Lynn Zhang, Valdis Berzins

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002

An Introduction to Rapid System Prototyping.

Fabrice Kordon, Luqi

IEEE Trans. Software Eng., 2002

Software engineering beyond our planning horizon: automation for computer-based systems.

Luqi, Manfred Broy

Sci. Comput. Program., 2002

Automated prototyping tool-kit (APT).

Nader Nada, Man-tak Shing, Valdis Berzins, Luqi

Inf. Sci., 2002

Optimizing systems by work schedules: (a stochastic approach).

William J. Ray, Luqi, Valdis Berzins

Proceedings of the Third International Workshop on Software and Performance, 2002

Using an object oriented model for resolving representational differences between heterogeneous systems.

Paul Young, Valdis Berzins, Jun Ge, Luqi

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

A Computational Model for Complex Systems of Embedded Systems.

Luqi, Ying Qiao, Lin Zhang

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001

DCAPS - Architecture for Distributed Computer Aided Prototyping System.

Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

2000

Object Modeling to Re-Engineer Legacy Systems.

Jiang Guo, Luqi

Int. J. Softw. Eng. Knowl. Eng., 2000

Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping.

Valdis Berzins, Man-tak Shing, Luqi, Michael Saluto, Julian Williams

Des. Autom. Embed. Syst., 2000

Software Reuse Technology Practices and Assessment Tool-Kit.

Nader Nada, Luqi, Man-tak Shing, David C. Rine, Ernesto Damiani, S. Tuwaim

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Evolutionary Computer Aided Prototyping System (CAPS).

Luqi, Valdis Berzins, Man-tak Shing, Richard D. Riehle, J. Nogueira

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

A Risk Assessment Model for Software Prototyping Projects.

Juan Carlos Nogueira, Luqi, Swapan Bhattacharya

Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), 2000

A Survey of Software Reuse Repositories.

Jiang Guo, Luqi

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

JAVA Wrappers for Automated Interoperability.

Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya

Proceedings of the Databases in Networked Information Systems, 2000

Interoperability with Distributed Objects through Java Wrapper.

Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999

Approximate declarative semantics for rule base anomalies.

Du Zhang, Luqi

Knowl. Based Syst., 1999

Toward Automated Retrieval for a Software Component Repository.

Luqi, Jiang Guo

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Software Evolution via Reusable Architecture.

M. Harn, Valdis Berzins, Luqi

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1998

Specifications in software prototyping.

Luqi, Carl K. Chang, Hong Zhu

J. Syst. Softw., 1998

The Story of Re-engineering 350,000 Lines of FORTRAN Code.

Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams, Jiang Guo, B. Shultes

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

Preface - Software Engineering to our Planning Horizon.

Luqi, Manfred Broy

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

Engineering Automation for Computer Based Systems.

Luqi

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

1997

Formal Methods: Promises And Problems.

Luqi, Joseph A. Goguen

IEEE Softw., 1997

Logic Programming and Software Maintenance.

Daniel E. Cooke, Luqi

Ann. Math. Artif. Intell., 1997

Formal Methods and Prototyping.

Luqi

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Gathering Requirements from Remote Users.

T. Leonard, Valdis Berzins, Luqi, M. J. Holden

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

1996

Real-Time Scheduling for Software Prototyping.

Luqi, Man-tak Shing

J. Syst. Integr., 1996

Software Component Search.

Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins

J. Syst. Integr., 1996

Specifications in Software Prototyping.

Luqi

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995

An Intelligent Assistant for Requirements Validation.

Balasubramaniam Ramesh, Luqi

J. Syst. Integr., 1995

How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software.

Luqi, Daniel E. Cooke

Int. J. Softw. Eng. Knowl. Eng., 1995

Formal Methods and Social Context in Software Development.

Joseph A. Goguen, Luqi

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Computer Aided Prototyping System.

Valdis Berzins, Luqi, Man-tak Shing

Proceedings of the SEKE'95, 1995

1994

Automated merging of software prototypes.

David A. Dampier, Luqi, Valdis Berzins

J. Syst. Integr., 1994

Suggestions for progress in software analysis, synthesis and certification.

Luqi, Joseph A. Goguen

Proceedings of the SEKE'94, 1994

Automation support for concurrent software engineering.

Salah Badr, Luqi

Proceedings of the SEKE'94, 1994

Constructing an automated testing oracle: an effort to produce reliable software.

Luqi, Hongji Yang, Xiaodong Zhang

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

The Role of Prototyping Languages in Case.

Luqi

Proceedings of the Impact of Case Technology on Software Processes, 1994

1993

Compositional Semantics of a Real-Time Prototyping Language.

Bernd J. Krämer, Luqi, Valdis Berzins

IEEE Trans. Software Eng., 1993

Using Transformations in Specification-Based Prototyping.

Valdis Berzins, Luqi, Amiram Yehudai

IEEE Trans. Software Eng., 1993

Guest Editors' Introduction: Advancing Europe's Fortunes.

Annie Kuntzmann-Combelles, Luqi

IEEE Softw., 1993

Real-Time Constraints in a Rapid Prototyping Language.

Luqi

Comput. Lang., 1993

A Version and Configuration Model for Software Evolution.

Salah Badr, Luqi

Proceedings of the SEKE'93, 1993

Real-time scheduling for software prototyping.

Luqi, M. Shing, J. Brockett

Proceedings of the Fourth International Workshop on Rapid System Prototyping, 1993

Process knowledge based rapid prototyping for requirements engineering.

Balasubramaniam Ramesh, Luqi

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Formal support for software maintenance.

Daniel E. Cooke, Luqi

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992

Status Report: Computer-Aided Prototyping.

Luqi, Winston Royce

IEEE Softw., 1992

Computer-Aided Prototyping for a Command-and-Control System Using CAPS.

Luqi

IEEE Softw., 1992

Computer aided system prototyping.

Luqi

Proceedings of the Third International Workshop on Rapid System Prototyping, 1992

The management of uncertainty in software development.

Luqi, Daniel E. Cooke

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Toward formal models of software engineering processes.

Bernd J. Krämer, Luqi

J. Syst. Softw., 1991

The Role of Prototyping Languages in Case.

Luqi

Int. J. Softw. Eng. Knowl. Eng., 1991

Computer-Aided Software Prototyping.

Luqi

Computer, 1991

Software engineering with abstractions.

Valdis Berzins, Luqi

Addison-Wesley, ISBN: 978-0-201-08004-9, 1991

1990

A Graph Model for Software Evolution.

Luqi

IEEE Trans. Software Eng., 1990

An Introduction to the Specification Language Spec.

Valdis Berzins, Luqi

IEEE Softw., 1990

Automated Prototyping and Data Translation.

Luqi

Data Knowl. Eng., 1990

1989

Software Evolution Through Rapid Prototyping.

Luqi

Computer, 1989

Interactive control of prototyping process.

Luqi, Yuh-Jeng Lee

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

A Prototyping Language for Real-Time Software.

Luqi, Valdis Berzins, Raymond T. Yeh

IEEE Trans. Software Eng., 1988

A Computer-Aided Prototyping System.

Luqi, Mohammad A. Ketabchi

IEEE Softw., 1988

Rapidly Prototyping Real-Time Systems.

Luqi, Valdis Berzins

IEEE Softw., 1988

Knowledge-Based Support for Rapid Software Prototyping.

Luqi

IEEE Expert, 1988

Execution of a High Level Real-Time Language.

Luqi, Valdis Berzins

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

Semantics of a Real-Time Language.

Valdis Berzins, Luqi

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

1987

Normalized specifications for identifying reusable software.

Luqi

Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987