|
СТ |
Matually Enhancing Test Generation and Specification Inference |
2004 |
Xie T., Notkin D. |
|
|
|
Lecture Notes in Computer Science |
11.03.2004 |
|
СТ |
Language Support for Connector Abstractions |
2003 |
Aldrich J., Sazawal V., Chanbers C., Notkin D. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
Architectural Reasoning in ArchJava |
2002 |
Aldrich J., Chambers C., Notkin D. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
|
СТ |
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications |
2000 |
Anderson R. J., Beame P., Chan W., Notkin D. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Abstractions for Portable, Scalable Parallel Programming |
1998 |
Alverson G. A., Griswold W. G., Lin C., Notkin D., Snyder L. |
|
|
|
IEEE Trans. on Parallel and Distributed Systems |
11.04.1998 |
|
СТ |
Reasoning about Implicit Invocation |
1998 |
Dingel J., Garlan D., Jha S., Notkin D. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements |
1998 |
Chan W., Anderson R. J., Beame P., Notkin D. |
|
|
|
Software Engineering Notes |
30.07.1998 |
|
СТ |
Evaluating the Mediator Method: Prism as a Case Study |
1996 |
Sullivan K. J., Kalet I. J., Notkin D. |
|
|
|
IEEE Trans. on Software Engineering |
07.12.1996 |
|
СТ |
Using C++ Templates to Implement Role-Based Designs |
1996 |
Vanhilst M., Notkin D. |
|
|
|
Lecture Notes in Computer Science |
27.03.1996 |
|
СТ |
Difficulties with Object-Oriented Frameworks |
1996 |
Murphy G. C., Notkin D. |
|
|
|
Lecture Notes in Computer Science |
10.07.1996 |
|
СТ |
Using Role Components to Implement Collaboration-Based Designs |
1996 |
Vanhilst M., Notkin D. |
|
|
|
SIGPLAN Notices |
20.02.1997 |
|
СТ |
Adding Implicit Invocation to Languages: Three Approaches |
1993 |
Notkin D., Garlan D., Griswold W. G., Sullivan K. |
|
|
|
Lecture Notes in Computer Science |
23.11.1993 |
|
СТ |
Automated Assistance for Program Restructuring |
1993 |
Griswold W. G., Notkin D. |
|
|
|
ACM Trans. Software Engineering and Methodology |
03.11.1993 |
|
СТ |
Reconciling Environment Integration and Software Evolution |
1992 |
Sullivan K. J., Notkin D. |
|
|
|
ACM Trans. Software Engineering and Methodology |
06.11.1992 |
|
СТ |
Computer-Aided vs. Manual Programm Restructing |
1992 |
Griswold W. G., Notkin D. |
|
|
|
Software Engineering Notes |
30.03.1992 |
