COSY ? a system specification language based on paths and processes

Acta Informatica ◽

10.1007/bf00266047 ◽

1979 ◽

Vol 12 (2) ◽

Cited By ~ 66

Author(s):

P.E. Lauer ◽

P.R. Torrigiani ◽

M.W. Shields

Keyword(s):

Specification Language ◽

System Specification

Download Full-text

Matisse: a concurrent and object-oriented system specification language

VLSI: Integrated Systems on Silicon ◽

10.1007/978-0-387-35311-1_24 ◽

1997 ◽

pp. 289-300 ◽

Cited By ~ 1

Author(s):

Julio Leao Silva ◽

Chantal Ykman-Couvreur ◽

Gjalt Jong

Keyword(s):

Object Oriented ◽

Specification Language ◽

System Specification ◽

Oriented System

Download Full-text

ASSL - Autonomic System Specification Language

31st IEEE Software Engineering Workshop (SEW 2007) ◽

10.1109/sew.2007.59 ◽

2007 ◽

Cited By ~ 17

Author(s):

Emil Vassev ◽

Joey Paquet

Keyword(s):

Specification Language ◽

Autonomic System ◽

System Specification

Download Full-text

Towards a Manufacturing System Specification Language

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)46010-1 ◽

1994 ◽

Vol 27 (4) ◽

pp. 121-127

Author(s):

F. Vernadat

Keyword(s):

Manufacturing System ◽

Specification Language ◽

System Specification

Download Full-text

Road transport and traffic telematics. Automatic vehicle and equipment identification. System specification

10.3403/01744891 ◽

2000 ◽

Keyword(s):

Road Transport ◽

Identification System ◽

System Specification

Download Full-text

Electronic system specification languages. VHDL modelling guidelines

10.3403/02524570 ◽

2002 ◽

Keyword(s):

Electronic System ◽

Specification Languages ◽

System Specification

Download Full-text

Digital audio broadcasting system. Specification of the receiver data interface (RDI)

10.3403/02658935 ◽

1998 ◽

Keyword(s):

Digital Audio ◽

System Specification ◽

Digital Audio Broadcasting ◽

Broadcasting System

Download Full-text

Space data and information transfer systems. Data entity dictionary specification language (DEDSL). Abstract syntax

10.3403/02839020 ◽

2003 ◽

Keyword(s):

Information Transfer ◽

Specification Language ◽

Abstract Syntax ◽

Space Data

Download Full-text

Aerospace series. Space data and information transfer systems. Data entity dictionary specification language (DEDSL). PVL syntax

10.3403/02838064u ◽

2015 ◽

Keyword(s):

Information Transfer ◽

Specification Language ◽

Series Space ◽

Space Data

Download Full-text

Shopfitting. Management system specification

10.3403/30151098 ◽

2006 ◽

Keyword(s):

Management System ◽

System Specification

Download Full-text

Safe Working of Vehicle Breakdown, Recovery and Removal Operations. Management System Specification

10.3403/30165343 ◽

2008 ◽

Keyword(s):

Operations Management ◽

Management System ◽

System Specification ◽

Safe Working

Download Full-text