{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:46:29Z","timestamp":1760586389890},"reference-count":72,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,5,11]],"date-time":"2006-05-11T00:00:00Z","timestamp":1147305600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Software Eng"],"published-print":{"date-parts":[[2006,10]]},"DOI":"10.1007\/s10515-006-7999-y","type":"journal-article","created":{"date-parts":[[2006,5,27]],"date-time":"2006-05-27T08:09:49Z","timestamp":1148717389000},"page":"469-496","source":"Crossref","is-referenced-by-count":20,"title":["An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation"],"prefix":"10.1007","volume":"13","author":[{"given":"Karsten","family":"Loer","sequence":"first","affiliation":[]},{"given":"Michael D.","family":"Harrison","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,11]]},"reference":[{"key":"7999_CR1","doi-asserted-by":"crossref","unstructured":"Abowd, G., Wang, H.-M., & Monk, A.: A formal technique for automated dialogue development. In Proceedings of the First Symposium on Designing Interactive Systems, DIS\u201995, ACM Press pp. 212\u2013226 (1995).","DOI":"10.1145\/225434.225459"},{"key":"7999_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Mang, F., Qadeer, S., Rajamani, S., & Tasiran, S.: Mocha: Modularity in model checking. In number 1427 in Lecture Notes in Computer Science A. Hu and M. Vardi (eds.), Proceedings of CAV 98: Computer Aided Verification, Springer-Verlag pp. 521\u2013525 (1998).","DOI":"10.1007\/BFb0028774"},{"key":"7999_CR3","unstructured":"Amnell, T., Behrmann, G., Bengtsson, J., D\u2019Argenio, P., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K., M\u00f6ller, M., Pettersson, P., Weise, C., & Yi, W.: UPPAAL\u2014Now, next, and future. In number 2067 in Lecture Notes in Computer Science Tutorial Cassez, F., Jard, C., Rozoy, B. & Ryan. M. (eds.), Modelling and Verification of Parallel Processes, Springer-Verlag, pp. 100\u2013125 (2001)."},{"key":"7999_CR4","unstructured":"Belotti, V., Shum, S., MacLean, A., & Hammond, N.: Multidisciplinary modelling in HCI design ... in theory and in practice. In Human Factors in Computing Systems: CHI\u201995 Conference Proceedings, ACM Press, Addison Wesley pp. 146\u2013153 (1995)."},{"issue":"2","key":"7999_CR5","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/1061254.1061256","volume":"14","author":"J. Berstel","year":"2005","unstructured":"Berstel, J., Reghizzi, S., Rouseel, G., & Pietro, P.: A scalable formal method for the design and automatic checking of user interfaces. ACM Transactions on Software Engineering and Methodology 14(2), 124\u2013167 (2005).","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"7999_CR6","unstructured":"Bienm\u00fcller, T., Damm, W., & Wittke, H.: The S tatemate Verification Environment\u2014Making it real. E. Emerson, and A. Sistla., 12th international Conference on Computer Aided Verification, CAV, In number 1855 in Lecture Notes in Computer Science (Springer-Verlag, Berlin) pp. 561\u2013567 (2000)."},{"key":"7999_CR7","unstructured":"Brockmeyer, U.: Verifikation von S tatemate Designs. PhD thesis. Carl-von-Ossietzky Universit\u00e4t Oldenburg, Oldenburg, Germany (1999)."},{"key":"7999_CR8","unstructured":"Burton, S.: Automated generation of high integrity test suites from graphical specifications. PhD thesis, Department of Computer Science, University of York. UK (2002)."},{"key":"7999_CR9","unstructured":"Butler, R.W., Miller, S.P., Potts, J.N., & Carreno, V.A.: A formal methods approach to the analysis of mode confusion. In Proceedings of the 17th Digital Avionics Systems Conference, Bellevue, Washington (1998)."},{"key":"7999_CR10","unstructured":"Cadence Berkeley Laboratories. Cadence SMV Homepage. http:\/\/www-cad.eecs.berkeley.edu\/~kenmcmil\/smv\/ (2000)."},{"key":"7999_CR11","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1011265604021","volume":"8","author":"J. Campos","year":"2001","unstructured":"Campos, J., & Harrison, M.: Model checking interactor specifications. Automated Software Engineering 8, 275\u2013310 (2001).","journal-title":"Automated Software Engineering"},{"key":"7999_CR12","unstructured":"Canver, E.: Einsatz von model-checking zur analyse von message sequence charts\u00fcber statecharts. Ulmer Informatik Berichte 99\u2013104 (1999)."},{"issue":"7","key":"7999_CR13","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"W. Chan","year":"1998","unstructured":"Chan, W., Anderson, R., Beame, P., Burns, S., Modugno, F., Notkin, D., & Reese, J., Model checking large software specifications. IEEE Transactions on Software Engineering, 24(7), 498\u2013520 (1998).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7999_CR14","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., & Tacchella, A.: NuSMV 2: An open source tool for symbolic model checking. In K.G. Larsen and E. Brinksma Computer-Aided Verification (CAV \u201902), volume 2404 of Lecture Notes in Computer Science. Springer-Verlag (2002).","DOI":"10.1007\/3-540-45657-0_29"},{"key":"7999_CR15","unstructured":"Clarke, E., Grumberg, O., & Peled, D.: Model Checking. MIT Press (1999)."},{"key":"7999_CR16","unstructured":"Clarke, E., & Heinle, W.: Modular Translation of Statecharts to SMV. Technical Report CMU-CS-00-XXX, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 15213 (2000)."},{"issue":"2","key":"7999_CR17","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"Clarke, E., & Sistla, E.E.A.: Automatic verification of finite-state concurrent systems using temporal logic specifications. Transactions on Programming Languages and Systems, 8(2) 244\u2013263 (1986).","journal-title":"Transactions on Programming Languages and Systems"},{"key":"7999_CR18","doi-asserted-by":"crossref","unstructured":"d\u2019Ausbourg, B.: Using model checking for the automatic validation of user interfaces systems. In P. Markopoulos, and Johnson P, Design, Specification and Verification of Interactive Systems \u201998, Proceedings of the Eurographics Workshop, in Abingdon, UK, Eurographics, SpringerWienNewYork, pp. 242\u2013260 (1998).","DOI":"10.1007\/978-3-7091-3693-5_16"},{"key":"7999_CR19","unstructured":"Day, N.: A model checker for statecharts. Master\u2019s thesis. Department of Computer Science, University of British Columbia. Available as Technical Report 93\u201335 (1993)."},{"key":"7999_CR20","unstructured":"Degani, A., Modeling human-machine systems: on modes. error, and patterns of interaction. PhD thesis, Georgia Institute of Technology (1996)."},{"key":"7999_CR21","doi-asserted-by":"crossref","unstructured":"Dennis, L.A., Collins, G., Norrish, M., Boulton, R., Slind, K., Robinson, G., Gordon, M., & Melham, T., The PROSPER Toolkit. In Graf, S. and Schwartbach, M. (eds.), Tools and Algorithms for Constructing Systems (TACAS 2000), number 1785 in Lecture Notes in Computer Science. Springer-Verlag, pp. 78\u201392 (2000).","DOI":"10.1007\/3-540-46419-0_7"},{"key":"7999_CR22","unstructured":"Dix, A., Finlay, J., Abowd, G., & Beale, R.: Human Computer Interaction (2nd edition). Prentice Hall, Europe (1998)."},{"issue":"4","key":"7999_CR23","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1207\/s15327051hci1304_1","volume":"13","author":"D.J. Duke","year":"1998","unstructured":"Duke, D.J., Barnard, P.J., Duce, D.A., & May, J.: Syndetic Modelling. Human Computer Interaction 13(4), 337\u2013393 (1998).","journal-title":"Human Computer Interaction"},{"key":"7999_CR24","doi-asserted-by":"crossref","unstructured":"Dwyer, M., Avrunin, G., & Corbett, J.: Patterns in property specifications for finite-state verification. In 21st International Conference on Software Engineering, Los Angeles, California (1999).","DOI":"10.1145\/302405.302672"},{"key":"7999_CR25","doi-asserted-by":"crossref","unstructured":"Feyerabend, K., & Josko, B.: A visual formalism for real time requirement specifications. In Bertran K., and Rus T., Transformation-Based Reactive Systems Development, Proc. 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS\u201997, volume 1231 of Lecture Notes in Computer Science. Springer-Verlag, pp. 156\u2013168 (1997).","DOI":"10.1007\/3-540-63010-4_11"},{"key":"7999_CR26","unstructured":"Fields, R., Analysis of erroneous actions in the design of critical systems. PhD thesis. Department of Computer Science, University of York, Heslington, York, YO10 5DD (2001)."},{"key":"7999_CR27","unstructured":"Filkorn, T., Schneider, H.A., Scholz, A., Strasser, A., & Warkentin, P.: SVE User\u2019s Guide. Technical report, Siemens AG, ZFETSE I, D-81730 M\u00fcnchen, Germany (1994)."},{"key":"7999_CR28","unstructured":"Flake, S., Mueller, W., & Ruf, J.: Structured english for model checking specification. In GI-Workshop \u201cMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen\u201d, Frankfurt. Gesellschaft f\u00fcr Informatik (2000)."},{"key":"7999_CR29","doi-asserted-by":"crossref","unstructured":"Glinz, M.: An integrated formal model of scenarios based on statecharts. In Schafer W. and Botella P., (eds.), Proceedings of ESEC\u201995 - 5th European software engineering conference, number 989 in Lecture Notes in Computer Science. Springer Berlin pp. 254\u2013271 (1995).","DOI":"10.1007\/3-540-60406-5_19"},{"issue":"3","key":"7999_CR30","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1207\/s15327051hci1303_2","volume":"13","author":"W. Gray","year":"1998","unstructured":"Gray, W., & Salzman, M.: Damaged merchandise? a review of experiments that compare usability evaluation methods. Human Computer Interaction, 13(3), 203\u2013261 (1998).","journal-title":"Human Computer Interaction"},{"issue":"4","key":"7999_CR31","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D., Loachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., & Trakhtenbrot, M.: S tatemate: A working environment for the development od complex reactive systems. IEEE Transactions on Software Engineering, 16(4) 403\u2013413 (1990).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7999_CR32","unstructured":"Hildebrandt, M., & Harrison, M.: The temporal dimension of dynamic function allocation. In S. Bagnara, Pozzi A.R., and Wright P., (eds.) 11th European Conference on Cognitive Ergonomics (ECCE 11). (Istituto di Scienze e Tecnologie della Cognizione Consiglio Nazionale delle Ricerche, 2002) pp. 283\u2013 292."},{"key":"7999_CR33","unstructured":"Holzmann, G.: The SPIN Model Checker, Primer and Reference Manual. Addison Wesley (2003)."},{"issue":"5","key":"7999_CR34","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23(5), 279\u2013295 (1997).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7999_CR35","unstructured":"Horrocks, I.: Constructing the User Interfaces with StateCharts. Addison Wesley, (1999)."},{"key":"7999_CR36","unstructured":"Hutter, D., Mantel, H., Rock, G., Stephan, W., Wolpers, A., Balser, M., Reif, W., Schnellhorn, G., & Stenzel, K.: VSE: Controlling the complexity in formal software development. In Hutter, D., Stephan, W., Traverso, P., & Ullmann, M., (eds.), Proceedings Current Trends in Applied Formal Methods, FM-Trends 98. No. 1641 in Lecture Notes in Computer Science. Springer Verlag (1999) pp. 351\u2013358."},{"key":"7999_CR37","unstructured":"i-Logix, S tatemate Magnum Certifier Pattern Library User Guide. i-Logix Inc., OFFIS Systems and Consulting GmbH. (2002)"},{"key":"7999_CR38","unstructured":"IEC.: IEC 61508: Functional Safety of electrical\/electronic\/programmable electronic safety-related systems. International Engineering Consortium (1999)."},{"key":"7999_CR39","unstructured":"Kermelis, M.: Towards an improved understanding of model-checking traces by visualisation. Master\u2019s thesis. Department of Computer Science, University of York. UK (2003)."},{"key":"7999_CR40","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1177\/001872086100300107","volume":"3","author":"M.I. Kurke","year":"1961","unstructured":"Kurke, M.I.: Operational sequence diagrams in system design. Human Factors 3, 66\u201373 (1961).","journal-title":"Human Factors"},{"issue":"6","key":"7999_CR41","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., & Massink, M.: Automatic verification of a behavioural subset of UML statechart diagrams using the spin model-checker. Formal Aspects of Computing, 11(6), 637\u2013664 (1999).","journal-title":"Formal Aspects of Computing"},{"key":"7999_CR42","unstructured":"Lilius, J., & Porres Paltor, I. : vUML: a Tool for Verifying UML Models. Technical Report 272, Turku Centre for Computer Science, \u00c5bo. Akademi University. Department of Computer Science, Lemmingk&aum;isenkatu, FIN-20520 Turku, Finland (1999)."},{"key":"7999_CR43","unstructured":"Loer, K.: Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis. Department of Computer Science. University of York. UK (2003)."},{"key":"7999_CR44","doi-asserted-by":"crossref","unstructured":"Loer, K., & Harrison, M.: Formal interactive systems analysis and usability inspection methods: Two incompatible worlds? In editors by Palanque, P., & Patern\u00f3, F., (eds.), 7th International Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 2000), volume 1946 of Springer Lecture Notes in Computer Science, Springer-Verlag pp. 169\u2013190 (2001).","DOI":"10.1007\/3-540-44675-3_11"},{"key":"7999_CR45","doi-asserted-by":"crossref","unstructured":"Loer, K., & Harrison, M.: Towards usable and relevant model checking techniques for the analysis of dependable interactive systems. In W. Emmerich and D. Wile editors, Proceedings of Automated Systems Engineering: ASE\u201902, (IEEE Computer Society Press, 2002).","DOI":"10.1109\/ASE.2002.1115016"},{"key":"7999_CR46","unstructured":"Loer, K., & Harrison, M.: Model-based formal analysis of temporal aspects in human-computer interaction. In Proceedings of the HCI2003 Workshop on the Temporal Aspects of Tasks, Bath, United Kingdom (2003)."},{"key":"7999_CR47","unstructured":"Loer, K., & Harrison, M.: Analysing and modelling context in mobile systems to support design. Technical Report CS-TR-876, University of Newcastle upon Tyne, http:\/\/homepages.cs.ncl.ac.uk\/michael.harrison\/publications.htm , (2004)."},{"key":"7999_CR48","doi-asserted-by":"crossref","unstructured":"Loer, K., & Harrison, M.: Analysing user confusion in context aware mobile applications. In M. Constabile and F. Patern\u00f2 (eds.), INTERACT 2005, number 3585, Springer Lecture Notes in Computer Science, pp. 184\u2013197 (2005).","DOI":"10.1007\/11555261_18"},{"key":"7999_CR49","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems-Specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., & Pnueli, A., The Temporal Logic of Reactive and Concurrent Systems-Specification. Springer-Verlag, New York (1992)."},{"key":"7999_CR50","unstructured":"Merriam-Webster.: WWWebster dictionary. ttp:\/\/www.m-w.com\/netdict.tm accessed 27-10-2003. (2003)."},{"key":"7999_CR51","unstructured":"Mikk, E., Lakhnech, Y., Petersohn, C., & Siegel, M.: On formal semantics of statecharts as supported by S tatemate. In Second BCS-FACS Northern Formal Methods Workshop, Ilkley, UK. Springer-Verlag, (1997)."},{"key":"7999_CR52","unstructured":"Mikk, E., Lakhnech, Y., Siegel, M., & Holzmann, G.: Verifying statecharts with spin. In B. Cheng (ed.), Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques (WIFT \u201998), IEEE Computer Society Press, Boca Raton, FL, USA (1998)."},{"key":"7999_CR53","unstructured":"MoD, Safety management requirements for defence systems. Defence Standard 0056, Part 2, Issue 2, Ministry of Defence, Directorate of Standardization. Kentigern House, 65 Brown Street, Glasgow G2 8EX, UK (1996)"},{"key":"7999_CR54","unstructured":"Monk, A., Wright, P., Haber, J., & Davenport, L.: Improving Your Human-Computer Interface: A Practical Technique, Prentice-Hall (1993)."},{"key":"7999_CR55","doi-asserted-by":"crossref","unstructured":"Nielsen, J.: Finding usability problems throught heuristic evaluation. In Proc. of ACM CHI\u201992 Conference on Human Factors in Computing Systems, ACM, New York, pp. 249\u2013256 (1992).","DOI":"10.1145\/142750.142834"},{"issue":"4","key":"7999_CR56","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1093\/comjnl\/46.4.340","volume":"6","author":"F. Patern\u00f2","year":"2003","unstructured":"Patern\u00f2, F., & Santoro, C., Support for reasoning about interactive systems through human-computer interaction designers\u2019 representations. The Computer Journal 6(4), 340\u2013357 (2003).","journal-title":"The Computer Journal"},{"key":"7999_CR57","volume-title":"A method for formal specification and verification of interactive systems. PhD thesis","author":"F.D. Patern\u00f2","year":"1996","unstructured":"Patern\u00f2, F.D.: A method for formal specification and verification of interactive systems. PhD thesis, Department of Computer Science. University of York, UK (1996)."},{"key":"7999_CR58","unstructured":"Pocock, S.,Harrison, M., Wright, P., & Johnson, P.: THEA: A technique for human error assessment early in design. In M. Hirose (eds.), Human-Computer Interaction INTERACT\u201901 IFIP TC.13 International Conference on human computer interaction, IOS Press, pp. 247\u2013254 (2001)."},{"key":"7999_CR59","doi-asserted-by":"crossref","unstructured":"Potts, C., Takahashi, K., & Anton, A.: Inquiry-based requirements analysis. IEEE Software, 21\u201332 (1994).","DOI":"10.1109\/52.268952"},{"key":"7999_CR60","volume-title":"Human-Computer Interaction","author":"J. Preece","year":"1994","unstructured":"Preece, J., Rogers, Y., Sharp, H., Benyon, D., Holland, S., & Carey, T.: Human-Computer Interaction, Addison-Wesley, Wokingham, UK (1994)."},{"key":"7999_CR61","doi-asserted-by":"crossref","unstructured":"Reason, J.: Human Error Cambridge University Press (1990).","DOI":"10.1017\/CBO9781139062367"},{"key":"7999_CR62","doi-asserted-by":"crossref","unstructured":"Rosson, M., & Carroll, J.: Usability Engineering: Scenario-Based Development of Human Computer Interaction, Morgan Kaufman (2001).","DOI":"10.1016\/B978-155860712-5\/50002-3"},{"key":"7999_CR63","unstructured":"Rumbaugh, J., Jacobson, I., & Booch, G.: The Unified Modeling Language Reference Manual (UML) Addison-Wesley (1999a)."},{"key":"7999_CR64","unstructured":"Rumbaugh, J., Jacobson, I., & Booch, G.: The Unified Software Development Process Addison-Wesley (1999b)."},{"issue":"2","key":"7999_CR65","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/S0951-8320(01)00092-8","volume":"75","author":"J. Rushby","year":"2002","unstructured":"Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety, 75(2), 167\u2013177 (2002).","journal-title":"Reliability Engineering and System Safety"},{"key":"7999_CR66","unstructured":"Schl\u00f6r, R., Josko, B., & Werth, D.: Using a visual formalism for design verificatin in industrial environments. In Margaria, T., Steffen, B., R\u00fcckert, R., & Posegga, J.: (eds), Services and Visualization: Towards User-Friendly Design - ACoS98, VISUAL 98, AIN 97 Selected Papers, Vol 1385 of Lecture Notes in Computer Science, Springer-Verlag pp. 208\u2013221 (1998)."},{"issue":"4","key":"7999_CR67","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/s001650070017","volume":"12","author":"O. Slotosch","year":"2000","unstructured":"Slotosch, O.: Modelling and validation: AUTOFOCUS and QUEST. Formal Aspects of Computing 12(4), 225\u2013227 (2000).","journal-title":"Formal Aspects of Computing"},{"key":"7999_CR68","doi-asserted-by":"crossref","unstructured":"Smith, S.L., & Mosier, J.N.: Guidelines for designing user interface software. Technical Report 9420, Mitre Corporation (1986).","DOI":"10.21236\/ADA177198"},{"key":"7999_CR69","unstructured":"The VIS Group. VIS: A system for verification and synthesis. In R. Alur and T. Henzinger, (eds.), Proceedings of the 8th International Conference on Computer Aided Verification, Vol 1102 in Lecture Notes in Computer Science, Springer Verlag, New Brunswick, NJ, pp. 428\u2013432 (1996)."},{"key":"7999_CR70","doi-asserted-by":"crossref","unstructured":"Vicente, K.: Cognitive Work Analysis Lawrence Erlbaum Associates (1999).","DOI":"10.1201\/b12457"},{"key":"7999_CR71","unstructured":"Wharton, C., Rieman, J., Lewis, C., & Poison, P., The Cognitive Walkthrough Method: A Practitioner\u2019s Guide. in Nielsen,J., & Mack, R.: (eds.), Usability Inspection Methods, chapter 2. John Wiley & Sons, Inc., (1994)."},{"key":"7999_CR72","doi-asserted-by":"crossref","unstructured":"Zhang, H.: SATO: An e-client propositional prover. In W. McCune, (eds.), Proceedings of the 14th International Conference on Automated Deduction, Vol 1249 in Lecture Notes in Artificial Intelligence, Springer Verlag, pp. 272\u2013275 (1997).","DOI":"10.1007\/3-540-63104-6_28"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-006-7999-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-006-7999-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-006-7999-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,27]],"date-time":"2021-07-27T18:20:03Z","timestamp":1627410003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-006-7999-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,11]]},"references-count":72,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,10]]}},"alternative-id":["7999"],"URL":"https:\/\/doi.org\/10.1007\/s10515-006-7999-y","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5,11]]}}}