by Jeffrey J P Tsai (University of Illinois, Chicago) & Bing Li (University of Illinois, Chicago)

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.

• 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