Вы здесь

Clarke L. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Compact Petri Net Representation and Its Implications for Analysis 1996 Dwyer M. B., Clarke L. A. IEEE Transactions on Software Engineering 15.03.1997
СТ A Flexible Architecture for Building Data Flow Analyzers 1996 Dwyer M. B., Clarke L. A. Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 19.06.1996
СТ An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs 1999 Naumovich G., Avrunin G. S., Clarke L. A. Lecture Notes in Computer Science 14.10.1999
СТ An Information Flow Model of Fault Detection 1993 Thompson M. C., Richardson D. J., Clarke L. A. Software Engineering Notes 29.09.1993
СТ Applying Static Analysis to Software Architectures 1997 Naumovich G., Avrunin G. S., Clarke L. A., Osterweil L. J. Lecture Notes in Computer Science 03.10.1997
СТ Continuous Self-Evaluation for the Self-Improvement of Software 2001 Osterweil L. J., Clarke L. A. Lecture Notes in Computer Science 04.04.2001
СТ Efficient Composite Data Flow Analysis Applied to Concurrent Programs 1998 Naumovich G., Clarke L. A., Osterweil L. J. SIGPLAN Notices 16.09.1998
СТ PLEIADES: An Object Management System for Software Engineering Environments 1993 Tarr P., Clarke L. A. Software Engineering Notes 12.04.1994
СТ Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification 1999 Naumovich G., Clarke L. A., Cobleigh J. M. Software Engineering Notes 02.11.1999
СТ Verifying Properties of Process Definitions 2000 Cobleigh J. M., Clarke L. A., Osterweil L. J. Software Engineering Notes 14.12.2000