|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Bing Li (Univ Of Illinois At Chicago, Usa) , Jeffrey J P Tsai (Asia Univ, Taiwan & Univ Of Illinois At Chicago, Usa) , Bing Li (University of Illinois, Chicago, USA)Publisher: World Scientific Publishing Co Pte Ltd Imprint: World Scientific Publishing Co Pte Ltd Volume: 10 Dimensions: Width: 15.30cm , Height: 3.40cm , Length: 23.00cm Weight: 0.472kg ISBN: 9789810240967ISBN 10: 9810240961 Pages: 228 Publication Date: 05 July 2001 Audience: College/higher education , Professional and scholarly , Postgraduate, Research & Scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsCurrent 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |