Abstract | ||
---|---|---|
This report considers the problem of interpreting behavioural meanings from model-based specificationswritten in formal specification languages such as Z, VDM-SL or AMN. It contends thatcertain requirements -- such as the order in which operations are invoked, the origin, destination, andordering (together with the implied presence) of inputs and outputs -- significant in certain problemdomains, are difficult to express within the established approaches. In the light of this discussion we... |
Year | Venue | Keywords |
---|---|---|
1997 | INFORSID | ccs,formal methods,formal method |
DocType | Citations | PageRank |
Conference | 3 | 1.06 |
References | Authors | |
3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andy Galloway | 1 | 177 | 18.25 |
Bill Stoddart | 2 | 135 | 15.69 |