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...
Architectural design decisions are commonly agreed as one of the main elements that constitute architectural knowledge. To avoid knowledge vaporization, architectural decisions an...
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...