168 search results - page 20 / 34 » Towards validated real-time software |
132
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To identify under which circums...
154
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, the authors propose and validate a methodology for the development of integrated Information Technology (IT) infrastructures. The motivation for putting forward a n...
125
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
123
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
108
click to vote
CSMR
2009
IEEE
15 years 10 months ago
2009
IEEE
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...