This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
This paper presents an educational method used to improve teaching of tedious topics in software engineering courses that can be difficult for students to comprehend without any r...
Many software engineering projects use open source software tools or components. The project team's active participation in the open source community may be necessary for the...
The purpose of this paper is two fold. Firstly, to inform the Australian software engineering community of the European Fifth Framework research structure and the involvement of a...
Software engineering is no longer the preserve of individuals but is essentially a team-based activity involving a wide variety of stakeholders and thus making the need for commun...