3828 search results - page 67 / 766 » Proof-Based System Engineering Using a Virtual System Model |
138
click to vote
VRST
2009
ACM
15 years 9 months ago
2009
ACM
In Volume Rendering, it is difficult to simultaneously visualize interior and exterior structures. Several approaches have been developed to solve this problem, such as cut-away ...
143
click to vote
GI
2009
Springer
15 years 6 days ago
2009
Springer
: Changing business requirements such as providing new business services lead to an ongoing need for fast and flexible adaptation of the underlying information systems and infrastr...
122
click to vote
ASWEC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
112
click to vote
KBSE
2010
IEEE
15 years 26 days ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
126
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...