Home Browse by Subject Bestsellers New Titles Editor's Choice New Reviews Textbooks
Search Book Series Study Guides Rights Inspection Copy Contact Us Join Our Mailing List
For Authors How to Order E-Catalogues

Browse all Subjects
Search Bookshop
New Titles
Editor's Choice
Bestsellers
Book Series
Textbooks
Journals
Join Our Mailing List
 
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
ISBN 978-981-02-4096-7
981-02-4096-1
US$91 / £67


Copyright © 2008 World Scientific Publishing Co. All rights reserved.
Updated on 4 July 2008