Desiree: a Refinement Calculus for Requirements Problems. Li, F., Borgida, A., Guizzardi, G., Horkoff, J., Liu, L., & Mylopoulos, J. CoRR, 2016.
![Desiree: a Refinement Calculus for Requirements Problems [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex
Paper bibtex @article{DBLP:journals/corr/LiBGH0M16,
author = {Feng{-}Lin Li and
Alexander Borgida and
Giancarlo Guizzardi and
Jennifer Horkoff and
Lin Liu and
John Mylopoulos},
title = {Desiree: a Refinement Calculus for Requirements Problems},
journal = {CoRR},
volume = {abs/1605.02263},
year = {2016},
url = {http://arxiv.org/abs/1605.02263},
eprinttype = {arXiv},
eprint = {1605.02263},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiBGH0M16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}Downloads: 0
{"_id":"BGQfw3bQdEnSSfQH5","bibbaseid":"li-borgida-guizzardi-horkoff-liu-mylopoulos-desireearefinementcalculusforrequirementsproblems-2016","author_short":["Li, F.","Borgida, A.","Guizzardi, G.","Horkoff, J.","Liu, L.","Mylopoulos, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Feng-Lin"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Borgida"],"suffixes":[]},{"firstnames":["Giancarlo"],"propositions":[],"lastnames":["Guizzardi"],"suffixes":[]},{"firstnames":["Jennifer"],"propositions":[],"lastnames":["Horkoff"],"suffixes":[]},{"firstnames":["Lin"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Mylopoulos"],"suffixes":[]}],"title":"Desiree: a Refinement Calculus for Requirements Problems","journal":"CoRR","volume":"abs/1605.02263","year":"2016","url":"http://arxiv.org/abs/1605.02263","eprinttype":"arXiv","eprint":"1605.02263","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/LiBGH0M16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/LiBGH0M16,\n author = {Feng{-}Lin Li and\n Alexander Borgida and\n Giancarlo Guizzardi and\n Jennifer Horkoff and\n Lin Liu and\n John Mylopoulos},\n title = {Desiree: a Refinement Calculus for Requirements Problems},\n journal = {CoRR},\n volume = {abs/1605.02263},\n year = {2016},\n url = {http://arxiv.org/abs/1605.02263},\n eprinttype = {arXiv},\n eprint = {1605.02263},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/LiBGH0M16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Li, F.","Borgida, A.","Guizzardi, G.","Horkoff, J.","Liu, L.","Mylopoulos, J."],"key":"DBLP:journals/corr/LiBGH0M16","id":"DBLP:journals/corr/LiBGH0M16","bibbaseid":"li-borgida-guizzardi-horkoff-liu-mylopoulos-desireearefinementcalculusforrequirementsproblems-2016","role":"author","urls":{"Paper":"http://arxiv.org/abs/1605.02263"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/92/5983.bib","dataSources":["dyTcuGxD57LtbxsL3","f4HbYCLsjbMkL4HLv","FAhARfcHAqZFXeQeY","qKPLuDFa47zTpMbjA","n2eH3AXH9ief7ePDH","QSSMjBpLFKNYmmuRu","qphgeZAPFp9ji2tYK","pnCqW5psGkQqmqSJQ","mCawYK5PmktpGGCHp","t7uu3xFqHWrJDjDht","gXZY4vbhN9R3KXSJn","cK5foTC4CRGYtht8q","uRnGtJdJGuyc9asZe","H7WRZFRDYRa5K28eh","ELEG3qvYe89KeYqfR","3f6jdyhLRYsi6txBb","q3tPvATmBCdAm5o2Z","d9ASm4dcDy2x6YsZY","FqPJLJNx4RRqzTAN2","QnAGy5FigtnLiEAf6","aZwEBAtb94JhyHPAh","ZDtnXCqqo7FwrpABY","6t2FH2abnnABiCRTG","8ZQr23NJH8tjWx7he","LeAHXwDdQM69e8buN","LsocRhYWhZi9SeCtt","ohdhFwcK7hsD6iXtq","rwe4Whd5E7SdgJz8v","dM29P8b8dgFEcuDcE","5EDKFcihYHssovYhe","ZP9Nj55Ar5qEbjjuE","pheDsHqBLnyTZEdk8","W63EK2xo5c4vbHZuQ","fCd6EtZJdhTRbXYMH","9gEwRQYqcxieX4pHJ","gD2oH8yGMpDh3r3mc","Pgzd8yFWQZ4gLLTfR","8ZKzKWFfW6KoMh2Z5","Dy5yN4ghNjizYTi5u","HxPkStBiCDDzSnZvr","B9Sfyiay3fWfCaMoG","mBxnzP2Ya3mgCpqxB","ftPaEANharAuhYuij","qdmmZNL4NhgxDb3Ji","NzmYZPsDxRQHj2okh","9r4K73kWEZ7icJ7LH","hqJEW4aTauwPxH2CA","PqSBMLtccHwWwKro3","a7XMLoKiZuvypiooh","sMwqdCb8KCFtbaYLf","CJcc867QJJEGyKTu4","B4MZSLdPir5pyympj","pW5ot3wQYwRSoYA8A","9SXWDxDvshFZAsQSa","hrL8Nma4PWTvFWMxG","36289mmc6MAeboYS7","CDBt75woHzPFvm9bB","8mcu7jaqiF3toJSvD","azPfrZE6kMfhj2WKd","GK5ZqcddEnZtpNtma","aqBdihXMiiGFDqciy","Nfgq7NtfmcDN99F3S","cHpockDxEyx8gwA2N","CFPWqyssDWtcJTZeK","L8rYWs2ZY9qKXPK3H","i432bRqMssnogZkKe","5up8eM4ZMtnWFZDvR","GA73uFCBj65aLrvh3","eEArwFH22pYuQDQ2u","GKiqvs68LamPKBfjt","ky4WwhdZGXL9mbqME","XPcBXhbgG9m49buzT","WYQyYawGj8kXveBvC","psL7b9kQqnT675hF3","3EYTPAmojXJscmLx9","td4LGFrNwZYErs2oW","fb6534uh4nbuyi9DK","pCjYzYsuCqLDz5BJJ","GG92efKbMvwqndzum","CzP6QLChJb6dHFwkM","tWXMiQwNDoCb85KzQ","4bKefgAQqqQA2C76s","RzyR2Qtmc4v8A5auu","fJMsghs9BfAG7TWZS","MKug3SsHK6coieXni","AJM97Az34c4AGj7ux","XNwsmD2WbCZYxouRA","w8tbFG7YHT3bdoBRr","vnpD36viZ34X47Lzx","NNsRiA6qfMoqrrbYA","X4yY7wMHoZMCMB6vZ","3z9y5ydQGdE7XRh79","eqhovpfFyxmt6KAiM","fwTtMpXnktFrAQPod","6bG3dDiWsQgqGkFn2","CzJozTp9GXSg8KkkY","2G9Mii39oTvNzvEnD","jZtysaPW8oYxLkKSw","3KsDZoe8KWMyC6JPn","wB8m5ajodE8M7Hs74","AyyFau5YJY7CdXm6M","a2EMFfYi2dbvyeMC8","tjurMmBcsCMy44xrE","EcCHdaekygGMSi8BJ","99MXbx6apSRjkdDWY","BZRjnmLEecPq5X5dE","PkZA7TQZaJGB8GmCE","ieYQRYknLr62CRrHT","YLXMdA8LcziY2x8aw","mcXErrLhzLCKnatZ9","d2bcJxr6RnyfqZZtH","NAT5CwkHAzr2yMve2","uSai4Y6MxKJojaE83","qeNnyLSuNwZYmpTiP","zLrpu2KDBg5ytoFXE","XsiDu5W3D6GNaKCKM","pREq2W2JfwNy66Ew3","KMzPQWRhjGp5tj4in","dwKrACk4ksQEYGQYt","WJgTnqEvCA4iYL2s8","2rreDKXmCYfbrir8Q","wsmQaDHqwJNkevT97","29h3S8LRzuSa8XJRv","YmRBvjGrZbXar8oQH","m2XkZrJpvv99unvGt","8x64WcjhXx4acWmfG","SsyPp6EZg53gEaxFK","tZTg4Cx7KNxdaH5MG","WZRCft8AESivoz5ke","eam83QAKkGmo6tHoD","ccRWTjhKHfgAczAzN","3vHEPa4zKMzfBYLbi","gWwjRFuhXs8wRg6oE","cnQryBQoY6e8TzgcC","4L4LzEkiaKXwA7wYA","2R6FQRe5CPuFcycaS","AyC6goAf4oSTDiHrv","BTPwHT9vgM8bPBRgz","XkNtavbkB4D5PH9fW","h48Rse2APuBmQBizp","X8xT3eutkBexgMGKo","A5vb4TqQDzPenKdhu","L7dechRoSNPNT4o29","rPTYv2p7m7GZavbRA","hTKAENS2QsBoC7xPD","KCDJe4uAW7N9YSP8X","MJJWxSXBBekfEinrW","nk8D39jmLuX6LGcKX","qERFFmdbepradX3XP","abCn7bgfoHj3u4cTc","mL2y3G23PMf6feNsA","XkYAqQKL2ctbrYktb","K65cYzREyDTKi36L2","pwTse9bRy5fkxaz4Q","sJPwYRnqQ4vnwK24i","NhFf29XvG7aJCEmRo","7TWMKFRE2wsyhMcd5","r4qReAFkEgCxdPkLj","EfnnM5rdaTJ6BGiuJ","EAve28ZQSbyfKyYuo","JJmeYxGtnnGxv7g7B","ayzMQ2vq8PBXa9ivu","RehqfHxhM7BMSAdqZ","sMByRTLACRcnWcf3m","8RY33nkD9jd68ufx8","dukdPDd8q682BLZSK","ZpyBKXQthcadHLjzA","jeQgY65mFWEiHWfBM","7ccWFZ4pzEXsyo3ms","gqJnrtHJZ6D56tW5a","xXiBxraFKeHFbhzES","zFbBHd9rWipDAHLaW","gYu6jN2AnJAF6hZWR","dXbQtDrKN94SA8Ktb","jCLGTwB2iyhet2c4i","HLbbsXqRZ5QcfHL6H","RZg8ZKcxG352EjW3z","oCSmW7xAQDdfPybF3","9vsbRLg7yugezfQAJ","3tkDeTYhZ2LNgyYNw","tDnmmyuT9dEbspvvx","Tnftiefax3tArekMD","vYccx8Sc4oYKHBKGk","ZJBvP5xi2RaHer9kx","Dk7sk3zJYCfDNwHk8","bp6or2YGAKoxRgQdo","sPXjkQfnQvfxZAeG4","RjBKqDMzKdMnzF7Rn","PouMrh7dNSAzm59Jj","QbN6EETfy6BBkzZaN","YgTiSu8kyKdFLx6Nd","3iLjjtWn6m2nsWwJR","MXE7NPM4n5zzLWFu7","GQMTi4oS3EdpLz7vS","bbobiNF9cLKqBpfci","7viyoKvNTpNwWaDEG","gTNkHawLFxzBfxsAc","PXxoFzgfWjfcZ52M3","KQSMEme9nPvmXeuJr","n2wh5ZvBE7nSnJZdQ","ySbLmi66YnsKeSPvJ","kRtYxuJBM4wCoNqiL","a3B6Yd47Prwq4coj6","WhhGibFGku4WyMi7n","eacKywX5uYyh9B6jC","dujRz9KMvHmMKiCcs","aPymGQLiLrEuYqciN","dnRwYhTRbp7JGvJzX","t5D6b5ZQnZWSz9iiH","F2PzxzjZ7rkdMWDhB","2GkTELSYAPtksSQXG","aAruBxZ457FJWLkGx","CFKTbR892TiNrpDXe","EQzeZ5vRH2iEMdt6W","xQXHrvJjRYmzDph37","dc3B3DhyEcsWDeafz","jHDcKJasZrYHtJZpt","WE6Xieqbkw4yFmhYb","sHi27NTMCwdNPQw5q","ft2gdHGaYs9R37T2N","Q4SH2zki7wTRqd75x","tR2LcJ5GHJkDsjAtk","FByqYS6zpqGohXM3v","JTn2c2ZdNxpRymQGT","35sBgagSkEXRe28jc","Rg4u7zggtPM4Sve9v","i224a73GXJwoBuiN3","FuycysPRXeqhDqZqu","2RLJFE9GscAKkvcmv","comuXYrRHk8TmwjuW","4Wkb4AmcWQDdq9WbY","y2cXSBtLZaWaRrfEH","mor6jD8EzQy2PRPXR","rwmWqSLim7dKFkHZu","JZayHb7gcgMHnRu2n","6wurBNBkoxb3fbRvQ","Rf6fY9SEdtc9wEGtK","xKDAtE2RCdicMnauq","8YA9E9gzgb8ZEd92k","ZNm4BWQfw49bptqKk","4MzrmmHAxzwFyHpPD","HzfdLuABGg9orLZBs","Y4JkF4fk3Ko6yopNn","nj2qA2fj5CQwSEz74","v6zDpah2HJcGPdRaD","28NzyqALBSFgpwFWi","qEMbFZfdCugrAeS3e","c9HoeZg9dim5fHyQx","L3dqcrSPdmYvARRhf","w3a3sFMeie9htdBsd","k5aos3JWZmg65pbMJ","ugRZinWHCCm8Ncs63","iN7NK94wtmqGQNdTN","j7hLE8DyB9JqcfiW5","T4vZpsoikatZvc9Ja","NoZxXarjM6ZAzmphP","XD94fXtR7XBPA5KRj","hE9qALAu6M3Bizz2H","8wXMm4NZjjE7wifDa"],"keywords":[],"search_terms":["desiree","refinement","calculus","requirements","problems","li","borgida","guizzardi","horkoff","liu","mylopoulos"],"title":"Desiree: a Refinement Calculus for Requirements Problems","year":2016}