10159 search results - page 156 / 2032 » System Design Validation Using Formal Models |
162
Voted
NSPW
1998
ACM
15 years 6 months ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
122
click to vote
DLOG
2003
15 years 3 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
102
click to vote
PDPTA
2003
15 years 3 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
99
Voted
IUI
2004
ACM
15 years 7 months ago
2004
ACM
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
104
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...