An object-oriented logic language for modular system specification

2006 ◽  
pp. 39-58 ◽  
Author(s):  
Angelo Morzenti ◽  
Pierluigi San Pietro
Keyword(s):  
Object Oriented ◽  
Modular System ◽  
System Specification

scholarly journals Matisse: a concurrent and object-oriented system specification language

1997 ◽  
pp. 289-300 ◽  
Author(s):  
Julio Leao Silva ◽  
Chantal Ykman-Couvreur ◽  
Gjalt Jong
Keyword(s):  
Object Oriented ◽  
Specification Language ◽  
System Specification ◽  
Oriented System

scholarly journals OST — An Object-Oriented Computer Networks System Specification Tool

1997 ◽  
pp. 315-327
Author(s):  
Claudia Maria Sbardelotto ◽  
Lisandro Zambenedetti Granville ◽  
Luciano Paschoal Gaspary ◽  
Maria Janilce B. Almeida
Keyword(s):  
Computer Networks ◽  
Object Oriented ◽  
System Specification

A Quality of Service Framework for Object-Oriented Architectures

1998 ◽  
Vol 08 (03) ◽  
pp. 315-331 ◽  
Author(s):  
Bran Selic
Keyword(s):  
Quality Of Service ◽  
Formal Model ◽  
Object Oriented ◽  
System Specification ◽  
Computing Environment ◽  
Software Environment ◽  
Computing Environments ◽  
Generic Quality ◽  
Service Framework

Most development and system specification languages do not provide facilities for a formal and complete declaration of the expected hardware and software environment for which a system is targeted. This type of information can be used to determine whether a software specification is compatible with a particular computing environment. In this paper we describe an approach, based on a generic "quality of service" framework, that provides such a facility for a broad category of object-oriented architectural definition languages. A formal model of this facility is also provided, including rules for determining compatibility between different computing environments.

AN OBJECT-ORIENTED LANGUAGE FOR PARAMETERISED REACTIVE SYSTEM SPECIFICATION BASED ON LINEAR TEMPORAL LOGIC

2014 ◽  
Author(s):  
Kenji Osari ◽  
Takuya Murooka ◽  
Kiyotaka Hagiwara ◽  
Takahiro Ando ◽  
Masaya Shimakawa ◽  
...  
Keyword(s):  
Temporal Logic ◽  
Object Oriented ◽  
Linear Temporal Logic ◽  
Reactive System ◽  
System Specification
Sign in / Sign up

Export Citation Format

Share Document