335 search results - page 1 / 67 » Arguing safety with Problem Oriented Software Engineering |
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
FATES
2006
Springer
13 years 8 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 6 months ago
2006
IEEE
SIGSOFT
2010
ACM
13 years 2 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
13 years 11 months 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 ...