{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T21:04:22Z","timestamp":1648587862058},"reference-count":43,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,2,1]],"date-time":"2002-02-01T00:00:00Z","timestamp":1012521600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2002,2]]},"DOI":"10.1016\/s0950-5849(01)00209-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T06:00:28Z","timestamp":1027576828000},"page":"65-75","source":"Crossref","is-referenced-by-count":0,"title":["Bases for the development of LAST: a formal method for business software requirements specification"],"prefix":"10.1016","volume":"44","author":[{"given":"Jes\u00fas Manuel","family":"Almendros-Jim\u00e9nez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Gonz\u00e1lez-Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(01)00209-9_BIB1","series-title":"Proceedings of the International Workshop on Current Trends in Applied Formal Methods, LNCS 1641","first-page":"168","article-title":"A light weight approach to formal methods","author":"Agerholm","year":"1999"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB2","series-title":"The LAST Project: development of a formal method for IS-specification and of a CASE-tool for IS-design","author":"Almendros-Jim\u00e9nez","year":"2000"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB3","first-page":"25","article-title":"Formal methods: the very idea some thoughts about why they work when they work","author":"Berry","year":"2000","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"2","key":"10.1016\/S0950-5849(01)00209-9_BIB4","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1147\/sj.392.0315","article-title":"Technical note\u2014business function specification of commercial applications","volume":"39","author":"Bevington","year":"2000","journal-title":"IBM Systems Journal"},{"issue":"4","key":"10.1016\/S0950-5849(01)00209-9_BIB5","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/52.391826","article-title":"Seven more myths of formal methods","volume":"12","author":"Bowen","year":"1995","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB6","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1016\/S0950-5849(99)00068-3","article-title":"Software technology\u2014formal methods and scientific foundations","volume":"41","author":"Broy","year":"1999","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB7","first-page":"25","article-title":"Impediments to industrial use of formal methods","author":"Butler","year":"1996","journal-title":"IEEE Computer"},{"issue":"4","key":"10.1016\/S0950-5849(01)00209-9_BIB8","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","article-title":"Formal methods: state of the art and future directions","volume":"28","author":"Clarke","year":"1996","journal-title":"ACM Computing Surveys"},{"issue":"11","key":"10.1016\/S0950-5849(01)00209-9_BIB9","doi-asserted-by":"crossref","first-page":"1268","DOI":"10.1145\/50087.50089","article-title":"A field study of the software design process for large systems","volume":"31","author":"Curtis","year":"1988","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB10","series-title":"Formal Object-Oriented Specification Using Object-Z","author":"Duke","year":"2000"},{"issue":"1","key":"10.1016\/S0950-5849(01)00209-9_BIB11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/32.663994","article-title":"Experiences using lightweight formal methods for requirements modelling","volume":"24","author":"Easterbrook","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB12","series-title":"Developing the UML as a formal modelling notation","author":"Evans","year":"1999"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB13","unstructured":"P. Facon, R. Laleau, H.P. Nguyen, The invoicing system problem: from OMT diagrams to B specifications. Proceedings of the International Workshop on Comparing Systems Specification Techniques, France, IRIN, 1998."},{"key":"10.1016\/S0950-5849(01)00209-9_BIB14","unstructured":"D.C. Fowler, Formal methods in a commercial information systems setting: the FOOM methodology. PhD Thesis, Centre for Information Systems Research, Swinburne University of Technology, Australia, 1996."},{"issue":"7","key":"10.1016\/S0950-5849(01)00209-9_BIB15","first-page":"25","article-title":"An integrated object-oriented and formal modeling environment","volume":"10","author":"France","year":"1997","journal-title":"Object-Oriented Programming"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB16","series-title":"Proceedings of the Algebraic and Software Technology, AMAST'97, LNCS 1349","first-page":"216","article-title":"Rigorous object-oriented modeling: integrating formal and informal notations","author":"France","year":"1997"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB17","series-title":"Proceedings of the International Conference of Z Users, LNCS 967","first-page":"434","article-title":"A two-dimensional view of integrated formal and informal specification techniques","author":"France","year":"1995"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB18","series-title":"Incorporating a Formal Design Technique in an Industrial Setting","author":"France","year":"1998"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB19","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1057\/jit.1995.19","article-title":"Strategic information systems planning: deriving comparative advantage from EDI","volume":"10","author":"Galliers","year":"1995","journal-title":"Information Technology"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB20","unstructured":"L. Gonzalez, C. Ru\u0131\u0301z, Linear algebra and sets theory (LAST)-based formal modeling for IS client-specification, Proceedings of the Pacific Asia Conference on Information Systems, Hong Kong, 2000, pp. 798\u2013817."},{"key":"10.1016\/S0950-5849(01)00209-9_BIB21","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/52.57887","article-title":"Seven myths of formal methods","volume":"7","author":"Hall","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB22","series-title":"Experience in applying formal methods to the analysis of software and system requirements","author":"Hamilton","year":"1995"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB23","series-title":"Applications of Formal Methods","author":"Hinchey","year":"1995"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB24","unstructured":"D. Howe (Ed.), The free on-line dictionary of computing, http:\/\/www.foldoc.org."},{"issue":"3","key":"10.1016\/S0950-5849(01)00209-9_BIB25","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0164-1212(97)00165-9","article-title":"Formal methods and traditional engineering","volume":"40","author":"Jackson","year":"1998","journal-title":"Systems and Software"},{"issue":"4","key":"10.1016\/S0950-5849(01)00209-9_BIB26","first-page":"22","article-title":"Lightweight formal methods","volume":"29","author":"Jackson","year":"1996","journal-title":"IEEE Computer"},{"issue":"4","key":"10.1016\/S0950-5849(01)00209-9_BIB27","first-page":"20","article-title":"A rigorous approach to formal methods","volume":"29","author":"Jones","year":"1996","journal-title":"IEEE Computer"},{"issue":"7","key":"10.1016\/S0950-5849(01)00209-9_BIB28","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/52.493020","article-title":"Applying formal specification in industry","volume":"13","author":"Larsen","year":"1996","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB29","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/ICSE.2000.870392","article-title":"Requirements engineering in the year 00: a research perspective","author":"Lamsweerde","year":"2000","journal-title":"Invited Paper of the 22nd International Conference on Software Engineering"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB30","series-title":"The Future of Software Engineering","first-page":"147","article-title":"Formal specification: a roadmap","author":"van Lamsweerde","year":"2000"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB31","unstructured":"The millennium forum, Final discussion paper on: facing the challenges of globalisation: equity, justice and diversity, http:\/\/www.millenniumforum.org, 2000."},{"key":"10.1016\/S0950-5849(01)00209-9_BIB32","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1049\/sej.1995.0017","article-title":"Computer-aided validation of formal specifications","author":"Mukherjee","year":"1995","journal-title":"Software Engineering"},{"issue":"3\/4","key":"10.1016\/S0950-5849(01)00209-9_BIB33","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0306-4379(98)00005-2","article-title":"Information modeling in the time of the revolution","volume":"23","author":"Mylopoulos","year":"1998","journal-title":"Information Systems"},{"issue":"3","key":"10.1016\/S0950-5849(01)00209-9_BIB34","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0164-1212(97)00166-0","article-title":"Formal methods technology transfer will fail","volume":"40","author":"Parnas","year":"1998","journal-title":"Systems and Software"},{"issue":"8","key":"10.1016\/S0950-5849(01)00209-9_BIB35","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1002\/spe.388","article-title":"A case study using lightweight formalism to review an information system specification","volume":"31","author":"Polack","year":"2001","journal-title":"Software Practice and Experience"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB36","series-title":"The SAZ project: integrating SSADM and Z","author":"Polack","year":"1993"},{"issue":"2","key":"10.1016\/S0950-5849(01)00209-9_BIB37","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1111\/j.1365-2575.1992.tb00071.x","article-title":"Formal specification: an analytic tool for (management) information systems","volume":"2","author":"Swatman","year":"1992","journal-title":"Information Systems"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB38","series-title":"Extending the useful applications domain for formal methods","author":"Swatman","year":"1992"},{"issue":"13","key":"10.1016\/S0950-5849(01)00209-9_BIB39","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1080\/026839698344945","article-title":"Brindging the USER-IS gap: a study of major information systems projects","author":"Taylor-Cummings","year":"1998","journal-title":"Information Technology"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB40","unstructured":"E.N. Wafula, Graphical Representations of Object-Z specifications using MOSES. Mbus Thesis, Centre for Information Systems Research, Swinburg University of Technology, Australia, 1995."},{"key":"10.1016\/S0950-5849(01)00209-9_BIB41","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","article-title":"A specifier's introduction to formal methods","volume":"September","author":"Wing","year":"1990","journal-title":"Computer"},{"issue":"3\/4","key":"10.1016\/S0950-5849(01)00209-9_BIB42","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/S0306-4379(98)00007-6","article-title":"Integrating semi-formal and formal software specification techniques","volume":"23","author":"Wieringa","year":"1998","journal-title":"Information Systems"},{"key":"10.1016\/S0950-5849(01)00209-9_BIB43","doi-asserted-by":"crossref","first-page":"1027","DOI":"10.1016\/S0950-5849(99)00078-6","article-title":"Getting the best from formal methods","volume":"41","author":"Wordsworth","year":"1999","journal-title":"Information and Software Technology"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584901002099?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584901002099?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T08:28:53Z","timestamp":1556872133000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584901002099"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,2]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,2]]}},"alternative-id":["S0950584901002099"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(01)00209-9","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2002,2]]}}}