{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:06:30Z","timestamp":1756425990451,"version":"3.44.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/rcis.2008.4632087","type":"proceedings-article","created":{"date-parts":[[2008,9,29]],"date-time":"2008-09-29T16:04:06Z","timestamp":1222704246000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["AADL behavioral annex based on generalized rewriting logic"],"prefix":"10.1109","author":[{"given":"Malika","family":"Benammar","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Batna, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faiza","family":"Belala","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Mentouri University, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fateh","family":"Latreche","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Mentouri University, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","article-title":"flight control system: modeling of a hardware\/software system in aadl","author":"ifran","year":"0","journal-title":"Computer Science & Networks Department ASSERT AADL Workshop 18\/01\/2005"},{"key":"14","first-page":"91","article-title":"vers l'integration des proprietes non fonctionnelles dans le langage sadl","author":"belala","year":"2008","journal-title":"2e?me Confe?rence Francophone Sur les Architectures Logicielles CFP-CAL'08 RNTI"},{"key":"11","article-title":"cotre a software design workshop","author":"farail","year":"2002","journal-title":"DASIA 2002"},{"key":"12","article-title":"topcased-toolkit in open source for critical applications & systems development","author":"gaufillet","year":"2005","journal-title":"AADL Workshop"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639421"},{"key":"2","article-title":"as-2c subcommittee. \"avionics architecture description language standard","volume":"5506","year":"2004","journal-title":"SAE Document AS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998386"},{"key":"10","volume":"2","author":"clavel","year":"2003","journal-title":"Maude"},{"key":"7","first-page":"304","author":"bruni","year":"2006","journal-title":"Semantic foundations for generalized rewrite theories"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00040-4"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2006.285483"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2005.34"}],"event":{"name":"2008 Second International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2008,6,3]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2008,6,6]]}},"container-title":["2008 Second International Conference on Research Challenges in Information Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4620134\/4632084\/04632087.pdf?arnumber=4632087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T18:03:18Z","timestamp":1756404198000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4632087\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/rcis.2008.4632087","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}