10159 search results - page 446 / 2032 » System Design Validation Using Formal Models |
127
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Requirement engineering (RE) is emerging as an increasingly important discipline for supporting Web application development, as these are designed to satisfy diverse stakeholder n...
202
click to vote
EUROMICRO
2003
IEEE
15 years 10 months ago
2003
IEEE
One of the typical features of distributed systems is the heterogeneity of its components (e.g. geographical spreading and different platform architectures), leading to interopera...
128
click to vote
OOPSLA
1998
Springer
15 years 9 months ago
1998
Springer
Today, any large object-oriented software system is built using frameworks. Yet, designing frameworks and defining their interaction with clients remains a difficult task. A prima...
152
click to vote
JUCS
2008
15 years 4 months ago
2008
: In this article we explain how we apply the CIAM methodology based on the CIAN notation in order to generate user interfaces in collaborative applications. CIAM has been applied ...
112
click to vote
KIC
2000
15 years 6 months ago
2000
: We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of t...