Luqi

According to our database1, Luqi authored at least 95 papers between 1987 and 2010.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2010
Testing Adaptive Probabilistic Software Components in Cyber Systems.
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

2008
Software Component Repositories.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Rapid Prototyping.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Formal Reasoning about Software Object Translations.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

2007
Intranet model and metrics.
Commun. ACM, 2007

Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Innovations in Natural Language Document Processing for Requirements Engineering.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Advanced Interface for Examining and Upgrading Complex Systems.
Proceedings of the 2007 International Conference on Internet Computing, 2007

2006
An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems.
I. J. Comput. Appl., 2006

Reliability Properties of Models for Flexible Design and Run-Time Analysis.
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.
Proceedings of the Active Conceptual Modeling of Learning, 2006

2005
Intranet Portal Model and Metrics: A Strategic Management Perspective.
IT Professional, 2005

Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN).
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

FCD: A Framework for Compositional Development in Open Embedded Systems.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

2004
Documentation Driven Development for Complex Real-Time Systems.
IEEE Trans. Software Eng., 2004

Requirements-document-based prototyping of CARA software.
STTT, 2004

Rapid system prototyping.
Journal of Systems and Software, 2004

The Dynamical Models For Software Technology Transition.
International Journal of Software Engineering and Knowledge Engineering, 2004

Admission Control for Dynamic Software Reconfiguration in Systems of Embedded Systems.
Proceedings of the International Conference on Embedded Systems and Applications, 2004

Design Automation Method for Software Development in Complex Embedded Systems.
Proceedings of the 19th International Conference on Computers and Their Applications, 2004

2003
Quantifiable architecting of dependable systems of embedded systems.
ACM SIGSOFT Software Engineering Notes, 2003

Evaluation of Middleware Architectures in Achieving System Interoperability.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Comparative Rapid Prototyping, A Case Study.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Synthesizing Approach for Perspective-Based Architecture Design.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Quantifiable Software Architecture for Dependable Systems of Systems.
Proceedings of the Architecting Dependable Systems II, 2003

A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities.
Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, 2003

Software Documentation-Driven Manufacturin.
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.
IEEE Trans. Software Eng., 2002

Software engineering beyond our planning horizon: automation for computer-based systems.
Sci. Comput. Program., 2002

Automated prototyping tool-kit (APT).
Inf. Sci., 2002

Optimizing systems by work schedules: (a stochastic approach).
Proceedings of the Third International Workshop on Software and Performance, 2002

Using an object oriented model for resolving representational differences between heterogeneous systems.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

A Computational Model for Complex Systems of Embedded Systems.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001
DCAPS - Architecture for Distributed Computer Aided Prototyping System.
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

2000
Object Modeling to Re-Engineer Legacy Systems.
International Journal of Software Engineering and Knowledge Engineering, 2000

Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping.
Design Autom. for Emb. Sys., 2000

Software Reuse Technology Practices and Assessment Tool-Kit.
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).
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.
Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), 2000

A Survey of Software Reuse Repositories.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

JAVA Wrappers for Automated Interoperability.
Proceedings of the Databases in Networked Information Systems, 2000

Interoperability with Distributed Objects through Java Wrapper.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999
Approximate declarative semantics for rule base anomalies.
Knowl.-Based Syst., 1999

The Story of Re-engineering 350,000 Lines of FORTRAN Code.
Electr. Notes Theor. Comput. Sci., 1999

Preface - Software Engineering to our Planning Horizon.
Electr. Notes Theor. Comput. Sci., 1999

Engineering Automation for Computer Based Systems.
Electr. Notes Theor. Comput. Sci., 1999

Architectural Re-Engineering of Janus Using Object Modeling and Rapid Prototyping.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

Toward Automated Retrieval for a Software Component Repository.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Software Evolution via Reusable Architecture.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1998
Specifications in software prototyping.
Journal of Systems and Software, 1998

1997
Formal Methods: Promises And Problems.
IEEE Software, 1997

Logic Programming and Software Maintenance.
Ann. Math. Artif. Intell., 1997

Formal Methods and Prototyping.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Gathering Requirements from Remote Users.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

1996
Real-Time Scheduling for Software Prototyping.
Journal of Systems Integration, 1996

Software Component Search.
Journal of Systems Integration, 1996

Specifications in Software Prototyping.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995
An Intelligent Assistant for Requirements Validation.
Journal of Systems Integration, 1995

How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software.
International Journal of Software Engineering and Knowledge Engineering, 1995

Formal Methods and Social Context in Software Development.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Computer Aided Prototyping System.
Proceedings of the SEKE'95, 1995

1994
Automated merging of software prototypes.
Journal of Systems Integration, 1994

Suggestions for progress in software analysis, synthesis and certification.
Proceedings of the SEKE'94, 1994

Automation support for concurrent software engineering.
Proceedings of the SEKE'94, 1994

Constructing an automated testing oracle: an effort to produce reliable software.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1993
Compositional Semantics of a Real-Time Prototyping Language.
IEEE Trans. Software Eng., 1993

Using Transformations in Specification-Based Prototyping.
IEEE Trans. Software Eng., 1993

Guest Editors' Introduction: Advancing Europe's Fortunes.
IEEE Software, 1993

Real-Time Constraints in a Rapid Prototyping Language.
Comput. Lang., 1993

Automated Merging of Software Prototypes.
Proceedings of the SEKE'93, 1993

A Version and Configuration Model for Software Evolution.
Proceedings of the SEKE'93, 1993

Real-time scheduling for software prototyping.
Proceedings of the Fourth International Workshop on Rapid System Prototyping, 1993

Process knowledge based rapid prototyping for requirements engineering.
Proceedings of IEEE International Symposium on Requirements Engineering, 1993

I never knew my requirements were object-oriented until I talked to my analyst.
Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Formal support for software maintenance.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
Status Report: Computer-Aided Prototyping.
IEEE Software, 1992

Computer-Aided Prototyping for a Command-and-Control System Using CAPS.
IEEE Software, 1992

Computer aided system prototyping.
Proceedings of the Third International Workshop on Rapid System Prototyping, 1992

The management of uncertainty in software development.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991
Toward formal models of software engineering processes.
Journal of Systems and Software, 1991

The Role of Prototyping Languages in Case.
International Journal of Software Engineering and Knowledge Engineering, 1991

Computer-Aided Software Prototyping.
IEEE Computer, 1991

Software engineering with abstractions.
Addison-Wesley, ISBN: 978-0-201-08004-9, 1991

1990
A Graph Model for Software Evolution.
IEEE Trans. Software Eng., 1990

An Introduction to the Specification Language Spec.
IEEE Software, 1990

Automated Prototyping and Data Translation.
Data Knowl. Eng., 1990

1989
Software Evolution Through Rapid Prototyping.
IEEE Computer, 1989

Interactive control of prototyping process.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988
A Prototyping Language for Real-Time Software.
IEEE Trans. Software Eng., 1988

A Computer-Aided Prototyping System.
IEEE Software, 1988

Rapidly Prototyping Real-Time Systems.
IEEE Software, 1988

Knowledge-Based Support for Rapid Software Prototyping.
IEEE Expert, 1988

Execution of a High Level Real-Time Language.
Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

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

1987
Normalized specifications for identifying reusable software.
Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987


  Loading...