M. A. Finnie is an author at IBM (United States) specializing in program analysis, formal methods, and system software.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware Engineering
Publications per year
1996–1996
1
1
Automatic code generation from design patterns
Frank Budinsky, M. A. Finnie, John Vlissides et al. · IBM Systems Journal · 1996 · 277 citations
Engineering, Object-oriented Modeling, Architectural Pattern +18
Rows per page
1–1 of 1