Abstract
As the need for more complex software systems increases so does the need for developing systematic and standardized methods for software design and maintenance. Artificial Intelligence can play an important role in this activity as it may provide efficient, adaptable and customizable solutions. Domain analysis, program representation, process modeling, software testing and software verification are all areas that can benefit from the use of A.I techniques, including knowledge acquisition, knowledge representation, problem solving algorithms and theorem proving. This paper discusses the use of Artificial Intelligence techniques in Software Engineering, as it was presented in the ICSE 16's workshop on Research Issues in the Intersection between Software Engineering and Artificial Intelligence.
This is a preview of subscription content, log in via an institution to check access.
References
Bache, R., and Neil, M. 1990. Validating technologies for software certification.Proc. Conference on Approving Software Products, Garmisch, Germany.
Basili, V. Viewing maintenance as reuse oriented software development.IEEE Software 7(1):19–25.
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.
Biggerstaff, T., and Perlis, A. 1989.Software Reusability. Addison-Wesley, ACM Press.
Borgida, A., Mylopoulos, J., and Wong, H. 1982.Generalization and Specification as a Basis for Software Specification; on Conceptual Modelling. Springer-Verlag.
Chen, P. 1976. The Entity-Relationship model: Towards a unified view of data.ACM TODS 1(1).
Chikofsky, E. J., and Cross, J. H. II. 1990. Reverse Engineering and Design Recovery: A Taxonomy.IEEE Software January: 13–17.
Couturier, P., and Puccetti, A. 1990. ATES: An integrated system for software development and validation.ESPRIT'90 Conference Proceedings, Brussels. Kluwer Academic Press.
Dowson, M. Iteration in the software process: Review of the 3rd international software process workshop.Proc. of the 9th International Conference on Software Engineering.
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.
Gilb, T. 1988.Principles of Software Engineering Management. Addison-Wesley
Hall, P. 1991. Relationship between specification and testing.Journal of Information Science and Technology 33(1).
Henderson, P. 1986. Functional programming, formal specification and rapid prototyping.IEEE Transactions on Software Engineering SE-12(2).
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
Hoc, J-M., Green, T. R. G., Samurcay, R., Gilmore, D. (eds.) 1990.Psychology of Programming. Academic Press.
Howden, W. E. 1981. A survey of static analysis methods. InTutorial Software Testing and Validation Techniques. Edited by E. Miller and W. Howden. IEEE.
Johnson, L., and Finkelstein, A. (eds.).Automated Software Engineering. The International Journal of Automated Reasoning in Artificial Intelligence and Software Engineering. Kluwer Academic.
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.
Martin, C. F., and McClure, C. 1985.Diagram Techniques for Analysts and Programmers. Prentice Hall.
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.
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.
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.
Olle, T., Sol, H., and Verrijn-Stuart, A. (eds.). 1986.Information Systems Design Methodologies. Elsevier, North-Holland.
Parnas, D. L. 1993. Predicate logic for software engineering.IEEE Transactions on Software Engineering 19(9):856–862.
Rich, C., and Waters, R. C. 1986.Readings in Artificial Intelligence and Software Engineering. Morgan Kaufmann.
Schulmeyer, G., and McManus, J. (eds.). 1987.Handbook of Software Quality Assurance. van Nostrand Reinbolt.
Selfridge, P. G. Workshop summary: Applying artificial intelligence to software problems: Assessing promises and pitfalls.IEEE Expert 7:65–68. June 1992
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.
Yourdon, E. 1989.Modern Structured Analysis. Prentice Hall.
White, D.The Annual Knowledge-Based Software Engineering Conference. Sponsored by Rome Laboratories, IEEE Computer Society Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kontogiannis, K.A., Selfridge, P.G. Workshop report: The two-day workshop on Research Issues in the Intersection between Software Engineering and Artificial Intelligence (held in conjunction with ICSE-16). Autom Software Eng 2, 87–97 (1995). https://doi.org/10.1007/BF00873410
Issue Date:
DOI: https://doi.org/10.1007/BF00873410