论文信息 - Formal Methods Research at NTNU, Department of Telematics

Formal Methods Research at NTNU, Department of Telematics

Abstract This paper briefly outlines research activities on formal languages, methods and tools at the department of Telematics, NTNU. Since the early 1970's the focus has been on modelling approaches to provide practical industrial benefits. The current research focus is on model driven service engineering using roles and actors.

Rolv Bræk

[1] Jacqueline Floch,et al. Using Projections for the Detection of Anomalous Behaviors , 2003, SDL Forum.

[2] Jacqueline Floch,et al. Towards Dynamic Composition of Hybrid Communication Services , 2000, SMARTNET.

[3] Øystein Haugen,et al. Engineering real time systems - an object-oriented methodology using SDL (2. pr.) , 1993, BCS practitioner series.

[4] Jacqueline Floch. Towards PaP Services: Design and Validation Issues , 2002 .

[5] Chutiporn Anutariya,et al. Support Specification and Selection in TAPAS , 2002 .

[6] Hein Meling,et al. Towards a Plug and Play Architecture for Telecommunications , 1999, SMARTNET.

[7] M. G. Rodd,et al. Engineering real-time systems , 1995 .

[8] Rolv Bræk. Using Roles with Types and Objects for Service Development , 1999, SMARTNET.