3828 search results - page 422 / 766 » Proof-Based System Engineering Using a Virtual System Model |
175
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
162
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
189
click to vote
WECWIS
2005
IEEE
16 years 11 days ago
2005
IEEE
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...
166
Voted
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
159
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Previous systems have explored the challenges of designing an interface for automotive styling which combine the metaphor of 2D drawing using physical tape with the simultaneous c...