4799 search results - page 23 / 960 » Model Based Requirements Engineering for Embedded Software |
EUROMICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
KI
2008
Springer
13 years 7 months ago
2008
Springer
Requirements engineering is a central part of software projects. It is assumed that two third of all errors in software projects are caused by forgotten requirements or mutual misu...
ESEC
1999
Springer
13 years 11 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
MOMPES
2008
IEEE
14 years 1 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...