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 (editor), Jeffrey J.P. Tsai (editor)Hardback

1 - 2 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