|
СТ |
Enhancements - Enabling Flexible Feature and Implementation Selection |
2004 |
Hunt J. M., Sitaraman M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
04.09.2004 |
|
СТ |
A Data Abstraction Alternative to Data Structure/Algorithm Modularization |
2000 |
Sitaraman M., Weide B. W., Long T. J., Ogden W. F. |
|
|
|
Lecture Notes in Computer Science |
10.12.2000 |
|
СТ |
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations |
1997 |
Sitaraman M., Weide B. W., Ogden W. F. |
|
|
|
IEEE Trans. on Software Engineering |
12.07.1997 |
