4007 search results - page 422 / 802 » Automotive Software Integration |
187
Voted
B
2007
Springer
16 years 1 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
158
Voted
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
168
Voted
ISOLA
2007
Springer
16 years 1 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
173
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
180
Voted
COMPSAC
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents an aspect-oriented approach to integrated elicitation of functional and security requirements based on use case-driven development. We identify security threat...