B. J. Hagan is an author at University of Ulster specializing in formal specification, software engineering, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisSystem ArchitectureSystems EngineeringFormal Specification
Publications per year
1991–1991
1
1
Rows per page
1–1 of 1