10159 search results - page 400 / 2032 » System Design Validation Using Formal Models |
169
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
164
click to vote
UIST
1993
ACM
15 years 8 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
142
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
135
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
114
click to vote
ISESE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper reports an evaluation the utility of ISO/IEC 9126. ISO/IEC 9126 is an international standard intended to ensure the quality of all software-intensive products including...