{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:50:53Z","timestamp":1725547853433},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422198"},{"type":"electronic","value":"9783540455172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45517-5_60","type":"book-chapter","created":{"date-parts":[[2010,2,16]],"date-time":"2010-02-16T13:28:48Z","timestamp":1266326928000},"page":"539-545","source":"Crossref","is-referenced-by-count":0,"title":["An Environment for Formal Specification and Verification of Lingware"],"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 Ben","family":"Hamadou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,18]]},"reference":[{"key":"60_CR1","unstructured":"Cliff B. J., Systematic software development using VDM. Prentice Hall International, 1986."},{"key":"60_CR2","unstructured":"Cunningham, H., & al., A General Architecture for Text Engineering (GATE): a new approach to language Engineering R&D. Technical report, University of Shiffield."},{"key":"60_CR3","doi-asserted-by":"crossref","unstructured":"Dawes J., The VDM-SL reference guide. Pitman publishing, 1991.","DOI":"10.1201\/9781482267419"},{"key":"60_CR4","unstructured":"Erbach J. D., Manandhar S. & Uszkoreit H., A report on the draft EAGLES encoding standard for HPSG. Actes de TALN\u201996, 1996, Marseille, France."},{"key":"60_CR5","series-title":"Lect Notes Comput Sci","volume-title":"IEA\/AIE\u201999","author":"B. Gargouri","year":"1999","unstructured":"Gargouri B., Jmaiel M. & Ben Hamadou A., A formal approach to lingware development, IEA\/AIE\u201999, May 31-June 03, 1999, Cairo, EGYPT (LNCS, Springer-Verlag no 1611)."},{"key":"60_CR6","unstructured":"Gargouri B., Jmaiel M. & Ben Hamadou A., Using a formal approach to evaluate grammars, LREC\u2019 2000, 31 May-02 June 2000, Athenes, Greece."},{"key":"60_CR7","unstructured":"Grishman R., TIPSTER Architecture Design Document Version 2.2. Technical report, DARPA., Available at http:\/\/www.tipster.org\/ ."},{"key":"60_CR8","doi-asserted-by":"crossref","unstructured":"Jensen K., Heidorn G. E. & Richardson S. D., Natural Language Processing: The PLNLP Approach. Kulwer academic publishers, 1993.","DOI":"10.1007\/978-1-4615-3170-8"},{"key":"60_CR9","doi-asserted-by":"crossref","unstructured":"Karttunen L., D-PATR: A development environment for unification based grammars, COLING-ACL\u201986, Bonn, Germany, Auguste 1986.","DOI":"10.3115\/991365.991386"},{"issue":"2","key":"60_CR10","first-page":"4","volume":"3","author":"P. Myelemans","year":"1994","unstructured":"Myelemans P., ALEP-Arriving at the next platform. ELSNews, 1994, 3(2):4\u20135.","journal-title":"ELSNews"},{"key":"60_CR11","unstructured":"Popowich F., Available at ftp:\/\/sfu.ca\/pub\/cs\/nl\/HPSG-PL\/manual.ps.Z\/ ."}],"container-title":["Lecture Notes in Computer Science","Engineering of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45517-5_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,22]],"date-time":"2021-10-22T22:49:24Z","timestamp":1634942964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45517-5_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422198","9783540455172"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45517-5_60","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}