335 search results - page 1 / 67 » Arguing safety with Problem Oriented Software Engineering |
HASE
2007
IEEE
14 years 3 days ago
2007
IEEE
FATES
2006
Springer
13 years 9 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
APSEC
2006
IEEE
13 years 7 months ago
2006
IEEE
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Software is developed for and in a vast number of contexts. Some software systems are small in size; some large. Some systems are developed by small teams; some large. Some projec...
COMPSAC
2008
IEEE
14 years 7 days ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...