Formal techniques for automatically generating marshalling code from high-level specifications

Proceedings - 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998

Volumn 1998-October, Issue , 1998, Pages 40-47

  Dietz, P ^a   Weigert, T ^a   Weil, F ^a  

^a MOTOROLA INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FORMAL SPECIFICATION; MOBILE RADIO SYSTEMS;

AUTOMATED CODE GENERATION; AUTOMATED TOOLS; ERROR PRONES; FORMAL TECHNIQUES; HIGH LEVEL SPECIFICATION; LABOR INTENSIVE; TERRESTRIAL TRUNKED RADIO;

CODES (SYMBOLS);

EID: 33645380715     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WIFT.1998.766296     Document Type: Conference Paper

References (15)

1. D.D. Clark and D.L. Tennenhouse, "Architectural Considerations for a new Generation of Protocols, " in Proceedings of the SIGCOMM '90 Symposium, 1990.
2. C. Partridge, Gigabit Networking, Addison-Wesley, 1993.
3. L. Peterson and B. Davie, Computer Networks: A Systems Approach, Morgan Kaufmann, 1996.
4. Sun Microsystems, Inc., XDR: External Data Representation, 1987.
5. ETS 300 392-2, Radio Equipment and Systems: Trans-European Trunked Radio, Voice Plus Data Part 2: Air Interface, 1995.
6. T. Weigert, J. Boyle, T. Harmer and F. Weil, "The Derivation of Efficient Programs from High-Level Specifications, " in N. Bourbakis, Artificial Intelligence in Automation, World Scientific Publishers, 1996.
7. T. J. McCabe, "A Complexity Measure, " IEEE Trans. on Software Engineering, SE-2, 1976.
8. A. van Deursen and P. Klint, "Little Languages: Little Maintenance, " in Proceedings of the First ACM SIGPLAN Workshop on Domain-Specific Languages, Paris, 1997.
9. R.B. Kieburtz et al., "A Software Engineering Experiment in Software Component Generation, " in Proceedings of the 18th International Conference on Software Engineering, IEEE, 1996.
10. T.M. Pigoski, Practical Software Maintenance-Best Practices for Managing Your Software Investment, John Wiley, 1997.
11. B.W. Boehm, Software Engineering Economics, Prentice-Hall, 1981.
12. S. O'Melley, T. Proebsting, and A.B. Montz, "USC: A Universal Stub Compiler, " in Proceedings of SIG-COMM '94 Symposium, 1994.
13. C. Huitema, MAVROS: Highlights on an ASN.1 Compiler, Project RODEO Technical Report, INRIA, 1991.
14. M. Sample and G. Neufeld, Snacc 1.0: A High Performance ASN.1 to C/C++ Compiler, University of British Columbia Technical Report, Feb., 1993.
15. P. Hoschka, Compact and Efficient Presentation Conversion Code, INRIA Technical Report, October, 1997.