Knowledge-Based Software Development for Real-Time Distributed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810211288, 9789812798046

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Science of Software Development

Knowledge-Based Software Development for Real-Time Distributed Systems ◽

10.1142/9789812798046_0001 ◽

1993 ◽

pp. 7-27

Keyword(s):

Software Development

Download Full-text

BACK MATTER

Knowledge-Based Software Development for Real-Time Distributed Systems ◽

10.1142/9789812798046_bmatter ◽

1993 ◽

pp. 186-234

Download Full-text

Specification Debugging

Knowledge-Based Software Development for Real-Time Distributed Systems ◽

10.1142/9789812798046_0009 ◽

1993 ◽

pp. 174-185

Download Full-text

Development, Specification, and Verification of Knowledge-Based Systems

Knowledge-Based Software Development for Real-Time Distributed Systems ◽

10.1142/9789812798046_0007 ◽

1993 ◽

pp. 117-135

Keyword(s):

Knowledge Based Systems ◽

Knowledge Based ◽

Specification And Verification

Download Full-text

Knowledge Representation as a Basis of Specifying Requirements

Knowledge-Based Software Development for Real-Time Distributed Systems ◽

10.1142/9789812798046_0002 ◽

1993 ◽

pp. 28-49

Keyword(s):

Knowledge Representation

Download Full-text

Temporal Logic Foundation of the Real-Time Distributed Requirements Specification Language

Knowledge-Based Software Development for Real-Time Distributed Systems ◽

10.1142/9789812798046_0005 ◽

1993 ◽

pp. 84-94

Keyword(s):

Real Time ◽

Temporal Logic ◽

Specification Language ◽

Requirements Specification ◽

The Real

Download Full-text

A Requirements Specification Language for Real-Time Distributed Software Systems

Knowledge-Based Software Development for Real-Time Distributed Systems ◽

10.1142/9789812798046_0004 ◽

1993 ◽

pp. 70-83

Keyword(s):

Real Time ◽

Specification Language ◽

Requirements Specification ◽

Software Systems ◽

Distributed Software

Download Full-text

Nonmonotonic Logic Foundation of the Requirements Specification Language

Knowledge-Based Software Development for Real-Time Distributed Systems ◽

10.1142/9789812798046_0003 ◽

1993 ◽

pp. 50-69

Keyword(s):

Specification Language ◽

Nonmonotonic Logic ◽

Requirements Specification

Download Full-text

Knowledge-Based Implementation

Knowledge-Based Software Development for Real-Time Distributed Systems ◽

10.1142/9789812798046_0008 ◽

1993 ◽

pp. 136-173

Keyword(s):

Knowledge Based

Download Full-text

Verification of Requirements Specifications

Knowledge-Based Software Development for Real-Time Distributed Systems ◽

10.1142/9789812798046_0006 ◽

1993 ◽

pp. 95-116

Keyword(s):

Requirements Specifications

Download Full-text

Knowledge-Based Software Development for Real-Time Distributed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By WORLD SCIENTIFIC

The Science of Software Development

BACK MATTER

Specification Debugging

Development, Specification, and Verification of Knowledge-Based Systems

Knowledge Representation as a Basis of Specifying Requirements

Temporal Logic Foundation of the Real-Time Distributed Requirements Specification Language

A Requirements Specification Language for Real-Time Distributed Software Systems

Nonmonotonic Logic Foundation of the Requirements Specification Language

Knowledge-Based Implementation

Verification of Requirements Specifications

Knowledge-Based Software Development for Real-Time Distributed Systems
Latest Publications