Hybrid Parallel Execution Model for Logic-based Specification Languages (Series on Software Engineering & Knowledge Engineering v. 10)

Hybrid Parallel Execution Model for Logic-based Specification Languages (Series on Software Engineering & Knowledge Engineering v. 10)

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

2 - 4 weeks availability

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.

Create a review

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

  • publication date: 05/07/2001
  • ISBN13: 9789810240967
  • Format: Hardback
  • Number Of Pages: 228
  • ID: 9789810240967
  • weight: 472
  • 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