{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:50:08Z","timestamp":1760028608256},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732297"},{"type":"electronic","value":"9783540732303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73230-3_14","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T13:04:42Z","timestamp":1183122282000},"page":"180-191","source":"Crossref","is-referenced-by-count":3,"title":["Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar"],"prefix":"10.1007","author":[{"given":"Frank","family":"Singhoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Plantec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Singhoff, F., Legrand, J., Nana, L., Marc\u00e9, L.: Cheddar: a Flexible Real Time Scheduling Framework. ACM Ada Letters journal. Also published in the proceedings of the International ACM SIGAda Conference, Atlanta, USA, vol.\u00a024(4), pp. 1\u20138 (2004)","DOI":"10.1145\/1046191.1032298"},{"key":"14_CR2","unstructured":"Singhoff, F.: Cheddar Release 2.x User\u2019s Guide. Technical report, number singhoff-01-2007 (2007), Available at http:\/\/beru.univ-brest.fr\/~singhoff\/cheddar"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. Journal of the Association for Computing Machinery\u00a020(1), 46\u201361 (1973)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction of Automata Theory, Languages and Computation (2001)","DOI":"10.1145\/568438.568455"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.L.: Automata for modeling real time systems. In: Paterson, M.S. (ed.) Automata, Languages and Programming. LNCS, vol.\u00a0443, pp. 322\u2013335. Springer, Heidelberg (1990)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. Technical Report Updated the 17th November 2004 (Department of Computer Science, Aalbord University, Denmark) (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF02341920","volume":"1","author":"B. Sprunt","year":"1989","unstructured":"Sprunt, B., Sha, L., Lehoczky, J.: Aperiodic Task Scheduling for Hard-real-time Systems. The. Journal of Real. Time. Systems\u00a01, 27\u201360 (1989)","journal-title":"The Journal of Real Time Systems"},{"key":"14_CR8","unstructured":"Plantec, A.: Platypus Technical Summary and download. ( http:\/\/cassoulet.univ-brest.fr\/mme )"},{"key":"14_CR9","unstructured":"Team, T.S.: Squeak web site. ( http:\/\/www.squeak.org )"},{"key":"14_CR10","unstructured":"ISO 10303-1: Part 1: Overview and fundamental principles. (1994)"},{"key":"14_CR11","unstructured":"ISO 10303-11: Part 11: EXPRESS Language Reference Manual (1994)"},{"key":"14_CR12","unstructured":"Plantec, A., Ribaud, V.: Experiences using an Application Generator Builder. In: Proceedings of the 11th International Conference on software engineering and knowledge engineering, Kaiserslautern, Germany, June 16-19, 1999, pp. 16\u201319 (1999)"},{"key":"14_CR13","volume-title":"ICEIS 2003","author":"M.E.H. Mimoune","year":"2003","unstructured":"Mimoune, M.E.H., Pierra, G., Ait-Ameur, Y.: An ontology-based approach for exchanging data between heterogeneous database systems. In: ICEIS 2003. Proceedings of the 5th International Conference On Enterprise Information Systems, Angers - France, \u00c9cole Sup\u00e9rieure d\u2019 \u00c9lectronique de l\u2019 Ouest (2003)"},{"key":"14_CR14","unstructured":"Plantec, A., Singhoff, F.: Refactoring of an Ada 95 Library with a Meta CASE Tool. ACM Ada Letters journal. Also published. In: The proceedings of the International ACM SIGAda Conference, Albuquerque, 26(3), 61\u201370 (2006)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada Europe 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73230-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:12:40Z","timestamp":1605744760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73230-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732297","9783540732303"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73230-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}