7202 search results - page 233 / 1441 » Software System Engineering: A Tutorial |
190
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
155
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
This study examines the effect of individual differences on the program comprehension strategies of users working with an unfamiliar programming system. Participants of varying pr...
147
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
The recent proliferation of computing technology has brought added interest to natural I/O interface technologies such as speech recognition. Unfortunately, the computational and ...
148
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
169
click to vote
AVI
2004
15 years 8 months ago
2004
We present a group recommender system for vacations that helps group members who are not able to communicate synchronously to specify their preferences collaboratively and to arri...