Fine grained data management to achieve evolution resilience in a software development environment
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Building distributed Ada applications from specifications and functional components
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Automatic abstraction of real-time software and re-implementation in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Building integrated software development environments. Part I: tool specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
SIGDOC '93 Proceedings of the 11th annual international conference on Systems documentation
Implementing internal program representations with Ada and Ada 9X
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Issues in the full scale use of formal methods for automated testing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Component contracts in eclipse - a case study
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
| Hi-index | 0.00 |