{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:59:51Z","timestamp":1725566391728},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660767"},{"type":"electronic","value":"9783540487654"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48765-4_91","type":"book-chapter","created":{"date-parts":[[2010,9,24]],"date-time":"2010-09-24T16:27:57Z","timestamp":1285345677000},"page":"859-868","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Approach to Lingware Development"],"prefix":"10.1007","author":[{"given":"Bilel","family":"Gargouri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelmajid","family":"Ben Hamadou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"91_CR1","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1093\/comjnl\/35.6.579","volume":"35","author":"L. M. Barroca","year":"1992","unstructured":"Barroca, L.M., McDermid, J.A.: Formal methods: use and relevance for the development of safety-critical systems. The Computer Journal\u00a035(6) (1992)","journal-title":"The Computer Journal"},{"key":"91_CR2","unstructured":"Ben Hamadou, A.: V\u00e9rification et correction automatiques par analyse affixale des textes \u00e9crits en langage naturel: le cas de l\u2019arabe non voyell\u00e9. In: Th\u00e9se Es-Sciences en Informatique, Facult\u00e9 des Sciences de Tunis (1993)"},{"key":"91_CR3","unstructured":"Naom, C.: Structures syntaxiques, Le Seuil,Paris (1959)"},{"key":"91_CR4","unstructured":"Jones, C.B.: Systematic software development using VDM. Prentice Hall. International, Englewood Cliffs (1986)"},{"key":"91_CR5","unstructured":"Myriam, D., Habib, H.M., Jean-Gabriel, G.: Une approche pour la r\u00e9utilisation des sp\u00e9cifications de logiciels. G\u00e9nie logiciel\u00a0(45), 21\u201327 (1997)"},{"key":"91_CR6","unstructured":"John, D.: The VDM-SL reference guide. Pitman publishing (1991)"},{"key":"91_CR7","unstructured":"Erbach, J.D., Manandhar, S., Uszkoreit, H.: A report on the draft EAGLES encoding standard for HPSG. Actes de TALN 1996, Marseille, France (1996)"},{"key":"91_CR8","unstructured":"Cathrine, F.: Linguistique et Traitements Automatiques des Langues. Hachette (1993)"},{"key":"91_CR9","unstructured":"Gargouri, B., Jmaiel, M., Ben Hamadou, A.: Int\u00e9r\u00eats des M\u00e9thodes Formelles en G\u00e9nie Linguistique. In: TALN 1998, Paris, France, Juin 10-12 (1998)"},{"key":"91_CR10","doi-asserted-by":"crossref","unstructured":"Gargouri, B., Jmaiel, M., Ben Hamadou, A.: Vers l\u2019utilisation des m\u00e9thodes formelles pour le d\u00e9veloppement de linguiciels. In: COLING-ACL 1998, Montr\u00e9al,Qu\u00e9bec,Canada, Ao\u00fbt 10-14 (1998)","DOI":"10.3115\/980451.980920"},{"key":"91_CR11","unstructured":"Andrew, H.: A Parsing Algorithm for Unification Grammar. Computational Linguistics\u00a015(4) (1989)"},{"key":"91_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3170-8","volume-title":"Natural Language Processing :The PLNLP Aproach","author":"K. Jensen","year":"1993","unstructured":"Jensen, K., Heidorn, G.E., Richardson, S.D.: Natural Language Processing:The PLNLP Aproach. Kulwer academic publishers, Boston (1993)"},{"key":"91_CR13","unstructured":"Miller Philip et Torris Th\u00e9r\u00e9se: Formalismes syntaxiques pour le traitement auto- matique du langage naturel. Hermes Paris (1990)"},{"issue":"2","key":"91_CR14","first-page":"4","volume":"3","author":"M. Paul","year":"1994","unstructured":"Paul, M.: ALEP-Arriving at the next platform. ELSNews\u00a03(2), 4\u20135 (1994)","journal-title":"ELSNews"},{"key":"91_CR15","unstructured":"G\u00e9rard, S.: L\u2019intelligence artificielle et le langage, vol.\u00a02 Herm\u00e9s(edn.) (1989)"},{"key":"91_CR16","unstructured":"R\u00e9mi, Z.: SCSL: a linguistic specification language for MT. In: COLING 1986, Bonn, August 25-29 (1986)"}],"container-title":["Lecture Notes in Computer Science","Multiple Approaches to Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48765-4_91","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:01:47Z","timestamp":1558292507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48765-4_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660767","9783540487654"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48765-4_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}