Knowledge-based Software Development for Real-time Distributed Systems
Knowledge-based Software Development for Real-time Distributed Systems

Author: Jeffrey J.-P. Tsai

Publisher: World Scientific

Published: 1993

Total Pages: 244

ISBN-13: 9789810211288

DOWNLOAD EBOOK

The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated.

Advances In Software Engineering And Knowledge Engineering
Advances In Software Engineering And Knowledge Engineering

Author: Vincenzo Ambriola

Publisher: World Scientific

Published: 1993-12-27

Total Pages: 203

ISBN-13: 981450257X

DOWNLOAD EBOOK

The papers collected in the book were invited by the editors as tutorial courses or keynote speeches for the Fourth International Conference on Software Engineering and Knowledge Engineering. It was the editors' intention that this book should offer a wide coverage of the main topics involved with the specifications, prototyping, development and maintenance of software systems and knowledge-based systems. The main issues in the area of software engineering and knowledge engineering are addressed and for each analyzed topic the corresponding of state research is reported.

Knowledge-based Software Development For Real-time Distributed Systems
Knowledge-based Software Development For Real-time Distributed Systems

Author: Jeffrey J P Tsai

Publisher: World Scientific

Published: 1993-11-22

Total Pages: 238

ISBN-13: 9814505226

DOWNLOAD EBOOK

The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated.

Encyclopedia of Software Engineering
Encyclopedia of Software Engineering

Author: John J. Marciniak

Publisher: Wiley-Interscience

Published: 2002

Total Pages: 1034

ISBN-13:

DOWNLOAD EBOOK

Covering all aspects of engineering for practitioners who design, write, or test computer programs, this updated edition explores all the issues and principles of software design and engineering. With terminology that adheres to the standard set by The Institute of Electrical and Electronics Engineers (IEEE), the book features over 500 entries in 35 taxonomic areas, as well as biographies of over 100 personalities who have made an impact in the field.