@inproceedings{DBLP:conf/refsq/LiHBG0M15,
  author       = {Feng{-}Lin Li and
                  Jennifer Horkoff and
                  Alexander Borgida and
                  Giancarlo Guizzardi and
                  Lin Liu and
                  John Mylopoulos},
  editor       = {Samuel A. Fricker and
                  Kurt Schneider},
  title        = {From Stakeholder Requirements to Formal Specifications Through Refinement},
  booktitle    = {Requirements Engineering: Foundation for Software Quality - 21st International
                  Working Conference, {REFSQ} 2015, Essen, Germany, March 23-26, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9013},
  pages        = {164--180},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16101-3\_11},
  doi          = {10.1007/978-3-319-16101-3\_11},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refsq/LiHBG0M15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"bfff44dYQFe4p2zov","bibbaseid":"li-horkoff-borgida-guizzardi-liu-mylopoulos-fromstakeholderrequirementstoformalspecificationsthroughrefinement-2015","author_short":["Li, F.","Horkoff, J.","Borgida, A.","Guizzardi, G.","Liu, L.","Mylopoulos, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Feng-Lin"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["Jennifer"],"propositions":[],"lastnames":["Horkoff"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Borgida"],"suffixes":[]},{"firstnames":["Giancarlo"],"propositions":[],"lastnames":["Guizzardi"],"suffixes":[]},{"firstnames":["Lin"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Mylopoulos"],"suffixes":[]}],"editor":[{"firstnames":["Samuel","A."],"propositions":[],"lastnames":["Fricker"],"suffixes":[]},{"firstnames":["Kurt"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]}],"title":"From Stakeholder Requirements to Formal Specifications Through Refinement","booktitle":"Requirements Engineering: Foundation for Software Quality - 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings","series":"Lecture Notes in Computer Science","volume":"9013","pages":"164–180","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-16101-3\\_11","doi":"10.1007/978-3-319-16101-3_11","timestamp":"Sat, 16 Sep 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/refsq/LiHBG0M15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/refsq/LiHBG0M15,\n author = {Feng{-}Lin Li and\n Jennifer Horkoff and\n Alexander Borgida and\n Giancarlo Guizzardi and\n Lin Liu and\n John Mylopoulos},\n editor = {Samuel A. Fricker and\n Kurt Schneider},\n title = {From Stakeholder Requirements to Formal Specifications Through Refinement},\n booktitle = {Requirements Engineering: Foundation for Software Quality - 21st International\n Working Conference, {REFSQ} 2015, Essen, Germany, March 23-26, 2015.\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9013},\n pages = {164--180},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-16101-3\\_11},\n doi = {10.1007/978-3-319-16101-3\\_11},\n timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/refsq/LiHBG0M15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Li, F.","Horkoff, J.","Borgida, A.","Guizzardi, G.","Liu, L.","Mylopoulos, J."],"editor_short":["Fricker, S. A.","Schneider, K."],"key":"DBLP:conf/refsq/LiHBG0M15","id":"DBLP:conf/refsq/LiHBG0M15","bibbaseid":"li-horkoff-borgida-guizzardi-liu-mylopoulos-fromstakeholderrequirementstoformalspecificationsthroughrefinement-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-16101-3\\_11"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","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":["stakeholder","requirements","formal","specifications","through","refinement","li","horkoff","borgida","guizzardi","liu","mylopoulos"],"title":"From Stakeholder Requirements to Formal Specifications Through Refinement","year":2015}