Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Knowledge-based Software Development For Real-time Distributed Systems

Name: Knowledge-based Software Development For Real-time Distributed Systems
Brand: World Scientific Publishing Co Pte Ltd
SKU: 05064203
Price: 48568 HUF
Availability: InStock
Author: Jeffrey J.P. Tsai
ISBN: 9789810211288

Jeffrey J.P. Tsai

Thomas Weigert

Hung-Ching Jang

Language

English

Book Hardback

Libristo code: 05064203

Publishers World Scientific Publishing Co Pte Ltd, January 1993

The interplay of artificial intelligence and software engineering has been an interesting and an act... Full description

Libristo code: 05064203

333 b

48 568 Ft

50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Näh-Bibel, m. DVD. Tl.6 Oliver Buss

Sheet

3 516 Ft

La Doble Vida De Jesús Enrique Serna

Paperback

7 562 Ft

Die Bürgerliche Kunst Und Die Besitzlosen Volksklassen Emil Reich

Paperback

9 149 Ft

Das V-Modell 97 Wolfgang Dröschel

Hardback

71 759 Ft

PLEASE, PLEASE TELL ME NOW STEPHEN DAVIS

Book

13 457 Ft

The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institutions and industry. This book covers the state of art in the use of knowledge-based approach for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms, 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, 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 military applications are used to illustrate the requirements languages. Finally, the development, specification and verification of knowledge-based system are investigated.