登入選單
返回Google圖書搜尋
Hybrid Parallel Execution Model for Logic-based Specification Languages
Jeffrey J.-P. TsaiBing Li
出版World Scientific, 2001
主題Computers / Software Development & Engineering / Systems Analysis & Design
ISBN98127979639789812797964
URLhttp://books.google.com.hk/books?id=G42ar7gVwucC&hl=&source=gbs_api
EBookSAMPLE
註釋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.