Artificial Intelligence and Software Engineering

個数:

Artificial Intelligence and Software Engineering

  • 在庫がございません。海外の書籍取次会社を通じて出版社等からお取り寄せいたします。
    通常6~9週間ほどで発送の見込みですが、商品によってはさらに時間がかかることもございます。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合がございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Hardcover:ハードカバー版/ページ数 200 p.
  • 言語 ENG
  • 商品コード 9780893916060
  • DDC分類 006.3

Full Description

This volume is a broad-based collection of chapters that address the areas of overlap between the fields of artificial intelligence (AI) and software engineering. A taxonomy of this overlap area is developed and related to other major attempts to address the interaction between these two fields. Each of the four major subareas-AI-based support environments, software engineering toolds and techniques, methodological issues of AI software development, and AI techniques in practical software is described and illustrated with representative examples.

Contents

Artificial Intelligence & Software Engineering: An Introduction to the Possibilities, Derek Partridge 

Part I AI-based Support Environments 

1 Knowledge-based Software Design Support, Helen Sharp 

2 Automating Software Specification and Design, Mehdi T. Lubars & Mitchell D. Harandi 43

3 Knowledge-based Model for Software Re-usability, Charles Rattray, Jean Mcinnes, Andrew Reeves, & Muffy Thomas

4 Understanding and Automating Algorithm Design, Elaine Kant 

5 A Cognitive Approach to Software Development: The PRODOC Environment and Associated Methodology, Joseph M. Scandura 

6 AI-based Software Maintenance, Lori Alperin Resnick & Beverly I. Kedzierski

7 The Programmer's Apprentice: A Research Overview, Charles Rich & Richard C. Waters

8 Integrating Access-Oriented Programming into a Multiparadigm Environment, Mark J. Stefik, Daniel G. Bobrow,

& Kenneth M. Kahn

Part II Software Engineering Tools and Techniques in AI Systems 

9 POPLOG-A Portable Interactive Software Development Environment, Aaron Sloman and the Poplog Development Team 

10 Applying Software Engineering Concepts to Rule-Based Expert Systems, Bob Jansen

11 Utilizing Formal Specifications in the Development of Knowledge-Based Systems, R. T. Plant

1.2 The Role of Visual Representations in Understanding Software, Heinz-Dieter Bocker, Gehard Fischer, & Helga Nieper-Lemke

13 AORTA Diagrams as an Aid to Visualizing the Execution of PROLOG Programs, Marc Eisenstadt & Mike Brayshaw 

Part III Methodological Issues of AI-Software

Development 

14 Beyond Programming Languages, Terry Winograd 

15 AI and Software Engineering, Robert Kowalski

16 Definition and Logic: Learning from the Failure of AI, Philip

Leith 

17 Engineering Artificial Intelligence Applications in Unstructured Task Environments: Some Methodological

Issues, Chris Fields & Eric Dietrich

18 Practical Engineering of Knowledge-Based Systems, Jon Bader, John Edwards, Chris Harris-Jones, & David Hannaford 

19 Beyond Exploratory Programming: A Methodology and Environment for Conceptual Natural Language Processing, Philip Johnson & Wendy Lehnert 

Part IV AI Techniques in Practical Software 

20 A Framework for Incremental Progress in the Application of Artificial Intelligence to Software Engineering, Guillermo Arango, Ira Baxter, & Peter Freeman 

21 Principles and Practice in an Operating System Consultant, Paul Mc Kevitt

22 AI as the Ultimate Enhancer of Protocol Design, Danny Cohen & J. Finnegan

23 Induction, Knowledge, and Expert Systems, J. R. Quinlan

24 Knowledge Acquisition by Encoding Expert Rules versus Computer Induction from Examples: A Case Study Involving Soybean Pathology, R. S. Michalski & R. L. Chilausky 

25 Interactive Vocabulary Acquisition in XTRA, Cheng-Ming Guo

26 A Proposed Perspective Shift: Viewing Specification Design as a Planning Problem, Stephen Fickas & John S. Anderson 

Author Index 

Subject Index

最近チェックした商品