- Conference Session
- SE Tools and Techniques
- Collection
- 2011 ASEE Annual Conference & Exposition
- Authors
-
Robert W. Hasker, University of Wisconsin, Platteville; Mike Rowe, University of Wisconsin, Platteville
- Tagged Divisions
-
Software Engineering Constituent Committee
. Fowler. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley, 3rd edition, 2004. [7] R. France. A problem-oriented analysis of basic UML static requirements modeling concepts. In Proceedings of the 14th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, pages 57–69. ACM Press, 1999. [8] P. Gagnon, F. Mokhati, and M. Badri. Applying model checking to concurrent UML models. Journal of Object Technology, 7(1):59–84, Jan. 2008. [9] M. Genero, M. Piattini, and C. Calero. A survey of metrics for UML class diagrams. Journal of Object Technology, 4(9):61–92, 2005.[10] S. Johnson. Lint, a C program checker. Technical Report 65, Bell Laboratories, Dec. 1977.[11