{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:11Z","timestamp":1772163971101,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:00:00Z","timestamp":1131840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,11,13]]},"DOI":"10.1145\/1103846.1103848","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"11-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling SPARK systems with UML"],"prefix":"10.1145","author":[{"given":"Xavier","family":"Sautejeau","sequence":"first","affiliation":[{"name":"Sodius, Cedex, France"}]}],"member":"320","published-online":{"date-parts":[[2005,11,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The SPARK Approach to Safety and Security","author":"Barnes J.","year":"2003","unstructured":"Barnes , J. , High Integrity Software , The SPARK Approach to Safety and Security , Addison Wesley , April 2003 Barnes, J., High Integrity Software, The SPARK Approach to Safety and Security, Addison Wesley, April 2003"},{"key":"e_1_3_2_1_2_1","unstructured":"OMG Unified Modeling Language Specification Version 1.5 OMG Document formal \/2003-03-01  OMG Unified Modeling Language Specification Version 1.5 OMG Document formal \/2003-03-01"},{"key":"e_1_3_2_1_3_1","volume-title":"CrossTalk Journal","author":"Amey P.","year":"2002","unstructured":"Amey , P. , Correctness by Construction : Better Can Also Be Cheaper , CrossTalk Journal , March 2002 . Amey, P., Correctness by Construction: Better Can Also Be Cheaper, CrossTalk Journal, March 2002."},{"key":"e_1_3_2_1_4_1","volume-title":"ECMA TR\/55 Reference Model For Frameworks Of Software Engineering Environments.","year":"1993","unstructured":"ECMA TR\/55 Reference Model For Frameworks Of Software Engineering Environments. 3 rd Edition, June 1993 ECMA TR\/55 Reference Model For Frameworks Of Software Engineering Environments. 3rd Edition, June 1993","edition":"3"},{"key":"e_1_3_2_1_5_1","first-page":"1999","author":"Amey P","year":"2003","unstructured":"Amey , P , The INFORMED Design Method for SPARK. Praxis Critical Systems 1999 , 2003 . Amey, P, The INFORMED Design Method for SPARK. Praxis Critical Systems 1999, 2003.","journal-title":"The INFORMED Design Method for SPARK. Praxis Critical Systems"},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science 3063","volume-title":"High-Integrity Ada in a UML and C World","author":"Amey P.","year":"2004","unstructured":"Amey , P. , White , N. , High-Integrity Ada in a UML and C World . Lecture Notes in Computer Science 3063 . A Llamosi and A.Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference, Palma de Mallorca, Spain , June 2004, 225--236 Amey, P., White, N., High-Integrity Ada in a UML and C World. Lecture Notes in Computer Science 3063. A Llamosi and A.Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference, Palma de Mallorca, Spain, June 2004, 225--236"}],"event":{"name":"SIGAda '05: ACM SIGAda Annual International Conference","location":"Atlanta GA USA","acronym":"SIGAda '05","sponsor":["ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103848","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1103846.1103848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:48:54Z","timestamp":1750272534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,13]]},"references-count":6,"alternative-id":["10.1145\/1103846.1103848","10.1145\/1103846"],"URL":"https:\/\/doi.org\/10.1145\/1103846.1103848","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1104011.1103848","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,11,13]]},"assertion":[{"value":"2005-11-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}