Author:
Hou Daqing,Hoover H. James,Stroulia Eleni
Publisher
Springer International Publishing
Reference19 articles.
1. R. Anderson, P. Beame, S. Burns, W. Chan, F. Modugno, D. Notkin, and J. Reese. Model Checking Large Software Specifications, Software Engineering Notes, 21(6):156–166, November 1996.
2. J. Atlee, J. Gannon. State-based Model Checking of Event-driven System Requirements, IEEE Transactions on Software Engineering, 19(1):24–40, June 1993.
3. A. Birrer, T. Eggenschwiler. Frameworks in the Financial Engineering Domain: An Experience Report, Proceedings of ECOOP 93, 1993.
4. J. Bosch, P. Molin, M. Mattsson and P. Bengtsson. Obstacles in Object-Oriented Framework-based Software Development, ACM Computing Surveys Symposia on Object-Oriented Application Frameworks, 1998.
5. P. DiLascia. Meandering Through the Maze of MFC Message and Command Routing, Microsoft System Journal, July 1995. Available at http://www.microsoft.com/msj/0795/dilascia/dilascia.htm
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献