skip to content
Hybrid parallel execution model for logic-based specification languages Preview this item
ClosePreview this item
Checking...

Hybrid parallel execution model for logic-based specification languages

Author: Jeffrey J -P Tsai; Bing Li
Publisher: Singapore ; New Jersey : World Scientific, ©2001.
Series: Series on software engineering and knowledge engineering, v. 10.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

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,  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Jeffrey J -P Tsai; Bing Li
ISBN: 9810240961 9789810240967
OCLC Number: 48251272
Description: xii, 214 pages : illustrations ; 23 cm.
Contents: 1. Introduction --
2. Current approaches --
3. Overview of the new approach --
4. FRORL requirements specification language and its decomposition --
5. Rewriting and data dependency, control flow analysis of a logic-based specification --
6. Hybrid AND-OR parallelism implementation --
7. Efficiency considerations and experimental results --
8. Mode information support for automatic transformation system --
9. Describing non-functional requirements in FRORL --
10. Summary.
Series Title: Series on software engineering and knowledge engineering, v. 10.
Responsibility: Jeffrey J.P. Tsai, Bing Li.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/48251272> # Hybrid parallel execution model for logic-based specification languages
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "48251272" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/36853013#Place/singapore> ; # Singapore
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/si> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/36853013#Place/new_jersey> ; # New Jersey
   schema:about <http://id.worldcat.org/fast/872153> ; # Computer hardware description languages
   schema:about <http://dewey.info/class/621.392/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/36853013#Topic/systemes_de_communication_sans_fil> ; # Systèmes de communication sans fil
   schema:about <http://experiment.worldcat.org/entity/work/data/36853013#Topic/langages_de_description_de_materiel_informatique> ; # Langages de description de matériel informatique
   schema:about <http://id.worldcat.org/fast/1141401> ; # System design
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/78012698> ; # Bing Li
   schema:copyrightYear "2001" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/36853013#Person/tsai_jeffrey_j_p> ; # Jeffrey J-P Tsai
   schema:datePublished "2001" ;
   schema:description "1. Introduction -- 2. Current approaches -- 3. Overview of the new approach -- 4. FRORL requirements specification language and its decomposition -- 5. Rewriting and data dependency, control flow analysis of a logic-based specification -- 6. Hybrid AND-OR parallelism implementation -- 7. Efficiency considerations and experimental results -- 8. Mode information support for automatic transformation system -- 9. Describing non-functional requirements in FRORL -- 10. Summary."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/36853013> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/36853013#Series/series_on_software_engineering_and_knowledge_engineering> ; # Series on software engineering and knowledge engineering ;
   schema:name "Hybrid parallel execution model for logic-based specification languages"@en ;
   schema:productID "48251272" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/48251272#PublicationEvent/singapore_new_jersey_world_scientific_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/36853013#Agent/world_scientific> ; # World Scientific
   schema:workExample <http://worldcat.org/isbn/9789810240967> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/48251272> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/36853013#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
   schema:name "World Scientific" ;
    .

<http://experiment.worldcat.org/entity/work/data/36853013#Person/tsai_jeffrey_j_p> # Jeffrey J-P Tsai
    a schema:Person ;
   schema:familyName "Tsai" ;
   schema:givenName "Jeffrey J.-P" ;
   schema:name "Jeffrey J-P Tsai" ;
    .

<http://experiment.worldcat.org/entity/work/data/36853013#Series/series_on_software_engineering_and_knowledge_engineering> # Series on software engineering and knowledge engineering ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/48251272> ; # Hybrid parallel execution model for logic-based specification languages
   schema:name "Series on software engineering and knowledge engineering ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/36853013#Topic/langages_de_description_de_materiel_informatique> # Langages de description de matériel informatique
    a schema:Intangible ;
   schema:name "Langages de description de matériel informatique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/36853013#Topic/systemes_de_communication_sans_fil> # Systèmes de communication sans fil
    a schema:Intangible ;
   schema:name "Systèmes de communication sans fil"@en ;
    .

<http://id.worldcat.org/fast/1141401> # System design
    a schema:Intangible ;
   schema:name "System design"@en ;
    .

<http://id.worldcat.org/fast/872153> # Computer hardware description languages
    a schema:Intangible ;
   schema:name "Computer hardware description languages"@en ;
    .

<http://viaf.org/viaf/78012698> # Bing Li
    a schema:Person ;
   schema:birthDate "1960" ;
   schema:familyName "Li" ;
   schema:givenName "Bing" ;
   schema:name "Bing Li" ;
    .

<http://worldcat.org/isbn/9789810240967>
    a schema:ProductModel ;
   schema:isbn "9810240961" ;
   schema:isbn "9789810240967" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.