Abstract | ||
---|---|---|
. In this paper OBM, a method for developing concurrent systemsin a formal framework is described. The method arose from an industriallycollaborative project, and has been used, in various forms, to specify partsof operating systems, databases and retail systems.OBM allows a system to be gradually refined by levelled descriptions. Varyinggranularities of activities can be specified, Most importantly, OBM has aformal basis to enable refinement to be verified. In this paper, this... |
Year | DOI | Venue |
---|---|---|
1994 | 10.1007/3-540-58555-9_101 | FME |
Keywords | Field | DocType |
process modelling,concurrent formal framework,operating system | Software engineering,Computer science,Process modeling,Theoretical computer science,Temporal logic | Conference |
ISBN | Citations | PageRank |
3-540-58555-9 | 3 | 0.48 |
References | Authors | |
8 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
J. A. Keane | 1 | 96 | 7.33 |
Jin Sa | 2 | 12 | 2.98 |
Brian Warboys | 3 | 425 | 53.12 |