|
|
|
Series on Software Engineering and Knowledge Engineering - Vol. 10
HYBRID PARALLEL EXECUTION MODEL FOR LOGIC-BASED SPECIFICATION LANGUAGES
by Jeffrey J P Tsai & 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.
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
Readership: Graduate students, engineers and researchers in computer science.
| 228pp |
Pub. date: Jul 2001 |
|
|
