Parallel Algorithms for Adaptive Quadrature. III. Program Correctness
ACM Transactions on Mathematical Software (TOMS)
Communications of the ACM
Macro instruction extensions of compiler languages
Communications of the ACM
Software Tools
Automatic transformation of series expressions into loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
PDAS: An assistant for detailed design and implementation of programs
ICSE '84 Proceedings of the 7th international conference on Software engineering
Hi-index | 0.00 |
An empirical study to identify standardizable small-scale software components from existing source code is described. The rationale for such an effort is presented, followed by a description of the specific study performed by the author. Component identification methods are presented along with preliminary findings. Future identification efforts and possible notational schemes are also discussed.