{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:47:08Z","timestamp":1730292428743,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/rcis.2014.6861082","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T17:06:55Z","timestamp":1406653615000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Intelligent systems for users' automated guidance"],"prefix":"10.1109","author":[{"given":"Elena","family":"Kushnareva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2012","author":"helvas","key":"3"},{"key":"2","article-title":"Improving knowledge work processes","volume":"37","author":"davenport","year":"1996","journal-title":"Sloan Management Review"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2"},{"key":"1","article-title":"Management of knowledge intensive business processes","author":"gronau","year":"2004","journal-title":"BPM'04"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s007790170019"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI16234_07"},{"key":"5","first-page":"383","volume":"567","author":"boley","year":"1991","journal-title":"Declarative and Procedural Paradigms - Do They Really Compete?"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36285-9_8"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2013.6577702"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38484-4_4"},{"key":"11","article-title":"Application of lightweight formal methods in requirement engineering","author":"george","year":"2003","journal-title":"Crosstalk The Journal of Defense Software Engineering"},{"key":"12","article-title":"A lightweight approach to formal methods","author":"agerholm","year":"1998","journal-title":"Proc Int Workshop Current Trends Appl Formal Methods (FM-Trends)"}],"event":{"name":"2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2014,5,28]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2014,5,30]]}},"container-title":["2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6848887\/6860531\/06861082.pdf?arnumber=6861082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T15:33:11Z","timestamp":1490283191000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6861082\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/rcis.2014.6861082","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}