{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T13:28:05Z","timestamp":1758806885767,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/re.2010.24","type":"proceedings-article","created":{"date-parts":[[2010,11,23]],"date-time":"2010-11-23T15:35:32Z","timestamp":1290526532000},"page":"115-124","source":"Crossref","is-referenced-by-count":73,"title":["Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling"],"prefix":"10.1109","author":[{"given":"Ivan J.","family":"Jureta","sequence":"first","affiliation":[]},{"given":"Alex","family":"Borgida","sequence":"additional","affiliation":[]},{"given":"Neil A.","family":"Ernst","sequence":"additional","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857079"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.26"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/102675.102676"},{"key":"15","first-page":"281","article-title":"A more expressive softgoal conceptualization for quality requirements analysis","author":"jureta","year":"2006","journal-title":"Proc 20th Int l Conf Conceptual Modeling"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2008.13"},{"key":"13","article-title":"Boolean compilation of relational specifications","author":"jackson","year":"1997","journal-title":"MIT Tech Rep MIT-LCS-735"},{"year":"2010","author":"jureta","key":"14"},{"key":"11","first-page":"225","article-title":"Capturing more world knowledge in the requirements specification","author":"greenspan","year":"1982","journal-title":"Proc Int Conf Software Engineering"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/292182.292187"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.2001.948567"},{"journal-title":"Introducing Z A Specification Language and Its Formal Semantics","year":"1988","author":"spivey","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/9758.10500"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566873"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296775"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267581"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(02)00012-1"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0048942"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(86)90020-7"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0191-7"},{"key":"6","first-page":"393","article-title":"Formal requirements engineering with ERAE","volume":"43","author":"dubois","year":"1988","journal-title":"Philips Journal of Research"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296773"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39733-5_1"}],"event":{"name":"2010 IEEE 18th International Conference on Requirements Engineering (RE)","start":{"date-parts":[[2010,9,27]]},"location":"Sydney, Australia","end":{"date-parts":[[2010,10,1]]}},"container-title":["2010 18th IEEE International Requirements Engineering Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5634607\/5636534\/05636885.pdf?arnumber=5636885","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T03:30:03Z","timestamp":1490067003000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5636885\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/re.2010.24","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}