{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:40:07Z","timestamp":1747579207029,"version":"3.40.5"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018950324254","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"273-290","source":"Crossref","is-referenced-by-count":3,"title":["Tools for producing formal specifications: a view of current architectures and future directions"],"prefix":"10.1007","volume":"3","author":[{"given":"Sunil","family":"Vadera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farid","family":"Meziane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"326142_CR1","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1049\/sej.1996.0006","volume":"11","author":"M. Ainsworth","year":"1996","unstructured":"Ainsworth, M., S. Riddle, and P. Wallis (1996), \u201cFormal Validation of Viewpoint Specifications,\u201d Software Engineering Journal 11,1, 58\u201366.","journal-title":"Software Engineering Journal"},{"key":"326142_CR2","volume-title":"CLARE: a Contextual Reasoning and Cooperative Response Framework for the Core Language Engine","author":"H. Alshawi","year":"1992","unstructured":"Alshawi, H., D. Carter, R. Crouch, S. Pulman, M. Rayner and A. Smith (1992), CLARE: a Contextual Reasoning and Cooperative Response Framework for the Core Language Engine, SRI International, Stanford, CA, USA."},{"key":"326142_CR3","doi-asserted-by":"crossref","first-page":"530","DOI":"10.3115\/991886.991978","volume-title":"Proc. International Conference on Computational Linguistics","author":"E. Andr\u00e9","year":"1994","unstructured":"Andr\u00e9, E. and T. Rist (1994), \u201cReferring to world objects with text and pictures,\u201d In Proc. International Conference on Computational Linguistics, Association of Computational Linguistics, Kyoto, Japan, pp. 530\u2013534."},{"issue":"11","key":"326142_CR4","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1109\/TSE.1985.231877","volume":"SE-11","author":"R. Balzer","year":"1985","unstructured":"Balzer, R. (1985), \u201cA 15 Year Perspective on Automatic Programming,\u201d IEEE Transactions on Software Engineering SE-11,11, 1257\u20131268.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"326142_CR5","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/TSE.1978.231480","volume":"SE-4","author":"R. Balzer","year":"1978","unstructured":"Balzer, R., N. Goldman, and D. Wile (1978), \u201cInformality in Program Specification,\u201d IEEE Transactions on Software Engineering SE-4,2, 94\u2013103.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"326142_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/TSE.1977.229903","volume":"SE-3","author":"T. Bell","year":"1977","unstructured":"Bell, T., D. Bixler, and M. Dyer (1977), \u201cAn Extendable Approach to Computer-Aided Software Requirements,\u201d IEEE Transactions on Software Engineering SE-3,1, 49\u201360.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"326142_CR7","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/0266-9838(89)90018-X","volume":"4","author":"B. Cohen","year":"1989","unstructured":"Cohen, B. (1989), \u201cJustification of Formal Methods for System Specification,\u201d Software Engineering Journal 4,1, 26\u201335.","journal-title":"Software Engineering Journal"},{"key":"326142_CR8","volume-title":"An International Survey of Industrial Applications of Formal Methods","author":"D. Craigen","year":"1993","unstructured":"Craigen, D., S. Gerhart, and T. Ralston (1993), An International Survey of Industrial Applications of Formal Methods, Vols 1 and 2, National Institute of Standards and Technology, US Department of Commerce, Gaithersburg, MD, USA."},{"key":"326142_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/3540547428_42","volume-title":"Integrating Structured and Formal Methods: A Visual Approach to VDM","author":"J. Dick","year":"1991","unstructured":"Dick, J. and J. Loubersac (1991), \u201cIntegrating Structured and Formal Methods: A Visual Approach to VDM,\u201d In Third European Software Engineering Conference, Lecture Notes in Computer Science Vol. 550, Springer, Berlin, Germany, pp. 37\u201359."},{"key":"326142_CR10","series-title":"Studies in Linguistics and Philosophy","volume-title":"Introduction to Montague Semantics","author":"D.R. Dowty","year":"1981","unstructured":"Dowty, D.R., R.E. Wall, and S. Peters (1981), Introduction to Montague Semantics, Vol. 11 of Studies in Linguistics and Philosophy, Reidel, Dordrecht, Holland."},{"issue":"3","key":"326142_CR11","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF01384048","volume":"4","author":"A. Fantechi","year":"1994","unstructured":"Fantechi, A., S. Gnesi, G. Ristori, M. Carenini, M. Vanocchi and P. Moreschini (1994), \u201cAssisting Requirement Formalization by Means of Natural Language Translation,\u201d Formal Methods in System Design 4,3, 243\u2013263.","journal-title":"Formal Methods in System Design"},{"issue":"10","key":"326142_CR12","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/194313.194399","volume":"37","author":"M.D. Fraser","year":"1994","unstructured":"Fraser, M.D., K. Kumar and V.K. Vaishnavi (1994), \u201cStrategies for Incorporating Formal Specifications in Software Development,\u201d Communications of ACM 37,10, 74\u201386.","journal-title":"Communications of ACM"},{"key":"326142_CR13","first-page":"377","volume-title":"Reading in Artificial Intelligence and Software Engineering","author":"C. Green","year":"1986","unstructured":"Green, C., D. Luckam, R. Balzar, T. Cheatham and C. Rich (1986), \u201cReport on a knowledge-based software assistant,\u201d In Reading in Artificial Intelligence and Software Engineering, C. Richard and R. Waters, Eds., Morgan Kaufmann, Los Altos, CA, pp. 377\u2013428."},{"key":"326142_CR14","volume-title":"Larch in Five Easy Pieces","author":"J. Guttag","year":"1985","unstructured":"Guttag, J., J. Horning, and J.M. Wing (1985), Larch in Five Easy Pieces, Digital Equipment Corporation, Palo Alto, CA."},{"issue":"2","key":"326142_CR15","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MC.1987.1663475","volume":"20","author":"V. Hunt","year":"1987","unstructured":"Hunt, V. and A. Zellweger (1987), \u201cThe FAA's Advanced Automation System: Strategies for Future Air Traffic Control Systems,\u201d IEEE Computer 20,2, 19\u201332.","journal-title":"IEEE Computer"},{"issue":"4","key":"326142_CR16","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/64.223994","volume":"8","author":"W. Johnson","year":"1993","unstructured":"Johnson, W., K. Benner, and D. Harris (1993), \u201cDeveloping Formal Specifications from Informal Requirements,\u201d IEEE Expert 8,4, 82\u201390.","journal-title":"IEEE Expert"},{"issue":"10","key":"326142_CR17","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1109\/32.163603","volume":"18","author":"W. Johnson","year":"1992","unstructured":"Johnson, W., M. Feather, and D. Harris (1992), \u201cRepresentation and Presentation of Requirements Knowledge,\u201d IEEE Transactions on Software Engineering 18,10, 853\u2013869.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326142_CR18","volume-title":"Systematic Software Development using VDM","author":"C. Jones","year":"1990","unstructured":"Jones, C. (1990), Systematic Software Development using VDM, Prentice Hall, Hemel Hempstead, UK."},{"key":"326142_CR19","volume-title":"Case-Based Reasoning","author":"J. Kolodner","year":"1993","unstructured":"Kolodner, J. (1993), Case-Based Reasoning, Morgan Kaufmann, San Mateo, CA, USA."},{"issue":"2","key":"326142_CR20","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/52.268956","volume":"11","author":"R. Linger","year":"1994","unstructured":"Linger, R. (1994), \u201cCleanroom Process Model,\u201d IEEE Software 11,2, 50\u201358.","journal-title":"IEEE Software"},{"issue":"4","key":"326142_CR21","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1093\/comjnl\/38.4.310","volume":"38","author":"B. Macias","year":"1995","unstructured":"Macias, B. and S. Pulman (1995), \u201cA Method for Controlling the Production of Specifications in Natural Language,\u201d The Computer Journal 38,4, 310\u2013318.","journal-title":"The Computer Journal"},{"key":"326142_CR22","series-title":"Technical Report AITech","volume-title":"PGDE: Process Grammar Development Environments, User Manual","author":"M. Marino","year":"1992","unstructured":"Marino, M. (1992), \u201cPGDE: Process Grammar Development Environments, User Manual,\u201d Technical Report AITech TR1\/92-PGDEUM, AITech, s.n.c., Pisa, Italy."},{"key":"326142_CR23","first-page":"391","volume-title":"A Logical Approach to Expert Systems and Natural Language Processing Knowledge Systems and Prolog","author":"M. McCord","year":"1990","unstructured":"McCord, M. (1990), \u201cNatural Language Processing in Prolog,\u201d In A Logical Approach to Expert Systems and Natural Language Processing Knowledge Systems and Prolog, A. Walker, Ed., Addison-Wesley, Wokingham, UK, pp. 391\u2013402."},{"issue":"10","key":"326142_CR24","doi-asserted-by":"publisher","first-page":"1126","DOI":"10.1109\/32.99198","volume":"17","author":"K. Miriyala","year":"1991","unstructured":"Miriyala, K. and M. Harandi (1991), \u201cAutomatic Derivation of Formal Software Specifications from Informal Descriptions,\u201d IEEE Transactions on Software Engineering, 17,10, 1126\u20131142.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"326142_CR25","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1049\/sej.1992.0034","volume":"7","author":"P. Nico","year":"1992","unstructured":"Nico, P., J.V. Katwijk, and T. Hans (1992), \u201cApplications and Benefits of Formal Methods in Software Development,\u201d Software Engineering Journal, 7,5, 335\u2013346.","journal-title":"Software Engineering Journal"},{"key":"326142_CR26","series-title":"Lecturer Notes in Computer Science","first-page":"407","volume-title":"Action Versus State Based Logics for Transmission Systems","author":"R.D. Nicola","year":"1991","unstructured":"Nicola, R.D. and F.W. Vaandrager (1991), \u201cAction Versus State Based Logics for Transmission Systems,\u201d In Lecturer Notes in Computer Science, Vol. 469, Springer, Berlin, Germany, pp. 407\u2013419."},{"key":"326142_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/BFb0024666","volume-title":"The SAZ Project: Integrating SSADM and Z","author":"F. Polack","year":"1993","unstructured":"Polack, F., M. Whiston, and K. Mander (1993), \u201cThe SAZ Project: Integrating SSADM and Z,\u201d In Lecture Notes in Computer Science, Vol. 670, Springer, Berlin, Germany, pp. 541\u2013557."},{"key":"326142_CR28","volume-title":"The Analysis of Natural Language Requirements Documents","author":"S. Presland","year":"1986","unstructured":"Presland, S. (1986), \u201cThe Analysis of Natural Language Requirements Documents,\u201d Ph.D. thesis, University of Liverpool, Liverpool, UK."},{"key":"326142_CR29","volume-title":"Automatic Acquisition of Evolving Informal Description","author":"H. Reubenstein","year":"1990","unstructured":"Reubenstein, H. (1990), \u201cAutomatic Acquisition of Evolving Informal Description,\u201d Ph.D. thesis, MIT Artificial Intelligence Laboratory, Cambridge, MA, USA."},{"issue":"3","key":"326142_CR30","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1109\/32.75413","volume":"17","author":"H. Reubenstein","year":"1991","unstructured":"Reubenstein, H. and R. Walters (1991), \u201cThe Requirements Apprentice: Automated Assistance for Requirements Acquisition,\u201d IEEE Transactions on Software Engineering 17,3, 226\u2013240.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"11","key":"326142_CR31","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/2.86782","volume":"21","author":"C. Rich","year":"1988","unstructured":"Rich, C. and R. Walters (1988), \u201cThe Programmer's Apprentice: A Research Overview,\u201d Computer 21,11, 10\u201325.","journal-title":"Computer"},{"key":"326142_CR32","series-title":"Technical Report","volume-title":"Coordinated Linguistic and Graphical Semantic Units","author":"J.S. Santana","year":"1996","unstructured":"Santana, J.S. (1996), \u201cCoordinated Linguistic and Graphical Semantic Units,\u201d Technical Report IIE\/Salford-SS-19, Department of Computer and Mathematical Sciences, University of Salford, UK."},{"key":"326142_CR33","volume-title":"KADS: A Principled Approach to Knowledge-Based Systems Development","author":"G. Schreiber","year":"1993","unstructured":"Schreiber, G., B. Wielinga, and J. Breuker (1993), KADS: A Principled Approach to Knowledge-Based Systems Development, Academic Press, London, UK."},{"key":"326142_CR34","volume-title":"Software Engineering","author":"I. Sommerville","year":"1992","unstructured":"Sommerville, I. (1992), Software Engineering, Addison-Wesley, Wokingham, UK."},{"key":"326142_CR35","volume-title":"The Z Notation: A Reference Manual","author":"J. Spivey","year":"1989","unstructured":"Spivey, J. (1989), The Z Notation: A Reference Manual, Prentice Hall, London."},{"issue":"1","key":"326142_CR36","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/TSE.1977.229902","volume":"SE-3","author":"D. Teichroew","year":"1977","unstructured":"Teichroew, D. and E. Hershey (1977), \u201cPSL\/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing System,\u201d IEEE Transactions on Software Engineering SE-3,1, 41\u201348.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"326142_CR37","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1093\/comjnl\/37.9.753","volume":"37","author":"S. Vadera","year":"1994","unstructured":"Vadera, S. and F. Meziane (1994), \u201cFrom English to Formal Specifications,\u201d The Computer Journal 37,9, 753\u2013763.","journal-title":"The Computer Journal"},{"issue":"3\u20134","key":"326142_CR38","first-page":"110","volume":"8","author":"D. Warren","year":"1982","unstructured":"Warren, D. and F. Pereira (1982), \u201cAn Efficient Easily Adaptable System for Interpreting Natural Language Queries,\u201d American Journal of Computational Linguistics 8,3\u20134, 110\u2013122.","journal-title":"American Journal of Computational Linguistics"},{"key":"326142_CR39","first-page":"331","volume-title":"Proceedings of the Fifth Annual RADC Knowledge-Based Software Assistant (KBSA) Conference","author":"G. Williams","year":"1990","unstructured":"Williams, G. and J. Myers (1990), \u201cExploiting Metamodel Correspondences to Provide Paraphrasing Capabilities for the KBSA Concept Demonstration Project,\u201d In Proceedings of the Fifth Annual RADC Knowledge-Based Software Assistant (KBSA) Conference, Rome Defence Development Center, Griffiss AFB, NY, USA, pp. 331\u2013345."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018950324254.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018950324254\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018950324254.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:10:44Z","timestamp":1747577444000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018950324254"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326142"],"URL":"https:\/\/doi.org\/10.1023\/a:1018950324254","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}