8828 search results - page 336 / 1766 » Formal methods in practice |
199
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The importance of stochasticity in cellular processes having low number of molecules has resulted in the development of stochastic models such as chemical master equat...
167
click to vote
ICFCA
2004
Springer
16 years 4 days ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis ļ¬rst steps are done into the direction of a conceptual theory of ā...
146
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we introduce a dense time process algebraic formalism with support for speciļ¬cation of (shared) resource requirements and resource schedulers. The goal of this app...
207
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
168
click to vote
B
1998
Springer
15 years 11 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....