Publications of Torbjørn Frotveit

This page contains a list of the publications I have created.

Publications

  • Torbjørn Frotveit: "Software Architecture in SDL: A study of Structure in the SDL Specification Formalism", Computer Science Project Report, Department of Computer Systems and Telematics (IDT), The Norwegian Institute of Technology (NTH), The University of Trondheim, Norway, April 27th, 1994.

    Report as PDF file

  • Torbjørn Frotveit: "Formal Methods Applied to The Definition of a Transport Telematics Architecture", Diploma Thesis, Department of Computer Systems and Telematics (IDT), The Norwegian Institute of Technology (NTH), The University of Trondheim, Norway, January 5th, 1995.

    • Report as PDF file

  • Torbjørn Frotveit, Rolv Bræk, Steinar Andresen: "Modelling Advanced Transport Telematics Architecture using Formal definition techniques. Proposal for a methodology that incorporates extensions to SDL.", 1995 Vehicle Navigation & Information Systems Conference Proceedings, 6th International VNIS, Seattle, Washington, USA, July 30 - August2, 1995, pp. 458-464

  • Torbjørn Frotveit: "A Methodology for Modelling Large and Complex Systems, used on an Advanced Transport Telematics Architecture", SDL'95 with MSC in CASE, Proceedings of the Seventh SDL Forum , Oslo, Norway, 26-29 September, 1995, pp. 129-138

    Here is an abstract of the paper

    • Last updated 1999-01-29, by Torbjørn Frotveit , Torbjorn.Frotveit@ericsson.no