Faculty of Engineering, Built Environment and Information Technology
School of Information Technology
Department of Computer Science
Software Science and Formal Methods - Research Output
Research articles in refereed specialist journals:
Gruner S: 2011. Problems for a Philosophy of Software Engineering. Minds and Machines, 21, pp 275-299.
Gruner S, Van Zyl J: 2011. Software Testing in Small IT Companies: A (not only) South African Problem. South African Computer Journal, 47 / Jul, pp 7-32, Full Text
Papers in refereed, published conference proceedings:
Paar A, Vrandecic D: 2011. Zhi# - OWL Aware Compilation. In 8th Extended Semantic Web Conference, ESWC 2011 Proceedings, Part II: The Semantic Web: Research and Applications, (1), Springer, pp 315-329.
Paar A, Gruner S: 2011. Static Typing with Value Space-based Subtyping. In Proceedings of the 2011 Annual Conference of the South African Institute of Computer Science and Information Technologists (SAICSIT 2011), (2), ACM, pp 177-186.
Solms F, Edwards C, Paar A, Gruner S: 2011. A Domain-Specific Language for URDAD Based Requirements Elicitation. In Proceedings of the 2011 Annual Conference of the South African Institute of Computer Science and Information Technologists (SAICSIT 2011), (3), ACM, pp 224-230.
Ahmad M, Rahman N, Gruner S: 2011. A Phonetic Approach to Handling Spelling Variations in Medieval Documents. In Proceedings of the 2011 Annual Conference of the South African Institute of Computer Science and Information Technologists (SAICSIT 2011), (4), ACM, pp 263-266.
Solms F, Gruner S, Edwards C: 2011. URDAD as a Quality-Driven Analysis and Design Process. In Proceedings of the Tenth SoMeT_11: New Trends in Software Methodologies, Tools and Techniques, (1), The authors and IOS Press, pp 141-157.
Cappiello C, Daniel F, Koschmider A, Matera M: 2011. A Quality Model for Mashups. In Web Engineering 11th International Conference, ICWE 2011 Proceedings, (1), Springer, pp 137-151.
|
