Concepedia

Jeffrey E. Smith

JE

2

Publications

42

Citations

2

H-Index

2001

Active since

Jeffrey E. Smith is an author specializing in program analysis, software engineering, and software analysis.

Top concepts

EngineeringSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisSystems EngineeringSoftware EngineeringVerificationFormal MethodsSystem Software

Publications per year

2001–2007

2

Publications

2

Proceedings of the 11th IASTED International Conference on Software Engineering and Applications

Jeffrey E. Smith · International Conference on Software Engineering · 2007 · 30 citations

Automated Software Engineering, Empirical Software Engineering Research, Engineering +12

Formal Verification of UML Diagrams: A First Step Towards Code Generation

Jeffrey E. Smith, Mieczyslaw K. Kokar, Kenneth Bacławski · 2001 · 12 citations

Engineering, Verification, Uml Diagrams +17

Rows per page

1–2 of 2