335 search results - page 37 / 67 » Arguing safety with Problem Oriented Software Engineering |
150
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
121
Voted
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes our experiences of applying dynamic analysis solutions on an industrial legacy application written in C, with the help of Aspect Orientation (AO). We use a nu...
151
click to vote
ECOOPW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
120
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
235
click to vote
UIST
1991
ACM
15 years 7 months ago
1991
ACM
The Polhemus Isotrak is often used as an orientation and position tracking device in virtual reality environments. When it is used to dynamically determine the user's viewpoi...