Karine Arnout is an author at ETH Zurich specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSoftware EngineeringDesignSoftware DesignFormal VerificationSoftware Maintenance
Publications per year
2002–2006
5
5
Componentization: The Visitor Example
Bertrand Meyer, Karine Arnout · Computer · 2006 · 51 citations
Software Maintenance, Engineering, Architectural Pattern +24
Type-safe covariance: Competent compilers can catch all catcalls
Mark Howard, Éric Bezault, Bertrand Meyer et al. · 2003 · 10 citations
Rows per page
1–5 of 5