695 search results - page 117 / 139 » Dynamic Software Architectures Verification using DynAlloy |
WCRE
2008
IEEE
14 years 1 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...
GPCE
2009
Springer
13 years 10 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
BMCBI
2005
13 years 7 months ago
2005
Background: Normal mode analysis (NMA) has become the method of choice to investigate the slowest motions in macromolecular systems. NMA is especially useful for large biomolecula...
ICCSA
2003
Springer
14 years 23 days ago
2003
Springer
The solution of large-scale, nonlinear PDE-based simulations typically depends on the performance of sparse linear solvers, which may be invoked at each nonlinear iteration. We pre...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...