Formal Specification and Prototyping of a Building Description Language

Developments in Computer Aided Design and Modelling for Structural Engineering ◽

10.4203/ccp.31.2.3 ◽

2009 ◽

Author(s):

J.N. Oliveira

Keyword(s):

Formal Specification ◽

Description Language

Download Full-text

The DUAL-EVAL hardware description language and its use in the formal specification and verification of the FM9001 microprocessor

Proceedings of ASP-DAC 95/CHDL 95/VLSI 95 with EDA Technofair ASPDAC-95 ◽

10.1109/aspdac.1995.486381 ◽

2002 ◽

Author(s):

W.A. Hunt ◽

B.C. Brock

Keyword(s):

Formal Specification ◽

Hardware Description Language ◽

Description Language ◽

Formal Specification And Verification ◽

Hardware Description ◽

Specification And Verification

Download Full-text

Formal Specification and Design

10.1017/cbo9780511569777 ◽

1992 ◽

Author(s):

L. M. G. Feijs ◽

H. B. M. Jonkers

Keyword(s):

Formal Specification

Download Full-text

Editorial: The formal specification of interactive systems

Software Engineering Journal ◽

10.1049/sej.1996.0042 ◽

1996 ◽

Vol 11 (6) ◽

pp. 322 ◽

Author(s):

M.D. Harrison

Keyword(s):

Formal Specification ◽

Interactive Systems

Download Full-text

Information technology. Programming languages. SQL/Ada Module Description Language (SAMeDL)

10.3403/00539178u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Programming Languages ◽

Description Language

Download Full-text

Space data and information transfer systems. Data description language. EAST specification

10.3403/02080951u ◽

2015 ◽

Keyword(s):

Information Transfer ◽

Description Language ◽

Data Description ◽

Download Full-text

Space data and information transfer systems. Data description language. EAST specification

10.3403/02080951 ◽

2000 ◽

Keyword(s):

Information Transfer ◽

Description Language ◽

Data Description ◽

Download Full-text

Information technology. Z formal specification notation. Syntax, type system and semantics

10.3403/02620581 ◽

2002 ◽

Keyword(s):

Information Technology ◽

Formal Specification ◽

Download Full-text

Space data and information transfer systems. Data description language. EAST specification

10.3403/02826006 ◽

2003 ◽

Keyword(s):

Information Transfer ◽

Description Language ◽

Data Description ◽

Download Full-text

Function blocks (FB) for process control. Electronic device description language (EDDL)

10.3403/30253989u ◽

2015 ◽

Keyword(s):

Process Control ◽

Electronic Device ◽

Description Language ◽

Function Blocks

Download Full-text

Function blocks (FB) for process control. Electronic device description language (EDDL)

10.3403/30253989 ◽

2012 ◽

Keyword(s):

Process Control ◽

Electronic Device ◽

Description Language ◽

Function Blocks

Download Full-text