Research Group for SOFTWARE SCIENCE and FORMAL METHODS

Academic Year 2013: M & D Research Project Students and their Topics

• Working towards the Ph.D. Degree (Computer Science)
  • AHMAD, M.: Software Support for the Digital Humanities
  • EDWARDS, C.: Techniques and Tools for Software Model Transformation
  • GARBA, Y.: Software Engineering for Wireless Sensor Networks
  • KAZEM, A.: Model-based Testing - Formal Methods for Testing
  • KROEZE, J.: Computer Science Methodology
  • SOLMS, F.: Formalisation of the URDAD Software Design Technique
• Working towards the M.Sc. Degree (Computer Science)
  • CRAWFORD, D.: A High-Level Language for Sensor Network Programming
  • ESPAG, J.: Deadlock-Freeness Proofs for Systolic Networks
  • NYONI, B.: Tool Support for Service-Oriented Software Re-Engineering
  • le ROY, C.: Toward a welldefined Process for Software Re-Architecting
• Working towards the M.IT. Degree (Information Technology)
  • HATTINGH, J.: A PIM-to-PSM Transformation Tool for URDAD in .Net [DEMO]
  • HEYNS, J.: Test-Case Generation from Specifications in URDAD
  • JIVAN, E.: Formalisation of UML Use Case Specifications
  • de KOCK, P.: Documentation- and View Generation in URDAD
• Working towards the M.Eng. Degree (Computer Engineering)
  • STEYN, T.: A new CSP Operator for Optional Parallelism in WSN

SSFM's Recent Publications

• Original Works
• Edited Volumes

SSFM's Recent Cooperations and Partnerships

• SOLMS Training Consulting and Development: Model-Driven Software Engineering
• Formal Methods Europe: Logic-Based Semantics for UML Use Case Specifications
• Geihs, Kurt: Model-Driven Software Engineering for Wireless Sensor Networks
• Hancke, Gerhard: UP Department of Electronics and Computer Engineering
• Mosbah, Mohamed: Graph-Transformation Models of Distributed Algorithms
• National Research Foundation: financial support for some of our projects
• Vogeler, Georg: Software Tools for the Digital Humanities

Moreover we support:

SSFM Home