| 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 | 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 | Volodymyr Ivanchenko, Luqi |
Advanced Interface for Examining and Upgrading Complex Systems.  |
International Conference on Internet Computing  |
2007 |
DBLP 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 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 | Ying Qiao, Hongan Wang, Luqi, Valdis Berzins |
An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems.  |
I. J. Comput. Appl.  |
2006 |
DBLP 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 ![In: Active Conceptual Modeling of Learning, Next Generation Learning-Base System Development [1st International ACM-L Workshop, November 8, 2006, during ER 2006, Tucson, Arizona, USA]., pp. 112-121, 2006, Springer, 978-3-540-77502-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI 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 | Grant A. Jacoby, Luqi |
Intranet Portal Model and Metrics: A Strategic Management Perspective.  |
IT Professional  |
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  |
2005 |
DBLP DOI BibTeX RDF |
Open Embedded Systems, Schedule, Framework, Partition, Synthesis |
| 1 | Luqi, Lin Zhang, 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 | Luqi, Lin Zhang, Michael Saboe |
The Dynamical Models For Software Technology Transition.  |
International Journal of Software Engineering and Knowledge Engineering  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda M. Wills, Fabrice Kordon, Luqi |
Rapid system prototyping.  |
Journal of Systems and Software  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown |
Requirements-document-based prototyping of CARA software.  |
STTT  |
2004 |
DBLP DOI BibTeX RDF |
Specification, Software tools, Rapid prototyping, Requirements analysis, Parallel design |
| 1 | Ying Qiao, Luqi, Lynn Zhang |
Design Automation Method for Software Development in Complex Embedded Systems.  |
Computers and Their Applications  |
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 Software Engineering Notes  |
2003 |
DBLP DOI BibTeX RDF |
compatible composition and compositional patterns, quantifiable architecture and assessment, quality attributes |
| 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 | 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 | Luqi, Xianzhong Liang, Lynn Zhang, Valdis Berzins |
Software Documentation-Driven Manufacturin.  |
COMPSAC  |
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 | Sheldon X. Liang, Joseph Puett, Luqi |
Quantifiable Software Architecture for Dependable Systems of Systems.  |
WADS ![In: Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems], pp. 241-265, 2003, Springer, 3-540-23168-4. The full citation details ...](Pics/full.jpeg) |
2003 |
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 | Nader Nada, Man-tak Shing, Valdis Berzins, Luqi |
Automated prototyping tool-kit (APT).  |
Inf. Sci.  |
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 |
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.  |
Design Autom. for Emb. Sys.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiang Guo, Luqi |
Object Modeling to Re-Engineer Legacy Systems.  |
International Journal of Software Engineering and Knowledge Engineering  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nogueira, Luqi, Swapan Bhattacharya |
A Risk Assessment Model for Software Prototyping Projects. (PDF / PS)  |
IEEE International Workshop on Rapid System Prototyping  |
2000 |
DBLP DOI BibTeX RDF |
Prototyping, Software risk, Estimation models |
| 1 | Luqi, Valdis Berzins, Man-tak Shing, R. Riehle, J. Nogueira |
Evolutionary Computer Aided Prototyping System (CAPS).  |
TOOLS  |
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  |
2000 |
DBLP DOI BibTeX RDF |
Case-Based Reasoning Systems, Web-Based Training Systems, Distance Learning, Knowledge Base, Learning Environments, Intelligent Tutoring |
| 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 |
Interoperability with Distributed Objects through Java Wrapper. (PDF / PS)  |
COMPSAC  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya |
JAVA Wrappers for Automated Interoperability.  |
DNIS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi |
Engineering Automation for Computer Based Systems.  |
Electr. Notes Theor. Comput. Sci.  |
1999 |
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.  |
Electr. Notes Theor. Comput. Sci.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Manfred Broy |
Preface - Software Engineering to our Planning Horizon.  |
Electr. Notes Theor. Comput. Sci.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Du Zhang, Luqi |
Approximate declarative semantics for rule base anomalies.  |
Knowl.-Based Syst.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams |
Architectural Re-Engineering of Janus Using Object Modeling and Rapid Prototyping. (PDF / PS)  |
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 | 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, 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 | Luqi, Carl K. Chang, Hong Zhu |
Specifications in software prototyping.  |
Journal of Systems and Software  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Joseph A. Goguen |
Formal Methods: Promises And Problems.  |
IEEE Software  |
1997 |
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 |
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. (PDF / PS)  |
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 | Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins |
Software Component Search.  |
Journal of Systems Integration  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Man-tak Shing |
Real-Time Scheduling for Software Prototyping.  |
Journal of Systems Integration  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi |
Specifications in Software Prototyping.  |
SEKE  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Luqi, Daniel E. Cooke |
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software.  |
International Journal of Software Engineering and Knowledge Engineering  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Balasubramaniam Ramesh, Luqi |
An Intelligent Assistant for Requirements Validation.  |
Journal of Systems Integration  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Luqi |
Formal Methods and Social Context in Software Development.  |
TAPSOFT  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Valdis Berzins, Luqi, Man-tak Shing |
Computer Aided Prototyping System.  |
SEKE  |
1995 |
DBLP BibTeX RDF |
|
| 1 | David A. Dampier, Luqi, Valdis Berzins |
Automated merging of software prototypes.  |
Journal of Systems Integration  |
1994 |
DBLP DOI BibTeX RDF |
computer-aided prototyping, soltware engineering, change integration, cose tools, clicing, Software, automation, maintenance, formal models, software merging |
| 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 | 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 | Luqi |
Real-Time Constraints in a Rapid Prototyping Language.  |
Comput. Lang.  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Salah Badr, Luqi |
A Version and Configuration Model for Software Evolution.  |
SEKE  |
1993 |
DBLP BibTeX RDF |
|
| 1 | David A. Dampier, Luqi, Valdis Berzins |
Automated Merging of Software Prototypes.  |
SEKE  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Luqi |
Computer-Aided Prototyping for a Command-and-Control System Using CAPS.  |
IEEE Software  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Winston Royce |
Status Report: Computer-Aided Prototyping.  |
IEEE Software  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi |
The Role of Prototyping Languages in Case.  |
International Journal of Software Engineering and Knowledge Engineering  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer, Luqi |
Toward formal models of software engineering processes.  |
Journal of Systems and Software  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi |
Computer-Aided Software Prototyping.  |
IEEE Computer  |
1991 |
DBLP 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 Software  |
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.  |
IEEE Computer  |
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, Mohammad A. Ketabchi |
A Computer-Aided Prototyping System.  |
IEEE Software  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Valdis Berzins |
Rapidly Prototyping Real-Time Systems.  |
IEEE Software  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi |
Knowledge-Based Support for Rapid Software Prototyping.  |
IEEE Expert  |
1988 |
DBLP BibTeX RDF |
|
| 1 | Valdis Berzins, Luqi |
Semantics of a Real-Time Language.  |
IEEE Real-Time Systems Symposium  |
1988 |
DBLP BibTeX RDF |
|
| 1 | Luqi, Valdis Berzins |
Execution of a High Level Real-Time Language.  |
IEEE Real-Time Systems Symposium  |
1988 |
DBLP BibTeX RDF |
|