{"_id":{"_str":"53ff72c17c90ec6e1300103b"},"__v":0,"authorIDs":[],"author_short":["ter Hofstede, A.<nbsp>H.<nbsp>M.","Proper, H.<nbsp>A."],"bibbaseid":"terhofstede-proper-howtoformalizeitformalizationprinciplesforinformationsystemsdevelopmentmethods-1998","bibdata":{"downloads":0,"role":"author","bibbaseid":"terhofstede-proper-howtoformalizeitformalizationprinciplesforinformationsystemsdevelopmentmethods-1998","year":"1998","volume":"40","type":"article","title":"How to Formalize It? Formalization Principles for Information Systems Development Methods","pages":"519-540","number":"10","key":"hof98","journal":"Information and Software Technology","id":"hof98","doi":"http://portal.acm.org/citation.cfm?id=869838","bibtype":"article","bibtex":"@article{ hof98,\n author = {A. H. M. ter Hofstede and H. A. Proper},\n title = {How to Formalize It? Formalization Principles for Information Systems Development Methods},\n journal = {Information and Software Technology},\n year = {1998},\n volume = {40},\n number = {10},\n pages = {519-540},\n doi = {http://portal.acm.org/citation.cfm?id=869838},\n abstract = {Although the need for formalisation of modelling techniques is generally recognised, not much literature is devoted to the actual process involved. This is comparable to the situation in mathematics where focus is on proofs but not on the process of proving. This paper tries to accommodate for this lacuna and provides essential principles for the process of formalisation in the context of modelling techniques as well as a number of small but realistic formalisation case studies.}\n}","author_short":["ter Hofstede, A.<nbsp>H.<nbsp>M.","Proper, H.<nbsp>A."],"author":["ter Hofstede, A. H. M.","Proper, H. A."],"abstract":"Although the need for formalisation of modelling techniques is generally recognised, not much literature is devoted to the actual process involved. This is comparable to the situation in mathematics where focus is on proofs but not on the process of proving. This paper tries to accommodate for this lacuna and provides essential principles for the process of formalisation in the context of modelling techniques as well as a number of small but realistic formalisation case studies."},"bibtype":"article","biburl":"http://dret.net/biblio/dret.bib","creationDate":"2014-08-28T18:19:45.707Z","downloads":0,"keywords":[],"search_terms":["formalize","formalization","principles","information","systems","development","methods","ter hofstede","proper"],"title":"How to Formalize It? Formalization Principles for Information Systems Development Methods","year":1998,"dataSources":["mL7NKvaepNEWFcMvG"]}