СТ |
Colimits for Concurrent Collectors |
2003 |
Pavlovic D., Pepper P., Smith D. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
СТ |
An Architectural for Retrieval of RDF-Described Scientific Data Semantics |
2002 |
Soldar G., Smith D. |
|
|
|
Lecture Notes in Computer Science |
26.12.2002 |
СТ |
Using the Options Analysis for Reengineering (OAR) Method for Mining Components for a Product Line |
2002 |
Smith D., O Brien L., Bergey J. |
|
|
|
Lecture Notes in Computer Science |
30.08.2002 |
СТ |
A Static Study of Java Exceptions Using JESP |
2000 |
Ryder B. G., Smith D., Kremer U., Gordon M., Shah N. |
|
|
|
Lecture Notes in Computer Science |
22.04.2000 |
СТ |
Combining Quality and Software Improvement |
1997 |
Hollenbach C., Young R., Pflugrad A., Smith D. |
|
|
|
Communications of the ACM |
25.06.1997 |
СТ |
An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces |
1995 |
Carneiro-Coffin L.M. F., Cowan D. D., Lucena C. J., Smith D. |
|
|
|
Lecture Notes in Computer Science |
15.04.1995 |
СТ |
Toward the Partial Evaluation of CLP Languages |
1991 |
Hickey T., Smith D. |
|
|
|
SIGPLAN Notices |
26.10.1991 |
СТ |
Partial Evaluation of Pattern Matching in Constraint Logic Programming Languges |
1991 |
Smith D. |
|
|
|
SIGPLAN Notices |
26.10.1991 |
П |
Designing a Workstation-Based Conferencing System Using the Real-Time Producer/Consumer Paradigm |
1900 |
Jeffay K., Smith D. |
|
|
Univ.North Carolina at Chapel Hill |
|
15.10.1991 |
СТ |
Software Tools in Context |
1990 |
Smith D., Oman P. |
|
|
|
IEEE Software |
16.03.1991 |
СТ |
Improving the Front End of the Software-Development Process for Large-Scale Systems |
1990 |
Bergland G., Krader G., Smith D., Zislis P. |
|
|
|
AT&T Technical J. |
16.02.1991 |