H ? « ‹ ← → › »

Language peer sets for SDL:
International↑
International/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Specialised Languages ↑
Specialised Languages/1988↑
Specialised Languages/aa ↑

SDL(ID:1430/sdl004)

Specification and Description Language 

alternate simple view
Country: International
Designed 1988
Published: 1988
Sammet category: Specialised Languages

Specification and Description Language. CCITT. Specification language with both graphical and character-based syntaxes for defining interacting extended finite state machines. Used to specify discrete interactive systems such as industrial process control, traffic control, and telecommunication systems.



Available from Verilog, MD. (See XDL).
Related languages
SDL → SDL 92   Augmentation of
References:
  • Jones C.B. (1982) Jones C.B. and Bjorner, D.- Formal Specification and Software Development- Prentice Hall 1982
  • Proc Plenary Assembly, Melbourne 14-25 Nov 1988, F (1988) Proc Plenary Assembly, Melbourne 14-25 Nov 1988, Fasc X.1, CCITT.
  • Encontre V. (1989) Encontre V. "GEODE: An Industrial Environment for Designing Real-Time Distributed Systems in SDL" Proc. 4th SDL Forum - North Holland 1989.
  • Saracco, R. et al, (1989) Saracco, R. et al, "Telecommunications Systems Engineering Using SDL", N-H 1989.
  • SDL SDL: Functional Specification and Descriptio (1989) SDL SDL: Functional Specification and Description Language- Recommendation Z100- CCITt- 1989.
  • (1991) Vincent Encontre, SDL: a standard language for Ada real-time applications, Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, p.45-53, October 21-25, 1991, San Jose, California, United States
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder