{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:47:50Z","timestamp":1760586470260,"version":"3.35.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,11,6]],"date-time":"2008-11-06T00:00:00Z","timestamp":1225929600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s10515-008-0042-8","type":"journal-article","created":{"date-parts":[[2008,11,5]],"date-time":"2008-11-05T21:58:48Z","timestamp":1225922328000},"page":"3-35","source":"Crossref","is-referenced-by-count":45,"title":["Monitoring and diagnosing software requirements"],"prefix":"10.1007","volume":"16","author":[{"given":"Yiqiao","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila A.","family":"McIlraith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yijun","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,11,6]]},"reference":[{"key":"42_CR1","unstructured":"Bjork, R.: An example of object-oriented design: an ATM simulation. http:\/\/www.cs.gordon.edu\/courses\/cs211\/ATMExample\/index.html\/ (2007)"},{"key":"42_CR2","unstructured":"Castello, R.: Squirrel mail. http:\/\/www.squirrelmail.org\/ (2007)"},{"issue":"1\u20132","key":"42_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1\u20132), 3\u201350 (1993)","journal-title":"Sci. Comput. Program."},{"key":"42_CR4","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. J. ACM 5, 394\u2013397 (1962)","journal-title":"J. ACM"},{"issue":"2\u20133","key":"42_CR5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer De","year":"1992","unstructured":"De Kleer, J., Mackworth, A.K., Reiter, R.: Characterizing diagnoses and systems. Artif. Intell. 56(2\u20133), 197\u2013222 (1992)","journal-title":"Artif. Intell."},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Feather, M.S., Fickas, S., Van Lamsweerde, A., Ponsard, C.: Reconciling system requirements and runtime behavior. In: 9th International Workshop on Software Specification and Design (1998)","DOI":"10.1109\/IWSSD.1998.667919"},{"key":"42_CR7","doi-asserted-by":"crossref","unstructured":"Fickas, S., Feather, M.: Requirements monitoring in dynamic environments. In: Second IEEE International Symposium on Requirements Engineering (1995)","DOI":"10.1109\/ISRE.1995.512555"},{"key":"42_CR8","first-page":"167","volume-title":"Conceptual Modeling","author":"P. Giorgini","year":"2002","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Conceptual Modeling, pp. 167\u2013181. Springer, Berlin (2002)"},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"Goldberg, E., Novikov, Y.: Berkmin: A fast and robust SAT-solver. In: Design, Automation, and Test in Europe, pp. 142\u2013149 (2002)","DOI":"10.1109\/DATE.2002.998262"},{"key":"42_CR10","first-page":"31","volume":"15","author":"G. Iwan","year":"2002","unstructured":"Iwan, G.: History-based diagnosis templates in the framework of the situation calculus. AI Commun. 15, 31\u201345 (2002)","journal-title":"AI Commun."},{"key":"42_CR11","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Comput. Soc. 36, 41\u201350 (2003)","journal-title":"IEEE Comput. Soc."},{"key":"42_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45337-7_18","volume-title":"An Overview of AspectJ","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J.K.M., Palm, J., Griswold, W.: An Overview of AspectJ. Springer, Berlin (2001)"},{"key":"42_CR13","doi-asserted-by":"crossref","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A.V. Lamsweerde","year":"2000","unstructured":"Lamsweerde, A.V., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Trans. Softw. Eng. 26, 978\u20131005 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"42_CR14","unstructured":"Le Berre, D.: A satisfiability library for Java. http:\/\/www.sat4j.org\/ (2007)"},{"key":"42_CR15","unstructured":"McIlraith, S.: Explanatory diagnosis: Conjecturing actions to explain observations. In: Principles of Knowledge Representation and Reasoning, pp. 167\u2013179 (1998)"},{"key":"42_CR16","unstructured":"McIlraith, S., Fadel, R.: Planning with complex actions. In: International Workshop on Non-Monotonic Reasoning, pp. 356\u2013364 (2002)"},{"key":"42_CR17","first-page":"530","volume-title":"Design Automation","author":"M.W. Moskewicz","year":"2001","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient sat solver. In: Design Automation, pp. 530\u2013535. Assoc. Comput. Mach., New York (2001)"},{"issue":"6","key":"42_CR18","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1109\/32.142871","volume":"18","author":"J. Mylopoulos","year":"1992","unstructured":"Mylopoulos, J., Chung, L., Nixon, B.: Representing and using nonfunctional requirements: a process-oriented approach. IEEE Trans. Softw. Eng. 18(6), 483\u2013497 (1992)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"42_CR19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"42_CR20","doi-asserted-by":"crossref","unstructured":"Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Artificial Intelligence and Mathematical Theory of Computation, pp.\u00a0359\u2013380 (1991)","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"42_CR21","doi-asserted-by":"crossref","unstructured":"Robinson, W.N.: Implementing rule-based monitors within a framework for continuous requirements monitoring. In: 38th Annual Hawaii International Conference on System Sciences (2005)","DOI":"10.1109\/HICSS.2005.306"},{"key":"42_CR22","unstructured":"Ryan, L.: Efficient algorithms for clause-learning SAT solvers. Master\u2019s Thesis, Simon Fraser University (2004)"},{"key":"42_CR23","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-25975-6_4","volume-title":"The 16th International Conference on Advanced Information Systems Engineering","author":"R. Sebastiani","year":"2004","unstructured":"Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and minimum-cost satisfiability for goal models. In: The 16th International Conference on Advanced Information Systems Engineering, vol. 4, pp. 20\u201333. Springer, Berlin (2004)"},{"key":"42_CR24","unstructured":"W3C: Web services (2002)"},{"key":"42_CR25","doi-asserted-by":"crossref","unstructured":"Wang, Y., McIlraith, S., Yu, Y., Mylopoulos, J.: An automated approach to monitoring and diagnosing requirements. In: 22nd IEEE\/ACM International Conference on Automated Software Engineering (2007)","DOI":"10.1145\/1321631.1321675"},{"key":"42_CR26","doi-asserted-by":"crossref","unstructured":"Winbladh, K., Alspaugh, T.A., Ziv, H., Richardson, D.J.: An automated approach for goal-driven, specification-based testing. In: 21st IEEE\/ACM International Conference on Automated Software Engineering (2006)","DOI":"10.1109\/ASE.2006.11"},{"key":"42_CR27","doi-asserted-by":"crossref","unstructured":"Yu, Y., Wang, Y., Mylopoulos, J., Liaskos, S., Lapouchnian, A., do Prado Leite, J.C.S.: Reverse engineering goal models from legacy code. In: Second IEEE International Symposium on Requirements Engineering, pp. 363\u2013372 (2005)","DOI":"10.1109\/RE.2005.61"},{"key":"42_CR28","unstructured":"Zhou, X.: A goal-oriented instrumentation approach for monitoring requirements. Master\u2019s Thesis, University of Toronto (2008)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-008-0042-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-008-0042-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-008-0042-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T14:31:08Z","timestamp":1738506668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-008-0042-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,6]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["42"],"URL":"https:\/\/doi.org\/10.1007\/s10515-008-0042-8","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2008,11,6]]}}}