Usability of semi-formal and formal methods integration : empirical assessments - Rozilawati Razali ([United Kingdom] : University of Southampton, 2008)
Thesis (Ph. D.) - University of Southampton, 2008
Keywords: University of Southampton -- Dissertations; Computer software -- Evaluation; UML (Computer science); Software engineering; Engineering -- Computer programs -- Evaluation; Dissertations, Academic -- United Kingdom