Sciweavers

9018 search results - page 261 / 1804
» 3D-Brain Model Software
Sort
View
IEE
2010
136views more  IEE 2010»
15 years 3 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
PE
2010
Springer
135views Optimization» more  PE 2010»
14 years 11 months ago
Performance evaluation of component-based software systems: A survey
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
Heiko Koziolek
SYNASC
2006
IEEE
105views Algorithms» more  SYNASC 2006»
15 years 10 months ago
A Meta-Model for Enterprise Applications
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
Cristina Marinescu, Ioan Jurca
UML
2005
Springer
15 years 10 months ago
From Requirements Documents to Feature Models for Aspect Oriented Product Line Implementation
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...
Neil Loughran, Américo Sampaio, Awais Rashi...
WICSA
2007
15 years 5 months ago
Architecture Assessment Model for System Evolution
1 Even though there has been some research on system evolution, there is no well defined vocabulary to indicate deviation of a system from desired goals. Further, there are no obje...
Sutirtha Bhattacharya, Dewayne E. Perry