Author:
Rodano Matthew,Giammarco Kristin
Reference25 articles.
1. Allen, R., and D. Garlan. “A Formal Basis for Architectural Connection.” ACM Transactions on Software Engineering and Methodology (TOSEM) 6.3 (1997): pp. 213-49.
2. Auguston, M., Whitcomb, C., “Behavior Models and Composition for Software and Systems Architecture,” Proceedings of the 24th. ICSSEA Conference, Paris, France, (2012).
3. Berry, D.M. “Formal Methods: The very Idea: Some Thoughts about Why they Work when they Work.” Science of Computer Programming 42.1 (2002): pp. 11-27.
4. Bowen, J.P., and M. G. Hinchey. “Seven More Myths of Formal Methods.” IEEE Software 12.4 (1995): pp. 34-41.
5. No Silver Bullet: Essence and Accidents of Software Engineering;Brooks;IEEE Computer,1987
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献