524 search results - page 77 / 105 » Debugging Models in the Context of Automotive Software Devel... |
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
APSEC
2008
IEEE
15 years 4 months ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
FM
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
IUI
2004
ACM
15 years 3 months ago
2004
ACM
Re-engineering transforms a final user interface into a logical representation that is manipulable enough to allow forward engineering to port a UI from one computing platform to ...
ER
2006
Springer
15 years 1 months ago
2006
Springer
Though new technological trends and paradigms arise for developing complex software systems, systematic reuse continues to be an elusive goal. In this context, the adoption of Comm...