Baoming Song is an author at Government of Canada specializing in system software, software maintenance, and computer engineering.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2002–2002
1
1
A formal model for component-based software
P.T. Cox, Baoming Song · 2002 · 35 citations
Software Maintenance, Engineering, Visual Programming Language +21
Rows per page
1–1 of 1