Items where Author is "Azman Bujang, Masli"

Azman Bujang, Masli and Edwin, Mit and Nurfauza, Jali and Yanti Rosmunie, Bujang (2015) Refinement in integrated specifications of CSP-OZ. 2015 4th International Conference on Software Engineering and Computer Systems, ICSECS 2015: Virtuous Software Solutions for Big Data. pp. 136-141. ISSN ISBN: 978-146736722-

Abdul Rahman, Mat and M.A., Khairuddin and Azman Bujang, Masli and Mohamad Nazim, Jambli and Edwin, Mit (2012) Applying SOFL to construct requirements specification for examination monitoring system. IEEE 3rd International Conference on Software Engineering and Service Science (ICSESS), 2012. ISSN ISBN: 978-1-4673-2008-5

Azman Bujang, Masli and Abdul Rahman, Mat and Suriati Khartini, Jali and Noor Hazlini, Borhan (2012) Temporal Property Preservation Under Z Refinement in CSP-OZ Specifications. International Conference on Computer & Information Science (ICCIS), 2012. ISSN ISBN: 978-1-4673-1938-6