{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:16:16Z","timestamp":1725466576859},"publisher-location":"New York","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387245898"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-24590-1_13","type":"book-chapter","created":{"date-parts":[[2005,10,11]],"date-time":"2005-10-11T01:46:01Z","timestamp":1128995161000},"page":"197-207","source":"Crossref","is-referenced-by-count":0,"title":["Building Tool Suite for AADL"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Tilman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Axlog ing\u00e9nierie, \u201cAADL (Avionics Architecture Description Language)\u201d, 2003, http:\/\/www.axlog.fr\/R-d\/aadl\/aadLen.html."},{"key":"13_CR2","unstructured":"Honeywell, \u201cMetaH Evaluation and Support Site\u201d, 1998, http:\/\/www.htc.honeywell.com\/metah\/."},{"key":"13_CR3","unstructured":"AEE, 2002, http:\/\/aee.inria.fr\/."},{"key":"13_CR4","unstructured":"Jean-Pierre Elloy, Fran\u00e7oise Simonot-Lion, \u201cAn architecture description language for in-vehicle embedded system development\u201d, 2002."},{"key":"13_CR5","unstructured":"\u201cEAST-EEA \u2014 Embedded Electronic Architecture\u201d, http:\/\/www.east-eea.net\/."},{"key":"13_CR6","unstructured":"Axlog ing\u00e9nierie, \u201cADeS\u201d, 2003, http:\/\/www.axlog.fr\/R_d\/aadl\/ades.en.html."},{"key":"13_CR7","unstructured":"Telelogic, \u201cTelelogic ObjectGeode\u201d, http:\/\/www.telelogic.com\/products\/additional\/objectgeode\/index.cfrn."},{"key":"13_CR8","unstructured":"Mathworks, \u201cSimulink\u201d, http:\/\/www.mathworks.com\/products\/simulink\/."},{"key":"13_CR9","unstructured":"Inria, \u201cScilab\u201d, http:\/\/scilabsoft.inria.fr\/."},{"key":"13_CR10","unstructured":"\u201cUnified Modeling Language\u201d, http:\/\/www.uml.org\/."},{"key":"13_CR11","unstructured":"HOOD User's Group and Jean-Pierre Rosen, \u201cHOOD, An Industrial Approach for Software Design\u201d, 1997."},{"key":"13_CR12","unstructured":"Telelogic, \u201cTelelogic DOORS\/ERS\u201d, http:\/\/www.telelogic.com\/products\/doorsers\/index.cfm."},{"key":"13_CR13","unstructured":"SteelTrace, \u201cCatalyze suite\u201d, http:\/\/www.steeltrace.corn\/products_catalyze_suite.htrn."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Gerard Le Lann, \u201cProof-Based System Engineering and Embedded Systems\u201d, invited paper, European School on Embedded Systems (Veldhoven, NL, Nov 1996), in Lecture Notes in Computer Science n\u01591494, Stringer-Verlag Pub., Oct 1998, pp. 208\u2013248. http:\/\/www-rocq.inria.fr\/reflecs\/publications-fr.html.","DOI":"10.1007\/3-540-65193-4_23"},{"key":"13_CR15","unstructured":"\u201cProjet InKa\u201d, http:\/\/www.axlog.fr\/R_d\/inka\/inka_cadre.html."},{"key":"13_CR16","unstructured":"\u201cDANOCOPS: D\u00e9tection Automatique de NOn-COnformit\u00e9s d'un Programme vis-\u00e0-vis de ses Sp\u00e9cifications\u201d, http:\/\/www.telecom.gouv.fr\/rntl\/projet\/Posters-PDF\/RNTL-Poster-Danocops.pdf."},{"key":"13_CR17","unstructured":"\u201cAtelier de generation de tests de sp'ecifications industrielles AGATHA\u201d, http:\/\/www-drt.cea.fr\/fr\/prog\/list\/systemes-embarques\/list-outils-atelier.htm."}],"container-title":["IFIP The International Federation for Information Processing","Architecture Description Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-24590-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:58:57Z","timestamp":1605643137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-24590-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387245898"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/0-387-24590-1_13","relation":{},"subject":[]}}