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...