2488 search results - page 100 / 498 » An improvement in formal verification |
126
click to vote
SAC
2008
ACM
15 years 6 days ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
93
Voted
SIGSOFT
2001
ACM
16 years 1 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...
129
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
104
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
125
click to vote
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...