,

HYBRID PARALLEL EXECUTION MODEL FOR LOGIC-BASED SPECIFICATION LANGUAGES

Gebonden Engels 2001 9789810240967
€ 164,37
Levertijd ongeveer 11 werkdagen
Gratis verzonden

Samenvatting

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.

Specificaties

ISBN13:9789810240967
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:228
Uitgever:World Scientific Publishing Co Pte Ltd

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

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.

Managementboek Top 100

€ 164,37
Levertijd ongeveer 11 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Artikelen

          HYBRID PARALLEL EXECUTION MODEL FOR LOGIC-BASED SPECIFICATION LANGUAGES