|
СТ |
A Generative Approach to Aspect-Oriented Programming |
2004 |
Smith D. R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
01.12.2004 |
|
СТ |
Software Development by Refinement |
2003 |
Pavlovic D., Smith D. R. |
|
|
|
Lecture Notes in Computer Science |
25.12.2003 |
|
М |
On the Design of Generate-and-Test Algorithms: Subspace Generators |
1986 |
Smith D. R. |
|
|
|
IFIP: TC 2, Working Conf. on Program Specification and Transformation |
09.12.1999 |
|
СТ |
Automating the Design of Algorithms |
1993 |
Smith D. R. |
|
|
|
Lecture Notes in Computer Science |
08.02.1994 |
