Author:
Ernst George W,Hookway Raymond J,Menegay James A,Ogden William F
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A System for Predictable Component-Based Software Construction;The Kluwer International Series in Engineering and Computer Science;2001
2. Abstract Data Types;Wiley Encyclopedia of Electrical and Electronics Engineering;1999-12-27
3. A case study in software reuse;Software Quality Journal;1999
4. On the practical need for abstraction relations to verify abstract data type representations;IEEE Transactions on Software Engineering;1997-03
5. Impact of performance considerations on formal specification design;Formal Aspects of Computing;1996-11