16790 search results - page 54 / 3358 » A Future for Software Engineering |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Portraits in Practice invites companies with technically advanced software-engineering practices and intriguing research challenges to discuss them with the ICSE 2007 participants...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
COMPSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
The recent explosion in distance learning programs on the world-wide web has spawned a lively debate on the future and the potential of these programs. While distance learning wil...
ICSM
2006
IEEE
14 years 1 months ago
2006
IEEE
Understanding function signature change properties and evolution patterns is important for researchers concerned with alleviating signature change impacts, understanding software ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Software metrics as a subject area is over 30 years old, but it has barely penetrated into mainstream software engineering. A key reason for this is that most software metrics act...