Rolv Bræk - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

2016

Modular Solutions to Common Design Problems Using Activities and the Interface-Modular MethodUrooj Fatima, Rolv Bræk. sam 2016: 226-241 [doi]

2015

The Interface-Modular Method for Global System Behaviour SpecificationUrooj Fatima, Rolv Bræk. modelsward 2015: 339-355 [doi]

A Modular Method for Global System Behaviour SpecificationUrooj Fatima, Rolv Bræk. modelsward 2015: 490-497 [doi]

2013

On Properties of Modeling ApproachesRolv Bræk. MoDELS 2013: [doi]

On the realizability of collaborative servicesHumberto Nicolás Castejón, Gregor von Bochmann, Rolv Bræk. SoSyM, 12(3):597-617, 2013. [doi]

Modelling multiplicity in choreography modelsUrooj Fatima, Rolv Bræk. RE 2013: 74-78 [doi]

2012

On Deriving Detailed Component Design from High-Level Service SpecificationUrooj Fatima, Rolv Bræk. sam 2013: 142-159 [doi]

2011

Session Initiation as a ServiceUrooj Fatima, Rolv Bræk, Humberto Nicolás Castejón. sdl 2012: 122-137 [doi]

A Model-Driven Framework for Component-Based DevelopmentSurya Bahadur Kathayat, Hien Nam Le, Rolv Bræk. sdl 2012: 154-167 [doi]

Analyzing realizability of choreographies using initiating and responding flowsSurya Bahadur Kathayat, Rolv Bræk. MoDELS 2011: [doi]

Modeling collaborative learning services - A case studySurya Bahadur Kathayat, Rolv Bræk. cts 2011: 326-333 [doi]

Unified Modeling of Service Logic with User InterfacesFrank Alexander Kraemer, Surya Bahadur Kathayat, Rolv Bræk. ijcis, 20(2):177-200, 2011. [doi]

Scenario based techno-business analysis of service platforms and their service portfoliosJosip Zoric, Rolv Bræk. telsys, 46(2):95-116, 2011. [doi]

2010

From Flow-Global Choreography to Component TypesSurya Bahadur Kathayat, Rolv Bræk. sam 2011: 36-55 [doi]

2008

Using Composition Policies to Manage Authentication and Authorization Patterns and ServicesJudith E. Y. Rossebø, Rolv Bræk. IEEEares 2008: 597-603 [doi]

2007

Realizability of Collaboration-based Service SpecificationsHumberto Nicolás Castejón, Rolv Bræk, Gregor von Bochmann. apsec 2007: 73-80 [doi]

Synthesizing Components with Sessions from Collaboration-Oriented Service SpecificationsFrank Alexander Kraemer, Rolv Bræk, Peter Herrmann. sdl 2007: 166-185 [doi]

Dealing with Active and Stateful Services in the Service-Oriented ArchitectureHaldor Samset, Rolv Bræk. icsoc 2009: 268-281 [doi]

2006

2005

2004

ICT Convergence: Modeling IssuesRolv Bræk, Jacqueline Floch. sam 2005: 237-256 [doi]

Modeling Peer-to-Peer Service Goals in UMLRichard Torbjørn Sanders, Rolv Bræk. SEFM 2004: 144-153 [doi]

2003

Formal Methods Research at NTNU, Department of TelematicsRolv Bræk. ENTCS, 80:304-309, 2003. [doi]

Using Projections for the Detection of Anomalous BehaviorsJacqueline Floch, Rolv Bræk. sdl 2003: 251-268 [doi]

Using SDL for Modeling Behavior CompositionJacqueline Floch, Rolv Bræk. sdl 2003: 36-54 [doi]

2001

Using UML for Implementation Design of SDL SystemsJacqueline Floch, Richard Torbjørn Sanders, Ulrik Johansen, Rolv Bræk. sdl 2001: 90-106 [doi]

2000

Towards Dynamic Composition of Hybrid Communication ServicesJacqueline Floch, Rolv Bræk. smartnet 2000: 73-92

1999

Towards a Plug and Play Architecture for TelecommunicationsFinn Arve Aagesen, Bjarne E. Helvik, Vilas Wuwongse, Hein Meling, Rolv Bræk, Ulrik Johansen. smartnet 2000: 321-334

Using Roles with Types and Objects for Service DevelopmentRolv Bræk. smartnet 2000: 265-278

1996

SDL BasicsRolv Bræk. cn, 28(12):1585-1602, 1996. [doi]

1993

Engineering real time systems - an object-oriented methodology using SDL (2. pr.)Rolv Bræk, Oeystein Haugen. BCS practitioner series, Prentice Hall, 1993.

Sign in or sign up to see more results.

runs on WebDSL