{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:34Z","timestamp":1748071594505},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,3,1]],"date-time":"1995-03-01T00:00:00Z","timestamp":794016000000},"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":[[1995,3]]},"DOI":"10.1007\/bf00873410","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:09:27Z","timestamp":1104131367000},"page":"87-97","source":"Crossref","is-referenced-by-count":4,"title":["Workshop report: The two-day workshop on Research Issues in the Intersection between Software Engineering and Artificial Intelligence (held in conjunction with ICSE-16)"],"prefix":"10.1007","volume":"2","author":[{"given":"K. A.","family":"Kontogiannis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter G.","family":"Selfridge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Bache, R., and Neil, M. 1990. Validating technologies for software certification.Proc. Conference on Approving Software Products, Garmisch, Germany."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Basili, V. Viewing maintenance as reuse oriented software development.IEEE Software 7(1):19?25.","DOI":"10.1109\/52.43045"},{"key":"CR3","unstructured":"Basili, V. R., and Rombach, H. D. 1987. Tailoring the software process to project goals and environments.9th International Conference on Software Engineering, pp. 345?359."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Biggerstaff, T., and Perlis, A. 1989.Software Reusability. Addison-Wesley, ACM Press.","DOI":"10.1145\/75722"},{"key":"CR5","unstructured":"Borgida, A., Mylopoulos, J., and Wong, H. 1982.Generalization and Specification as a Basis for Software Specification; on Conceptual Modelling. Springer-Verlag."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Chen, P. 1976. The Entity-Relationship model: Towards a unified view of data.ACM TODS 1(1).","DOI":"10.1145\/320434.320440"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Chikofsky, E. J., and Cross, J. H. II. 1990. Reverse Engineering and Design Recovery: A Taxonomy.IEEE Software January: 13?17.","DOI":"10.1109\/52.43044"},{"key":"CR8","volume-title":"ESPRIT'90 Conference Proceedings","author":"P. Couturier","year":"1990","unstructured":"Couturier, P., and Puccetti, A. 1990. ATES: An integrated system for software development and validation.ESPRIT'90 Conference Proceedings, Brussels. Kluwer Academic Press."},{"key":"CR9","unstructured":"Dowson, M. Iteration in the software process: Review of the 3rd international software process workshop.Proc. of the 9th International Conference on Software Engineering."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Engberts, A., Kozaczynski, W., and Ning, J. 1991. Automating software maintenance by concept recognition based program transformation. InCSM'91: Proceedings of the 1991 Conference on Software Maintenance.","DOI":"10.1109\/ICSM.1991.160309"},{"key":"CR11","unstructured":"Gilb, T. 1988.Principles of Software Engineering Management. Addison-Wesley"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Hall, P. 1991. Relationship between specification and testing.Journal of Information Science and Technology 33(1).","DOI":"10.1016\/0950-5849(91)90023-5"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Henderson, P. 1986. Functional programming, formal specification and rapid prototyping.IEEE Transactions on Software Engineering SE-12(2).","DOI":"10.1109\/TSE.1986.6312939"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R, He Jifeng, Bowen, J., and Pandya, P. 1990. An algebraic approach to verifiable compiling specification and prototyping of the ProCoS level 0 programming language.Esprit'90 Conference Proceedings, Brussels, pp. 804?818. Kluwer Academic Publishers B.V, 1990","DOI":"10.1007\/978-94-009-0705-8_65"},{"key":"CR15","unstructured":"Hoc, J-M., Green, T. R. G., Samurcay, R., Gilmore, D. (eds.) 1990.Psychology of Programming. Academic Press."},{"key":"CR16","unstructured":"Howden, W. E. 1981. A survey of static analysis methods. InTutorial Software Testing and Validation Techniques. Edited by E. Miller and W. Howden. IEEE."},{"key":"CR17","unstructured":"Johnson, L., and Finkelstein, A. (eds.).Automated Software Engineering. The International Journal of Automated Reasoning in Artificial Intelligence and Software Engineering. Kluwer Academic."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Kontogiannis, K., DeMori, R., Bernstein, M., and Merlo, E. 1994. Localization of design concepts in legacy systems.Proceedings of the International Conference on Software Maintenance '94, Victoria, British Columbia, Canada, Sept. 19?23. To appear.","DOI":"10.1109\/ICSM.1994.336753"},{"key":"CR19","unstructured":"Martin, C. F., and McClure, C. 1985.Diagram Techniques for Analysts and Programmers. Prentice Hall."},{"key":"CR20","unstructured":"Merlo, E., McAdam, I., and De Mori, R. Source code informal information analysis using connectionist models.Proceedings of 13th International Joint Conference on Artificial Intelligence, Vol. 2, pp. 1339?1344."},{"key":"CR21","series-title":"Dept. of Computer Science Technical Report","volume-title":"Telos: A language for representing knowledge about information systems","author":"J. Mylopoulos","year":"1990","unstructured":"Mylopoulos, J. 1990. Telos: A language for representing knowledge about information systems. University of Toronto, Dept. of Computer Science Technical Report KRR-TR-89-1, August 1990, Toronto."},{"key":"CR22","series-title":"The Institute of Mathematics and its Applications Conference Series","volume-title":"Mathematical Structures for Software Engineering","year":"1991","unstructured":"Neumann, B., Simpson, D., and Slater, G. (eds.). 1991.Mathematical Structures for Software Engineering. The Institute of Mathematics and its Applications Conference Series No. 27. Oxford: Clarendon Press."},{"key":"CR23","volume-title":"Information Systems Design Methodologies","year":"1986","unstructured":"Olle, T., Sol, H., and Verrijn-Stuart, A. (eds.). 1986.Information Systems Design Methodologies. Elsevier, North-Holland."},{"issue":"9","key":"CR24","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1109\/32.241769","volume":"19","author":"D. L. Parnas","year":"1993","unstructured":"Parnas, D. L. 1993. Predicate logic for software engineering.IEEE Transactions on Software Engineering 19(9):856?862.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR25","unstructured":"Rich, C., and Waters, R. C. 1986.Readings in Artificial Intelligence and Software Engineering. Morgan Kaufmann."},{"key":"CR26","unstructured":"Schulmeyer, G., and McManus, J. (eds.). 1987.Handbook of Software Quality Assurance. van Nostrand Reinbolt."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/64.180404","volume":"7","author":"P. G. Selfridge","year":"1992","unstructured":"Selfridge, P. G. Workshop summary: Applying artificial intelligence to software problems: Assessing promises and pitfalls.IEEE Expert 7:65?68. June 1992","journal-title":"IEEE Expert"},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Tilley, S., Muller, H., Whitney, M., and Wong, K. 1993. Domain-retargetable reverse engineering.CSM'93: Proceedings of the 1993 Conference on Software Maintenance, September 1993, pp. 142?151.","DOI":"10.1109\/ICSM.1993.366948"},{"key":"CR29","unstructured":"Yourdon, E. 1989.Modern Structured Analysis. Prentice Hall."},{"key":"CR30","unstructured":"White, D.The Annual Knowledge-Based Software Engineering Conference. Sponsored by Rome Laboratories, IEEE Computer Society Press."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00873410.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00873410\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00873410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:53:08Z","timestamp":1586044388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00873410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["BF00873410"],"URL":"https:\/\/doi.org\/10.1007\/bf00873410","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}