Hybrid Parallel Execution Model for Logic-Based Specification Languages
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810240967, 9789812797964

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficiency Considerations and Experimental Results

Hybrid Parallel Execution Model for Logic-Based Specification Languages ◽

10.1142/9789812797964_0007 ◽

2001 ◽

pp. 107-159

Keyword(s):

Experimental Results

Download Full-text

Summary

Hybrid Parallel Execution Model for Logic-Based Specification Languages ◽

10.1142/9789812797964_0010 ◽

2001 ◽

pp. 201-214

Download Full-text

Describing Non-Functional Requirements in FRORL

Hybrid Parallel Execution Model for Logic-Based Specification Languages ◽

10.1142/9789812797964_0009 ◽

2001 ◽

pp. 185-199

Keyword(s):

Functional Requirements

Download Full-text

Rewriting and Data Dependency, Control Flow Analysis of a Logic-Based Specification

Hybrid Parallel Execution Model for Logic-Based Specification Languages ◽

10.1142/9789812797964_0005 ◽

2001 ◽

pp. 53-88

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Data Dependency ◽

Control Flow Analysis

Download Full-text

FRORL Requirements Specification Language and Its Decomposition

Hybrid Parallel Execution Model for Logic-Based Specification Languages ◽

10.1142/9789812797964_0004 ◽

2001 ◽

pp. 21-51

Keyword(s):

Specification Language ◽

Requirements Specification

Download Full-text

Overview of the New Approach

Hybrid Parallel Execution Model for Logic-Based Specification Languages ◽

10.1142/9789812797964_0003 ◽

2001 ◽

pp. 13-19

Keyword(s):

Download Full-text

Current Approaches

Hybrid Parallel Execution Model for Logic-Based Specification Languages ◽

10.1142/9789812797964_0002 ◽

2001 ◽

pp. 7-12

Download Full-text

FRONT MATTER

Hybrid Parallel Execution Model for Logic-Based Specification Languages ◽

10.1142/9789812797964_fmatter ◽

2001 ◽

pp. i-xii

Download Full-text

Introduction

Hybrid Parallel Execution Model for Logic-Based Specification Languages ◽

10.1142/9789812797964_0001 ◽

2001 ◽

pp. 1-5

Download Full-text

Mode Information Support for Automatic Transformation System

Hybrid Parallel Execution Model for Logic-Based Specification Languages ◽

10.1142/9789812797964_0008 ◽

2001 ◽

pp. 161-183

Keyword(s):

Information Support ◽

Transformation System

Download Full-text