|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications
Boca Raton, Florida
October 20-October 23
ISBN: 0-7695-0081-1
| ASCII Text | x | ||
| Paul Dietz, Thomas Weigert, Frank Weil, "Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications," Industrial-Strength Formal Specification Techniques, Workshop on, pp. 40, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998. | |||
| BibTex | x | ||
| @article{ 10.1109/WIFT.1998.766296, author = {Paul Dietz and Thomas Weigert and Frank Weil}, title = {Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications}, journal ={Industrial-Strength Formal Specification Techniques, Workshop on}, volume = {0}, year = {1998}, isbn = {0-7695-0081-1}, pages = {40}, doi = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766296}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Industrial-Strength Formal Specification Techniques, Workshop on TI - Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications SN - 0-7695-0081-1 SP EP A1 - Paul Dietz, A1 - Thomas Weigert, A1 - Frank Weil, PY - 1998 VL - 0 JA - Industrial-Strength Formal Specification Techniques, Workshop on ER - | |||
This paper presents the application of automated code generation to the development of marshalling code (also known as presentation conversion code). The techniques and automated tools as well as the results of an industrial application are described. Marshalling code amounts to approximately half of the signalling software in a subscriber radio, and as such constitutes approximately 20% of the total software in a radio. Development of marshalling code is considered to be a difficult, error-prone, and labor-intensive task. We have successfully developed significant portions of the infrastructure and subscriber software for the TETRA (Terrestrial Trunked Radio) protocol standard through automated code generation techniques using the process outlined in this paper.
Citation:
Paul Dietz, Thomas Weigert, Frank Weil, "Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications," wift, pp.40, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998
Usage of this product signifies your acceptance of the Terms of Use.