Hybrid Parallel Execution Model For Log... | WHSmith Books
Hybrid Parallel Execution Model For Logic-based Specification Languages (Series On Software Engineering And Knowledge Engineering 10)

Hybrid Parallel Execution Model For Logic-based Specification Languages (Series On Software Engineering And Knowledge Engineering 10)

By: Bing Li (editor), Jeffrey J. P. Tsai (editor)Hardback

Up to 2 WeeksUsually despatched within 2 weeks

Description

Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems.

Contents

Current Approaches; Overview of the New Approach; FRORL Requirements Specification Language and Its Decomposition; Rewriting and Data Dependency, Control Flow Analysis of a Logic-Based Specification; Hybrid and-or Parallelism Implementation; Efficiency Considerations and Experimental Results; Mode Information Support for Automatic Transformation System; Describing Non-Functional Requirements in FRORL.

Product Details

  • ISBN13: 9789810240967
  • Format: Hardback
  • Number Of Pages: 228
  • ID: 9789810240967
  • ISBN10: 9810240961

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close