{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T12:00:11Z","timestamp":1763726411701,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,6,14]],"date-time":"2010-06-14T00:00:00Z","timestamp":1276473600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["01IM08003C"],"award-info":[{"award-number":["01IM08003C"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,6,14]]},"DOI":"10.1145\/1837154.1837155","type":"proceedings-article","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T18:52:26Z","timestamp":1279824746000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["SysML in digital engineering"],"prefix":"10.1145","author":[{"given":"Matthias","family":"G\u00fcdemann","sequence":"first","affiliation":[{"name":"Otto-von-Guericke University, Magdeburg \/ FIN - AG CSE, Magdeburg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Kegel","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke-University, Magdeburg \/ FIN - AG CSE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Ortmeier","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University, Magdeburg \/ FIN - AG CSE, Magdeburg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Poenicke","sequence":"additional","affiliation":[{"name":"Fraunhofer IFF, Magdeburg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Richter","sequence":"additional","affiliation":[{"name":"Fraunhofer IFF, Magdeburg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of ISOLA'04","author":"Abdulla P. A.","year":"2004","unstructured":"P. A. Abdulla , J. Deneux , G. Stalmarck , H. Agren , and O. Akerlund . Designing safe, reliable systems using SCADE . In Proceedings of ISOLA'04 . Springer-Verlag , 2004 . P. A. Abdulla, J. Deneux, G. Stalmarck, H. Agren, and O. Akerlund. Designing safe, reliable systems using SCADE. In Proceedings of ISOLA'04. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"The TOPCASED project: a toolkit in open source for critical aeronautic systems design","author":"Farail P.","year":"2006","unstructured":"P. Farail , P. Gaufillet , A. Canals , C. Le Camus , D. Sciamma , P. Michel , X. Cr\u00e9gut , and M. Pantel . The TOPCASED project: a toolkit in open source for critical aeronautic systems design . 2006 . P. Farail, P. Gaufillet, A. Canals, C. Le Camus, D. Sciamma, P. Michel, X. Cr\u00e9gut, and M. Pantel. The TOPCASED project: a toolkit in open source for critical aeronautic systems design. 2006."},{"key":"e_1_3_2_1_3_1","first-page":"2008","volume":"29","author":"Farail P.","year":"2008","unstructured":"P. Farail , P. Gaufillet , F. Peres , J.-P. Bodeveix , M. Filali , B. Berthomieu , S. Rodrigo , F. Vernadat , H. Garavel , and F. Lang . FIACRE: an intermediate language for model verification in the TOPCASED environment. In European Congress on Embedded Real-Time Software (ERTS), Toulouse , 29\/01 \/ 2008 - 2001 \/02\/ 2008 , page (electronic medium), http:\/\/www.see.asso.fr, janvier 2008. SEE. P. Farail, P. Gaufillet, F. Peres, J.-P. Bodeveix, M. Filali, B. Berthomieu, S. Rodrigo, F. Vernadat, H. Garavel, and F. Lang. FIACRE: an intermediate language for model verification in the TOPCASED environment. In European Congress on Embedded Real-Time Software (ERTS), Toulouse, 29\/01\/2008-01\/02\/2008, page (electronic medium), http:\/\/www.see.asso.fr, janvier 2008. SEE.","journal-title":"In European Congress on Embedded Real-Time Software (ERTS), Toulouse"},{"key":"e_1_3_2_1_4_1","volume-title":"Deutschen IT-Sicherheitskongress","author":"Fruth J.","year":"2009","unstructured":"J. Fruth , C. Kr\u00e4tzer , and J. Dittmann . Konzept f\u00fcr sichere Datenhaltung und Datenkommunikation verteilter personenbezogener Daten(s\u00e4tze) in sozialen Institutionen. In Sichere Wege in die vernetzte Welt, Tagungsband zum 11 . Deutschen IT-Sicherheitskongress , Bonn , 2009 . J. Fruth, C. Kr\u00e4tzer, and J. Dittmann. Konzept f\u00fcr sichere Datenhaltung und Datenkommunikation verteilter personenbezogener Daten(s\u00e4tze) in sozialen Institutionen. In Sichere Wege in die vernetzte Welt, Tagungsband zum 11. Deutschen IT-Sicherheitskongress, Bonn, 2009."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2392550.2392606"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_7_1","volume-title":"Dick","author":"Hull M. E. C.","year":"2003","unstructured":"M. E. C. Hull , K. Jackson , and A. J. J. Dick . Requirements Engineering : A Structured Project Information Approach. Springer , Berlin, 1 st edition, 2003 . M. E. C. Hull, K. Jackson, and A. J. J. Dick. Requirements Engineering: A Structured Project Information Approach. Springer, Berlin, 1st edition, 2003.","edition":"1"},{"key":"e_1_3_2_1_8_1","volume-title":"Magic Draw: SysML Plugin","author":"Moskaliovas J.","year":"2009","unstructured":"J. Moskaliovas . Magic Draw: SysML Plugin . 2009 . J. Moskaliovas. Magic Draw: SysML Plugin. 2009."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of Vision, Modeling, and Visualization (VMV 2009)","author":"Nykolaychuk M.","year":"2009","unstructured":"M. Nykolaychuk , C. R\u00f6ssl , H. Theisel , and K. Richter . Topological methods for motion data analysis . In Proceedings of Vision, Modeling, and Visualization (VMV 2009) , 2009 . M. Nykolaychuk, C. R\u00f6ssl, H. Theisel, and K. Richter. Topological methods for motion data analysis. In Proceedings of Vision, Modeling, and Visualization (VMV 2009), 2009."},{"key":"e_1_3_2_1_10_1","volume-title":"Prinzipien, Techniken. dpunkt","author":"Pohl K.","year":"2008","unstructured":"K. Pohl . Requirements Engineering : Grundlagen , Prinzipien, Techniken. dpunkt . Verlag GmbH , 2 nd edition, June 2008 . K. Pohl. Requirements Engineering: Grundlagen, Prinzipien, Techniken. dpunkt.Verlag GmbH, 2nd edition, June 2008.","edition":"2"},{"key":"e_1_3_2_1_11_1","unstructured":"SAE-AS5506 2004.  SAE-AS5506 2004."},{"key":"e_1_3_2_1_12_1","volume-title":"annex e: Error model annex","author":"Volume","year":"2006","unstructured":"SAE-AS5506\/1. Volume 1 , annex e: Error model annex , 2006 . SAE-AS5506\/1. Volume 1, annex e: Error model annex, 2006."},{"key":"e_1_3_2_1_13_1","unstructured":"SysML 1.1 specification 2008.  SysML 1.1 specification 2008."},{"key":"e_1_3_2_1_14_1","volume-title":"Data Systems In Aerospace (DASIA)","author":"Vernadat F.","year":"2006","unstructured":"F. Vernadat , C. Percebois , P. Farail , R. Vingerhoeds , A. Rossignol , J. P. Talpin , and D. Chemouil . The TOPCASED project - a toolkit in open-source for critical applications and system development . In Data Systems In Aerospace (DASIA) . European Space Agency (ESA Publications) , 2006 . F. Vernadat, C. Percebois, P. Farail, R. Vingerhoeds, A. Rossignol, J. P. Talpin, and D. Chemouil. The TOPCASED project - a toolkit in open-source for critical applications and system development. In Data Systems In Aerospace (DASIA). European Space Agency (ESA Publications), 2006."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of MBEES2010: Modellbasierte Entwicklung eingebetteter Systeme","author":"Vogel-Heuser B.","year":"2010","unstructured":"B. Vogel-Heuser . Evaluationsm\u00f6glichkeiten von neuen modellbasierten Engineeringans\u00e4tzen auf ihre Usability . In Proceedings of MBEES2010: Modellbasierte Entwicklung eingebetteter Systeme , 2010 . B. Vogel-Heuser. Evaluationsm\u00f6glichkeiten von neuen modellbasierten Engineeringans\u00e4tzen auf ihre Usability. In Proceedings of MBEES2010: Modellbasierte Entwicklung eingebetteter Systeme, 2010."},{"key":"e_1_3_2_1_16_1","volume-title":"Analyse, Design. dpunkt","author":"Weilkiens T.","year":"2006","unstructured":"T. Weilkiens . Systems Engineering mit SysML \/ UML. Modellierung , Analyse, Design. dpunkt . Verlag GmbH , 1 st edition, July 2006 . T. Weilkiens. Systems Engineering mit SysML \/ UML. Modellierung, Analyse, Design. dpunkt.Verlag GmbH, 1st edition, July 2006.","edition":"1"},{"key":"e_1_3_2_1_17_1","unstructured":"T. Weilkiens. Systems Engineering with SysML \/ UML - Website 2008. http:\/\/system-modeling.com\/ visited on 2010-02-22.   T. Weilkiens. Systems Engineering with SysML \/ UML - Website 2008. http:\/\/system-modeling.com\/ visited on 2010-02-22."}],"event":{"name":"IWDE '10: 1st International Workshop on Digital Engineering","acronym":"IWDE '10","location":"Magdeburg Germany"},"container-title":["Proceedings of the First International Workshop on Digital Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837154.1837155","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1837154.1837155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:51Z","timestamp":1750246791000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837154.1837155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,14]]},"references-count":17,"alternative-id":["10.1145\/1837154.1837155","10.1145\/1837154"],"URL":"https:\/\/doi.org\/10.1145\/1837154.1837155","relation":{},"subject":[],"published":{"date-parts":[[2010,6,14]]},"assertion":[{"value":"2010-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}