4799 search results - page 65 / 960 » Model Based Requirements Engineering for Embedded Software |
ECSA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
SELMAS
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we examine the Multiagent Systems Engineering (MaSE) methodology and its applicability to developing organization-based multiagent systems, which are especially rele...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...