4036 search results - page 139 / 808 » Formal Methods |
132
Voted
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
133
Voted
USAB
2007
15 years 6 months ago
2007
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...
198
click to vote
NSPW
1998
ACM
15 years 9 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...
149
click to vote
ICFCA
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents Binary Decision Diagrams (BDDs) applied to Formal Concept Analysis (FCA). The aim is to increase the FCA capability to handle large formal contexts. The main id...
160
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...