Readings in artificial intelligence and software engineering
Book
·
OSTI ID:6701046
Research at the intersection of artificial intelligence and software engineering is important to both AI researchers and software engineers. For AI, programming is a domain that stimulates research in knowledge representation and automated reasoning. In software engineering, AI techniques are being applied to a new generation of programming tools. This book covers a wide spectrum of work in this area. Some of the topics covered include deductive synthesis, program verification, and transformational approaches.
- OSTI ID:
- 6701046
- Country of Publication:
- United States
- Language:
- English
Similar Records
Fundamentals of artificial intelligence
Artificial intelligence: Principles and applications
Readings in artificial intelligence and databases
Book
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6679556
Artificial intelligence: Principles and applications
Book
·
Mon Dec 31 23:00:00 EST 1984
·
OSTI ID:6134895
Readings in artificial intelligence and databases
Book
·
Thu Dec 31 23:00:00 EST 1987
·
OSTI ID:5734808