This is my web page

Chris Meudec's Page

Welcome to my home page; hope you like the single page design.

I mostly teach software engineering at various levels at IT Carlow, I am also interested in many other things including in research in static (and maybe dynamic too) software code analysis, in designing, developing and using novel teaching technologies, in early startups, in reading and, recently, in running.

Back to Top


Software Engineering for Games I - Year 2

How to use traditional software enginering practices in the games development sector? We explore how to be more effective, communicate more clearly, document and design software games within an agile process.

This module lasts 28 weeks with 4 contact hours per week.

Software Engineering for Web, Cloud and Mobile Apps - Year 3

In the fast paced area of software development for Web, Cloud and Mobile platforms, specific techniques must be applied as well as a specific software process strongly tied to the overall product development.

This module lasts 21 weeks with 4 contact hours per week.

Software Engineering II - Year 4

For some applications, precision during development is important: how can we develop dependable applications? What lays beyond traditional software modeling? Verification? Static Analysis?

This module is delivered over 28 weeks and includes 3 hours of contact per week

Software Project / Work Placement - Year 3

A supervised software project of your choice, alone or as a pair, or a work placement depending on what suits the student.

The project lasts 10 weeks full time, the work placement normally lasts 4 months

Software Project - Year 4

Research, Analyse, Design, Implement and Test your own software product for your platform of choice with a supervisor.

All project lasts 28 weeks.

Systems Analysis and Testing - Higher Diploma

An introduction to software engineering via processes, modeling and testing. Do you thing software is just another product?

This module is delivered over 12 weeks and includes 4 hours of contact per week

3rd Year Software Development Projects

We have had many good projects over the years in our 3rd year software development course. Have a look at our show case page.

A Lean Reference Guide to the UML

This is my version (Google Doc Version or Web version) of a lean reference and agile usage guide of the UML.

Back to Top


The PTC Solver

Over the years I have developed a constraints solver for software code analysis. I used it as part of my research into automatic test data generation from Ada, C and Java Bytecode. Feel free to take a look.

Teaching and Learning

I have a strong interest in teaching and learning research and have developed over several years a Blended Collaborative Cloud Learning approach to teaching. A couple of short presentations illustrate the rationale and present some research findings. My masters thesis offers a much more comprehensive overview.

Symbolic Execution

I have an old penchant for symbolic execution due to its amazing potential for code analysis: it has an aesthetic that appeals to my Cartesian mind. It also, of course, ties up with my work on constraints solving. A brief introduction to symbolic execution.


Past publications, reports etc. things with my name on them basically. It includes what I consider my best paper so far: "Automatic Test Data Generation from Embedded C Code" published at the 23rd International Conference on Computer Safety, Reliability and Security.

PhD Thesis

My PhD thesis, undertaken at the Queen's University of Belfast, was about trying to generate test cases from formal specifications, a rather novel idea at the time. I have written a brief introduction which mentions recent developments and contains a pdf of the full thesis. The title of the thesis is "Automatic Generation of Software Test Cases From Formal Specifications".

Worse Case Execution Time

Estimating the Worse Case Execution Time (WCET) of a computation task is an interesting research area in real-time systems. A variety of approaches combining mathematical analysis, symbolic execution, constraints solving, Artificial Intelligence evolutionary search algorithms may be used. My brief introduction to Worse Case Execution Time determination, mentioning my work on C and Ada programs, should get you started. The need for low level considerations (right down to machine code!) make this an unusual, and refreshing, area of moderm software engineering research.

Future Research

I'll keep you posted! But at the moment I am developing a powerful (more powerful than my previous one as it includes MC/DC test data generation, automatic test driver generation and handles a larger subset of Ada) test data generation tool for Ada. In the future I hope to collaborate with others on similar tools targeted at C or Java programmers.

Back to Top


My People Care

I, along with a couple of previous students, have launched a service for the tracking of your private medical data in a secure cloud that you can access from anywhere. My People Care is currenty available on Android Smartphone for free on Google's Play Store. Have a look at a typical user story and short video summary of the service.

Rock Diary

I have completed a few MOOC Coursera courses, here are my notes on the history of rock part one.

Back to Top

Get in touch.

Hey this is just for fun and is mindblowingly complicated to render.

Don't miss the real beast with dynamic smoke and sound: click on the image above—for the sound further click on speaker icon in top right...

The real thing was created by Tim Pietrusky


Back to Top