Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Luqi, Grant A. Jacoby |
Testing Adaptive Probabilistic Software Components in Cyber Systems. |
Monterey Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Rapid Prototyping. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Lin Zhang 0008 |
Software Component Repositories. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Valdis Berzins, Luqi, Peter M. Musial |
Formal Reasoning about Software Object Translations. |
Monterey Workshop |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Grant A. Jacoby, Luqi |
Intranet model and metrics. |
Commun. ACM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Fabrice Kordon |
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. |
Monterey Workshop |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Valdis Berzins, Craig H. Martell, Luqi, Paige Adams |
Innovations in Natural Language Document Processing for Requirements Engineering. |
Monterey Workshop |
2007 |
DBLP DOI BibTeX RDF |
Domain-Specific Methods, Requirements, Natural Language, Ambiguity, Gaps |
1 | Volodymyr Ivanchenko, Luqi |
Advanced Interface for Examining and Upgrading Complex Systems. |
International Conference on Internet Computing |
2007 |
DBLP BibTeX RDF |
|
1 | Ying Qiao, Hongan Wang, Luqi, Valdis Berzins |
An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems. |
Int. J. Comput. Their Appl. |
2006 |
DBLP BibTeX RDF |
|
1 | Luqi, Valdis Berzins, Peter M. Musial |
Reliability Properties of Models for Flexible Design and Run-Time Analysis. |
Monterey Workshop |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Douglas S. Lange |
Schema Changes and Historical Information in Conceptual Models in Support of Adaptive Systems. |
Active Conceptual Modeling of Learning |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Grant A. Jacoby, Luqi |
Intranet Portal Model and Metrics: A Strategic Management Perspective. |
IT Prof. |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Valdis Berzins, William H. Roof |
Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN). |
Monterey Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ying Qiao, Valdis Berzins, Luqi |
FCD: A Framework for Compositional Development in Open Embedded Systems. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
Open Embedded Systems, Schedule, Framework, Partition, Synthesis |
1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
Specification, Software tools, Rapid prototyping, Requirements analysis, Parallel design |
1 | Luqi, Lin Zhang 0008, Valdis Berzins, Ying Qiao |
Documentation Driven Development for Complex Real-Time Systems. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
real-time systems, Software development, documentation, complex systems, agility, information representation |
1 | Linda M. Wills, Fabrice Kordon, Luqi |
Rapid system prototyping. |
J. Syst. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Lin Zhang 0008, Michael Saboe |
The Dynamical Models For Software Technology Transition. |
Int. J. Softw. Eng. Knowl. Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ying Qiao, Luqi, Lynn Zhang |
Design Automation Method for Software Development in Complex Embedded Systems. |
CATA |
2004 |
DBLP BibTeX RDF |
|
1 | Ying Qiao, Luqi |
Admission Control for Dynamic Software Reconfiguration in Systems of Embedded Systems. |
ESA/VLSI |
2004 |
DBLP BibTeX RDF |
|
1 | Sheldon X. Liang, Valdis Berzins, Luqi |
Quantifiable architecting of dependable systems of embedded systems. |
ACM SIGSOFT Softw. Eng. Notes |
2003 |
DBLP DOI BibTeX RDF |
compatible composition and compositional patterns, quantifiable architecture and assessment, quality attributes |
1 | Luqi, Xianzhong Liang, Lynn Zhang, Valdis Berzins |
Software Documentation-Driven Manufacturin. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Xianzhong Liang, Joseph Puett, Luqi |
Synthesizing Approach for Perspective-Based Architecture Design. |
IEEE International Workshop on Rapid System Prototyping |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paul Young, Nabendu Chaki, Valdis Berzins, Luqi |
Evaluation of Middleware Architectures in Achieving System Interoperability. |
IEEE International Workshop on Rapid System Prototyping |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sheldon X. Liang, Joseph Puett, Luqi |
Quantifiable Software Architecture for Dependable Systems of Systems. |
WADS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer Z. Guan, Luqi |
A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities. |
ICSE Workshop on SE-HCI |
2003 |
DBLP BibTeX RDF |
|
1 | Nader Nada, Man-tak Shing, Valdis Berzins, Luqi |
Automated prototyping tool-kit (APT). |
Inf. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Fabrice Kordon, Luqi |
An Introduction to Rapid System Prototyping. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
Software engineering, prototyping, development methodology |
1 | Luqi, Manfred Broy |
Software engineering beyond our planning horizon: automation for computer-based systems. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paul Young, Valdis Berzins, Jun Ge, Luqi |
Using an object oriented model for resolving representational differences between heterogeneous systems. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
wrapper-based, interoperability, object-oriented, heterogeneous |
1 | Luqi, Ying Qiao, Lin Zhang 0008 |
A Computational Model for Complex Systems of Embedded Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
1 | William J. Ray, Luqi, Valdis Berzins |
Optimizing systems by work schedules: (a stochastic approach). |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
and performance tuning, load balancing, distributed computing, object-oriented programming, stochastic optimization |
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jiang Guo, Luqi |
Object Modeling to Re-Engineer Legacy Systems. |
Int. J. Softw. Eng. Knowl. Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jiang Guo, Luqi |
A Survey of Software Reuse Repositories. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
software reuse, software component, reuse repository |
1 | Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya |
JAVA Wrappers for Automated Interoperability. |
DNIS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya |
Interoperability with Distributed Objects through Java Wrapper. |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Juan Carlos Nogueira, Luqi, Swapan Bhattacharya |
A Risk Assessment Model for Software Prototyping Projects. |
IEEE International Workshop on Rapid System Prototyping |
2000 |
DBLP DOI BibTeX RDF |
Prototyping, Software risk, Estimation models |
1 | Luqi, Valdis Berzins, Man-tak Shing, Richard D. Riehle, J. Nogueira |
Evolutionary Computer Aided Prototyping System (CAPS). |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
evolutionary software development process, computer-aided prototyping system, distributed development environment, real-time systems, requirements engineering, software evolution, rapid prototyping, risk assessment, CASE tools, CAPS |
1 | Nader Nada, Luqi, Man-tak Shing, David C. Rine, Ernesto Damiani, S. Tuwaim |
Software Reuse Technology Practices and Assessment Tool-Kit. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
Case-Based Reasoning Systems, Web-Based Training Systems, Distance Learning, Knowledge Base, Learning Environments, Intelligent Tutoring |
1 | Du Zhang, Luqi |
Approximate declarative semantics for rule base anomalies. |
Knowl. Based Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Jiang Guo |
Toward Automated Retrieval for a Software Component Repository. |
ECBS |
1999 |
DBLP DOI BibTeX RDF |
retrieval method, profile matching, Software component, signature matching |
1 | M. Harn, Valdis Berzins, Luqi |
Software Evolution via Reusable Architecture. |
ECBS |
1999 |
DBLP DOI BibTeX RDF |
hypergraph model, lightweight inference engine, software evolution, reusable components |
1 | Luqi, Manfred Broy (eds.) |
The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998 |
Monterey Workshop |
1999 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
Combat Simulation, Software Evolution, Rapid Prototyping, Object Modeling, Re-engineering, Object-Oriented Architecture |
1 | Luqi |
Engineering Automation for Computer Based Systems. |
Monterey Workshop |
1998 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
Monterey Workshop |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Manfred Broy |
Preface - Software Engineering to our Planning Horizon. |
Monterey Workshop |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Carl K. Chang, Hong Zhu 0002 |
Specifications in software prototyping. |
J. Syst. Softw. |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Daniel E. Cooke, Luqi |
Logic Programming and Software Maintenance. |
Ann. Math. Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Joseph A. Goguen |
Formal Methods: Promises And Problems. |
IEEE Softw. |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Formal Methods and Prototyping. |
Requirements Targeting Software and Systems Engineering |
1997 |
DBLP DOI BibTeX RDF |
|
1 | T. Leonard, Valdis Berzins, Luqi, M. J. Holden |
Gathering Requirements from Remote Users. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
remote users, distributed requirements engineering environment, Personal Web Server, Open Database Connectivity, Netscape Communicator, Access97 database, PERL scripts, basic security features, Internet accessible database, computer aided software engineering, database operations, computer aided software engineering tools, Internet Explorer |
1 | Luqi, Man-tak Shing |
Real-Time Scheduling for Software Prototyping. |
J. Syst. Integr. |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen, Doan Nguyen, José Meseguer 0001, Luqi, Du Zhang, Valdis Berzins |
Software Component Search. |
J. Syst. Integr. |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Specifications in Software Prototyping. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
1 | Balasubramaniam Ramesh, Luqi |
An Intelligent Assistant for Requirements Validation. |
J. Syst. Integr. |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Daniel E. Cooke |
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. |
Int. J. Softw. Eng. Knowl. Eng. |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Valdis Berzins, Luqi, Man-tak Shing |
Computer Aided Prototyping System. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
1 | Joseph A. Goguen, Luqi |
Formal Methods and Social Context in Software Development. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David A. Dampier, Luqi, Valdis Berzins |
Automated merging of software prototypes. |
J. Syst. Integr. |
1994 |
DBLP DOI BibTeX RDF |
computer-aided prototyping, soltware engineering, change integration, cose tools, clicing, Software, automation, maintenance, formal models, software merging |
1 | Luqi |
The Role of Prototyping Languages in Case. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Salah Badr, Luqi |
Automation support for concurrent software engineering. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
1 | Luqi, Joseph A. Goguen |
Suggestions for progress in software analysis, synthesis and certification. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
1 | Luqi, Hongji Yang, Xiaodong Zhang |
Constructing an automated testing oracle: an effort to produce reliable software. |
COMPSAC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Real-Time Constraints in a Rapid Prototyping Language. |
Comput. Lang. |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Valdis Berzins, Luqi, Amiram Yehudai |
Using Transformations in Specification-Based Prototyping. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
software tool support, specification-based prototyping, system interfaces, externally observable behavior, chronological derivation sequences, formal specification, software evolution, process model, software prototyping, abstraction level, software transformations, system description |
1 | Bernd J. Krämer, Luqi, Valdis Berzins |
Compositional Semantics of a Real-Time Prototyping Language. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior |
1 | Annie Kuntzmann-Combelles, Luqi |
Guest Editors' Introduction: Advancing Europe's Fortunes. |
IEEE Softw. |
1993 |
DBLP DOI BibTeX RDF |
|
1 | David A. Dampier, Luqi, Valdis Berzins |
Automated Merging of Software Prototypes. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
1 | Salah Badr, Luqi |
A Version and Configuration Model for Software Evolution. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
1 | Balasubramaniam Ramesh, Luqi |
Process knowledge based rapid prototyping for requirements engineering. |
RE |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Daniel E. Cooke, Luqi |
Formal support for software maintenance. |
COMPSAC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, M. Shing, J. Brockett |
Real-time scheduling for software prototyping. |
RSP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Winston Royce |
Status Report: Computer-Aided Prototyping. |
IEEE Softw. |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Computer-Aided Prototyping for a Command-and-Control System Using CAPS. |
IEEE Softw. |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Daniel E. Cooke |
The management of uncertainty in software development. |
COMPSAC |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Computer aided system prototyping. |
RSP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Computer-Aided Software Prototyping. |
Computer |
1991 |
DBLP BibTeX RDF |
|
1 | Bernd J. Krämer, Luqi |
Toward formal models of software engineering processes. |
J. Syst. Softw. |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
The Role of Prototyping Languages in Case. |
Int. J. Softw. Eng. Knowl. Eng. |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Valdis Berzins, Luqi |
Software engineering with abstractions. |
|
1991 |
RDF |
|
1 | Luqi |
A Graph Model for Software Evolution. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
automatic assistance, integrity, graph theory, data integrity, software tools, consistency, software evolution, automatic programming, graph model, complex software systems, evolving software system, automated support |
1 | Valdis Berzins, Luqi |
An Introduction to the Specification Language Spec. |
IEEE Softw. |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Automated Prototyping and Data Translation. |
Data Knowl. Eng. |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Software Evolution Through Rapid Prototyping. |
Computer |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Yuh-Jeng Lee |
Interactive control of prototyping process. |
COMPSAC |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Valdis Berzins, Raymond T. Yeh |
A Prototyping Language for Real-Time Software. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
prototyping language, PSDL, nonprocedural control constraints, operator abstractions, real-time systems, real-time systems, embedded systems, data structures, specification languages, specification languages, software reusability, requirements analysis, timing constraints, data abstractions, real-time software, reusable software components, feasibility studies |
1 | Luqi, Valdis Berzins |
Rapidly Prototyping Real-Time Systems. |
IEEE Softw. |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Mohammad A. Ketabchi |
A Computer-Aided Prototyping System. |
IEEE Softw. |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Knowledge-Based Support for Rapid Software Prototyping. |
IEEE Expert |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Luqi, Valdis Berzins |
Execution of a High Level Real-Time Language. |
RTSS |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Valdis Berzins, Luqi |
Semantics of a Real-Time Language. |
RTSS |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Luqi |
Normalized specifications for identifying reusable software. |
FJCC |
1987 |
DBLP BibTeX RDF |
|