{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:30:48Z","timestamp":1725489048902},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735465"},{"type":"electronic","value":"9783540735472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73547-2_19","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T14:54:52Z","timestamp":1186844092000},"page":"169-178","source":"Crossref","is-referenced-by-count":1,"title":["A Generic and Modular System Architecture for Trustworthy, Autonomous Applications"],"prefix":"10.1007","author":[{"given":"George","family":"Brancovici","sequence":"first","affiliation":[]},{"given":"Christian","family":"M\u00fcller-Schloer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Advanced Information Systems Engineering","author":"G. Guizzardi","year":"2004","unstructured":"Guizzardi, G., Wagner, G., Guarino, N., van Sinderen, M.: An Ontologically Well-Founded Profile for UML Conceptual Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, Springer, Heidelberg (2004)"},{"key":"19_CR2","unstructured":"Cranefield, S., Purvis, M.: UML as an ontology modelling language. In: Proceedings of the Workshop on Intelligent Information Integration. In: 16th International Joint Conference on Artificial Intelligence (IJCAI) (1999)"},{"key":"19_CR3","unstructured":"Cranefield, S.: UML and the Semantic Web. In: Proceedings of the International Semantic Web Working Symposium (SWWS) (2001)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Degen, W., Heller, B., Herre, H., Smith, B.: GOL: A General Ontological Language. In: Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS) (2001)","DOI":"10.1145\/505168.505173"},{"key":"19_CR5","unstructured":"Gorman, J.: UML for Java Developers, Model Constraints & the Object Constraint Language, http:\/\/www.parlezuml.com"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"d\u2019Avila Garcez, A., Russo, A., Nuseibeh, B., Kramer, J.: Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications. In: IEEE Proceedings - Software (2003)","DOI":"10.1049\/ip-sen:20030207"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Mili, A., Jiang, G., Cukic, B., Liu, Y., Ben Ayed, R.: Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS) (2004)","DOI":"10.1109\/HICSS.2004.1265713"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Watkins, A., Berndt, D., Aebischer, B., Fisher, J., Johnson, L.: Breeding Software Test Cases for Complex Systems. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS) (2004)","DOI":"10.1109\/HICSS.2004.1265712"},{"key":"19_CR9","unstructured":"Ilghami, O.: Documentation for JSHOP2. In: Technical Report, CS-TR-4694, Department of Computer Science, University of Maryland (2006)"}],"container-title":["Lecture Notes in Computer Science","Autonomic and Trusted Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73547-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:15:50Z","timestamp":1605762950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73547-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735465","9783540735472"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73547-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}