{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:52:22Z","timestamp":1694623942314},"reference-count":11,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[1993,7,1]],"date-time":"1993-07-01T00:00:00Z","timestamp":741484800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1993,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>In this paper we consider the current practices involved in the storage of explosive articles and substances. In the spirit of Defence standard 00-55, we formalize the safety requirements of the ACS software which is used to manage certain MOD holdings in the United Kingdom using the specification language VDM. We also prove some properties of these safety requirements and comment on a similar OBJ3 specification.<\/jats:p>","DOI":"10.1007\/bf01212405","type":"journal-article","created":{"date-parts":[[2005,2,24]],"date-time":"2005-02-24T13:31:27Z","timestamp":1109251887000},"page":"299-336","source":"Crossref","is-referenced-by-count":9,"title":["The formal specification of safety requirements for storing explosives"],"prefix":"10.1145","volume":"5","author":[{"given":"Paul","family":"Mukherjee","sequence":"first","affiliation":[{"name":"Department of Computer Science, Royal Holloway and Bedford New College, TW20 0EX, Egham, Surrey, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victoria","family":"Stavridou","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Royal Holloway and Bedford New College, TW20 0EX, Egham, Surrey, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Andrews D.: VDM Specification Language Proto-Standard. Draft Standard ISO\/IEC JTC1\/SC22\/WG19 ISO 1992. Document Reference IN9."},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1987.0013"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Dawes J.: The VDM-SL Reference Guide . Pitman 1991.","DOI":"10.1201\/9781482267419"},{"key":"e_1_2_1_2_4_2","unstructured":"Froome P.K.D.: Spec Box . Adelard Software 1990."},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/1006258.1006273"},{"key":"e_1_2_1_2_6_2","unstructured":"Goguen J.A. and Winkler T.: Introducing OBJ3. Technical Report SRI-CSL-88-9 SRI International August 1988."},{"key":"e_1_2_1_2_7_2","volume-title":"Major hazard aspects of the transport of dangerous substances.","author":"Health and Safety Commission Advisory Committee on Dangerous Substances","year":"1991"},{"key":"e_1_2_1_2_8_2","unstructured":"MOD. The Procurement of Safety Critical Software In Defence Equipment. Interim Standard 00-55 Issue 1 Ministry of Defence Directorate of Standardization Kentigern House 65 Brown Street Glasgow G2 8EX 1991."},{"key":"e_1_2_1_2_9_2","volume-title":"Technical Monograph PRG-78","author":"Morgan C.C.","year":"1989"},{"key":"e_1_2_1_2_10_2","unstructured":"Mukherjee P. and Stavridou V.: The Formal Specification of Safety Requirements for the Storage of Explosives. Technical report DITC 185\/91 National Physical Laboratory 1991."},{"key":"e_1_2_1_2_11_2","volume-title":"Recommendations on the Transport of Dangerous Goods.","author":"Committee of Experts on the Transport of Dangerous Goods","year":"1988","edition":"5"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01212405.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01212405\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01212405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:19:30Z","timestamp":1641482370000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01212405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,7]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,7]]}},"alternative-id":["10.1007\/BF01212405"],"URL":"https:\/\/doi.org\/10.1007\/bf01212405","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,7]]}}}