128 search results - page 7 / 26 » icse 2007 |
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Recent publications indicate the importance of software engineering in the computer science curriculum. In this paper, we present the final part of software engineering education ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The middleware market represents a sizable segment of the overall Information and Communication Technology market. In 2005, the annual middleware license revenue was reported by G...
ICSE
2007
IEEE-ACM
2007
IEEE-ACM
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
14 years 7 months ago
It is generally accepted that concurrency can be difficult for students to reason about and to manage. While some studies provide insight into the nature of these difficulties[6],...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...