2832 search results - page 233 / 567 » Flexible Modelling for Requirements Engineering |
185
click to vote
WSC
2004
15 years 8 months ago
2004
Discrete event simulation modelling has been extensively used in modelling complex systems. Although it offers great conceptual-modelling flexibility, it is both computationally e...
219
click to vote
ICCBSS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...
216
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
209
click to vote
MOMPES
2008
IEEE
16 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...
201
click to vote
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...