Luqi

Publication Activity (10 Years)

Years Active: 1987-2010
Publications (10 Years): 0

Publications

Luqi, Grant A. Jacoby
Testing Adaptive Probabilistic Software Components in Cyber Systems. Monterey Workshop (2010)
Valdis Berzins, Luqi, Peter M. Musial
Formal Reasoning about Software Object Translations. Monterey Workshop (2008)
Grant A. Jacoby, Luqi
Intranet model and metrics. Commun. ACM 50 (2) (2007)
Valdis Berzins, Craig H. Martell, Luqi, Paige Adams
Innovations in Natural Language Document Processing for Requirements Engineering. Monterey Workshop (2007)
Volodymyr Ivanchenko, Luqi
Advanced Interface for Examining and Upgrading Complex Systems. International Conference on Internet Computing (2007)
Luqi, Fabrice Kordon
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. Monterey Workshop (2007)
Luqi, Valdis Berzins, Peter M. Musial
Reliability Properties of Models for Flexible Design and Run-Time Analysis. Monterey Workshop (2006)
Luqi, Douglas S. Lange
Schema Changes and Historical Information in Conceptual Models in Support of Adaptive Systems. Active Conceptual Modeling of Learning (2006)
Ying Qiao, Hongan Wang, Luqi, Valdis Berzins
An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems. Int. J. Comput. Their Appl. 13 (1) (2006)
Ying Qiao, Valdis Berzins, Luqi
FCD: A Framework for Compositional Development in Open Embedded Systems. ITCC (2) (2005)
Grant A. Jacoby, Luqi
Intranet Portal Model and Metrics: A Strategic Management Perspective. IT Prof. 7 (1) (2005)
Luqi, Valdis Berzins, William H. Roof
Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN). Monterey Workshop (2005)
Luqi, Lin Zhang, Valdis Berzins, Ying Qiao
Documentation Driven Development for Complex Real-Time Systems. IEEE Trans. Software Eng. 30 (12) (2004)
Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown
Requirements-document-based prototyping of CARA software. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
Linda M. Wills, Fabrice Kordon, Luqi
Rapid system prototyping. J. Syst. Softw. 70 (3) (2004)
Luqi, Lin Zhang, Michael Saboe
The Dynamical Models For Software Technology Transition. Int. J. Softw. Eng. Knowl. Eng. 14 (2) (2004)
Ying Qiao, Luqi
Admission Control for Dynamic Software Reconfiguration in Systems of Embedded Systems. ESA/VLSI (2004)
Ying Qiao, Luqi, Lynn Zhang
Design Automation Method for Software Development in Complex Embedded Systems. CATA (2004)
Xianzhong Liang, Joseph Puett, Luqi
Synthesizing Approach for Perspective-Based Architecture Design. IEEE International Workshop on Rapid System Prototyping (2003)
Sheldon X. Liang, Valdis Berzins, Luqi
Quantifiable architecting of dependable systems of embedded systems. ACM SIGSOFT Softw. Eng. Notes 28 (6) (2003)
Sheldon X. Liang, Joseph Puett, Luqi
Quantifiable Software Architecture for Dependable Systems of Systems. WADS (2003)
Luqi, Xianzhong Liang, Lynn Zhang, Valdis Berzins
Software Documentation-Driven Manufacturin. COMPSAC (2003)
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
Comparative Rapid Prototyping, A Case Study. IEEE International Workshop on Rapid System Prototyping (2003)
Jennifer Z. Guan, Luqi
A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities. ICSE Workshop on SE-HCI (2003)
Paul Young, Nabendu Chaki, Valdis Berzins, Luqi
Evaluation of Middleware Architectures in Achieving System Interoperability. IEEE International Workshop on Rapid System Prototyping (2003)
Luqi, Manfred Broy
Software engineering beyond our planning horizon: automation for computer-based systems. Sci. Comput. Program. 42 (1) (2002)
Paul Young, Valdis Berzins, Jun Ge, Luqi
Using an object oriented model for resolving representational differences between heterogeneous systems. SAC (2002)
William J. Ray, Luqi, Valdis Berzins
Optimizing systems by work schedules: (a stochastic approach). Workshop on Software and Performance (2002)
Luqi, Ying Qiao, Lin Zhang
A Computational Model for Complex Systems of Embedded Systems. RISSEF (2002)
Fabrice Kordon, Luqi
An Introduction to Rapid System Prototyping. IEEE Trans. Software Eng. 28 (9) (2002)
Nader Nada, Man-tak Shing, Valdis Berzins, Luqi
Automated prototyping tool-kit (APT). Inf. Sci. 140 (3-4) (2002)
Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin
DCAPS - Architecture for Distributed Computer Aided Prototyping System. IEEE International Workshop on Rapid System Prototyping (2001)
Jiang Guo, Luqi
A Survey of Software Reuse Repositories. ECBS (2000)
Luqi, Valdis Berzins, Man-tak Shing, Richard D. Riehle, J. Nogueira
Evolutionary Computer Aided Prototyping System (CAPS). TOOLS (34) (2000)
Nader Nada, Luqi, Man-tak Shing, David C. Rine, Ernesto Damiani, S. Tuwaim
Software Reuse Technology Practices and Assessment Tool-Kit. TOOLS (34) (2000)
Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya
JAVA Wrappers for Automated Interoperability. DNIS (2000)
Jiang Guo, Luqi
Object Modeling to Re-Engineer Legacy Systems. Int. J. Softw. Eng. Knowl. Eng. 10 (4) (2000)
Valdis Berzins, Man-tak Shing, Luqi, Michael Saluto, Julian Williams
Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping. Des. Autom. Embed. Syst. 5 (3-4) (2000)
Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya
Interoperability with Distributed Objects through Java Wrapper. COMPSAC (2000)
Juan Carlos Nogueira, Luqi, Swapan Bhattacharya
A Risk Assessment Model for Software Prototyping Projects. IEEE International Workshop on Rapid System Prototyping (2000)
M. Harn, Valdis Berzins, Luqi
Software Evolution via Reusable Architecture. ECBS (1999)
Du Zhang, Luqi
Approximate declarative semantics for rule base anomalies. Knowl. Based Syst. 12 (7) (1999)
Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams, Jiang Guo, B. Shultes
The Story of Re-engineering 350,000 Lines of FORTRAN Code. Electron. Notes Theor. Comput. Sci. 25 (1999)
Luqi, Jiang Guo
Toward Automated Retrieval for a Software Component Repository. ECBS (1999)
Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams
Architectural Re-Engineering of Janus Using Object Modeling and Rapid Prototyping. IEEE International Workshop on Rapid System Prototyping (1999)
Luqi, Manfred Broy
Preface - Software Engineering to our Planning Horizon. Electron. Notes Theor. Comput. Sci. 25 (1999)
Luqi
Engineering Automation for Computer Based Systems. Electron. Notes Theor. Comput. Sci. 25 (1999)
Luqi, Carl K. Chang, Hong Zhu
Specifications in software prototyping. J. Syst. Softw. 42 (2) (1998)
T. Leonard, Valdis Berzins, Luqi, M. J. Holden
Gathering Requirements from Remote Users. ICTAI (1997)
Daniel E. Cooke, Luqi
Logic Programming and Software Maintenance. Ann. Math. Artif. Intell. 21 (2-4) (1997)
Luqi
Formal Methods and Prototyping. Requirements Targeting Software and Systems Engineering (1997)
Luqi, Joseph A. Goguen
Formal Methods: Promises And Problems. IEEE Softw. 14 (1) (1997)
Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins
Software Component Search. J. Syst. Integr. 6 (1/2) (1996)
Luqi
Specifications in Software Prototyping. SEKE (1996)
Luqi, Man-tak Shing
Real-Time Scheduling for Software Prototyping. J. Syst. Integr. 6 (1/2) (1996)
Joseph A. Goguen, Luqi
Formal Methods and Social Context in Software Development. TAPSOFT (1995)
Balasubramaniam Ramesh, Luqi
An Intelligent Assistant for Requirements Validation. J. Syst. Integr. 5 (2) (1995)
Valdis Berzins, Luqi, Man-tak Shing
Computer Aided Prototyping System. SEKE (1995)
Luqi, Daniel E. Cooke
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. Int. J. Softw. Eng. Knowl. Eng. 5 (1) (1995)
Luqi, Joseph A. Goguen
Suggestions for progress in software analysis, synthesis and certification. SEKE (1994)
David A. Dampier, Luqi, Valdis Berzins
Automated merging of software prototypes. J. Syst. Integr. 4 (1) (1994)
Salah Badr, Luqi
Automation support for concurrent software engineering. SEKE (1994)
Luqi, Hongji Yang, Xiaodong Zhang
Constructing an automated testing oracle: an effort to produce reliable software. COMPSAC (1994)
Bernd J. Krämer, Luqi, Valdis Berzins
Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19 (5) (1993)
Balasubramaniam Ramesh, Luqi
Process knowledge based rapid prototyping for requirements engineering. RE (1993)
Valdis Berzins, Luqi, Amiram Yehudai
Using Transformations in Specification-Based Prototyping. IEEE Trans. Software Eng. 19 (5) (1993)
Luqi
Real-Time Constraints in a Rapid Prototyping Language. Comput. Lang. 18 (2) (1993)
Daniel E. Cooke, Luqi
Formal support for software maintenance. COMPSAC (1993)
Pericles Loucopoulos, Colin Potts, Stephen J. Mellor, John Alexander McDermid, Luqi, Lin Zucconi
I never knew my requirements were object-oriented until I talked to my analyst. RE (1993)
Salah Badr, Luqi
A Version and Configuration Model for Software Evolution. SEKE (1993)
David A. Dampier, Luqi, Valdis Berzins
Automated Merging of Software Prototypes. SEKE (1993)
Luqi, M. Shing, J. Brockett
Real-time scheduling for software prototyping. RSP (1993)
Annie Kuntzmann-Combelles, Luqi
Guest Editors' Introduction: Advancing Europe's Fortunes. IEEE Softw. 10 (6) (1993)
Luqi
Computer-Aided Prototyping for a Command-and-Control System Using CAPS. IEEE Softw. 9 (1) (1992)
Luqi, Winston Royce
Status Report: Computer-Aided Prototyping. IEEE Softw. 9 (6) (1992)
Luqi
Computer aided system prototyping. RSP (1992)
Luqi, Daniel E. Cooke
The management of uncertainty in software development. COMPSAC (1992)
Luqi
The Role of Prototyping Languages in Case. Int. J. Softw. Eng. Knowl. Eng. 1 (2) (1991)
Luqi
Computer-Aided Software Prototyping. Computer 24 (9) (1991)
Bernd J. Krämer, Luqi
Toward formal models of software engineering processes. J. Syst. Softw. 15 (1) (1991)
Luqi
A Graph Model for Software Evolution. IEEE Trans. Software Eng. 16 (8) (1990)
Luqi
Automated Prototyping and Data Translation. Data Knowl. Eng. 5 (1990)
Valdis Berzins, Luqi
An Introduction to the Specification Language Spec. IEEE Softw. 7 (2) (1990)
Luqi, Yuh-jeng Lee
Interactive control of prototyping process. COMPSAC (1989)
Luqi
Software Evolution Through Rapid Prototyping. Computer 22 (5) (1989)
Valdis Berzins, Luqi
Semantics of a Real-Time Language. RTSS (1988)
Luqi
Knowledge-Based Support for Rapid Software Prototyping. IEEE Expert 3 (4) (1988)
Luqi, Valdis Berzins
Execution of a High Level Real-Time Language. RTSS (1988)
Luqi, Valdis Berzins
Rapidly Prototyping Real-Time Systems. IEEE Softw. 5 (5) (1988)
Luqi, Mohammad A. Ketabchi
A Computer-Aided Prototyping System. IEEE Softw. 5 (2) (1988)
Luqi, Valdis Berzins, Raymond T. Yeh
A Prototyping Language for Real-Time Software. IEEE Trans. Software Eng. 14 (10) (1988)
Luqi
Normalized specifications for identifying reusable software. FJCC (1987)