Browsing by Author "Bowen, J. P."
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Embargo Formality, Agility, Security and Evolution in Software Development(IEEE, 2014-10) Bowen, J. P.; Hinchey, Mike; Janicke, Helge; Ward, Martin; Zedan, HusseinCombining formal and agile techniques in software development has the potential to minimize change-related problems.Item Metadata only Using formal specifications to support testing.(ACM, 2009) Hierons, R. M.; Bogdanov, K.; Bowen, J. P.; Cleaveland, R.; Derrick, J.; Dick, J.; Gheorghe, M.; Harman, M.; Kapoor, K.; Krause, P.; Luttgen, G.; Simons, A. J. H.; Vilkomir, S.; Woodward, M. R.; Zedan, Hussein