The formal semantics of a domain-specific modelling language
The Specification and Description Language (SDL) was developed by the telecommunications industry as a common language for the design of asynchronous communicating systems. Designs expressed in SDL can be given a formal, mathematical interpretation to facilitate analysis and to guide correct impleme...
Príomhchruthaitheoir: | |
---|---|
Rannpháirtithe: | |
Formáid: | Tráchtas |
Teanga: | English |
Foilsithe / Cruthaithe: |
2010
|
Ábhair: |