R.B. France is an author at Colorado State University specializing in computer science, software analysis, and software design.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceSoftware AnalysisSoftware EngineeringAutomated ReasoningFormal VerificationDesignSemantic Web
Publications per year
1992–2006
4
4
A UML-based pattern specification technique
R.B. France, Dae‐Kyoo Kim, Sudipto Ghosh et al. · IEEE Transactions on Software Engineering · 2004 · 271 citations
Engineering, Architectural Pattern, Software Engineering +17
Model-Driven Development Using UML 2.0: Promises and Pitfalls
R.B. France, Sudipto Ghosh, T. Dinh-Trong et al. · Computer · 2006 · 193 citations
Software Maintenance, Engineering, Object-oriented Modeling +21
Towards a formalization of UML class structures in Z
M. Shroff, R.B. France · 2002 · 86 citations
Engineering, Object-oriented Modeling, Software Engineering +19
Rows per page
1–4 of 4