Rolv Bræk
Om
Research area
- Model-driven service and systems engineering
- Systems engineering methodology
- Software design for real time systems
Reserach group: networked systems
Personal web page: Rolv Bræk
Background
Professor at NTNU in in Systems development since 2000
Adjunct Research Scientist Ericsson Norwegian Advanced Research Centre,2001 – 2002
Adjunct Professor at NTNU in Systems Development 1996-2000
Principal Research Scientist at SINTEF 1987 - 2000
Adjunct Professor at NTH in Systems Development 1988 - 1993
Acting Director of Research at ELAB 1987 - 1989 .
Research scientist at ELAB 1985 - 1987 .
Research fellowship from the Royal Norwegian Council for Scientific and Industrial Research 1984 - 1985
Research scientist at ELAB 1979 - 1984 .
Head of the Teletraffic Group at ELAB (3 year assignment) 1976 - 1979
Research scientist at ELAB 1974 - 1976
Assistant Professor at NTH 1973 - 1974
Scientific Assistant at NTH 1970 - 1973
Research scientist at ELAB 1969 - 1970
Scientific Assistant at NTH 1968 - 1969
Publikasjoner
2016
-
Fatima, Urooj;
Bræk, Rolv.
(2016)
Modular solutions to common design problems using activities and the interface-modular method.
Lecture Notes in Computer Science (LNCS).
volum 9959 LNCS.
Vitenskapelig artikkel
2015
-
Fatima, Urooj;
Bræk, Rolv.
(2015)
A Modular Method for Global System Behaviour Specification.
MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015.
Vitenskapelig kapittel/artikkel
-
Fatima, Urooj;
Bræk, Rolv.
(2015)
The interface-modular method for global system behaviour specification.
Communications in Computer and Information Science.
volum 580.
Vitenskapelig artikkel
2013
-
Bræk, Rolv.
(2013)
On Properties of Modeling Approaches.
CEUR Workshop Proceedings.
volum 1076.
Vitenskapelig artikkel
-
Castejón, Humberto Nicolás;
V. Bochman, Gregor;
Bræk, Rolv.
(2013)
On the realizability of collaborative services.
Software and Systems Modeling (SoSyM).
volum 12 (3).
Vitenskapelig artikkel
-
Fatima, Urooj;
Bræk, Rolv.
(2013)
On Deriving Detailed Component Design from High-Level Service Specification.
Lecture Notes in Computer Science (LNCS).
volum 7744.
Vitenskapelig artikkel
-
Urooj, Fatima;
Bræk, Rolv.
(2013)
Modelling Multiplicity in Choreography Models.
Third International Workshop on Model-Driven Requirements Engineering (MoDRE).
Vitenskapelig kapittel/artikkel
2012
-
Fatima, Urooj;
Bræk, Rolv.
(2012)
Model Driven Service Engineering (MDSE). Reported at Comparing Modeling Approaches Workshop (CMA'12) co-located with MODELS 2012.
2012.
Rapport
-
Fatima, Urooj;
Bræk, Rolv;
Castejón, Humberto Nicolás.
(2012)
Session Initiation as a Service.
Lecture Notes in Computer Science (LNCS).
volum 7083.
Vitenskapelig artikkel
-
Mussbacher, Gunter;
Al Abed, Wisam;
Alam, Omar;
Ali, Shaukat;
Beugnard, Antoine;
Bonnet, Valentin;
Bræk, Rolv;
Capozucca, Alfredo;
H. C. Cheng, Betty;
Fatima, Urooj;
France, Robert;
Georg, Geri;
Guelfi, Nicolas;
Paul, Istoan;
Jezequel, Jean-Marc;
Kienzle, Jörg;
Klein, Jacques;
Lézoray, Jean-Baptiste;
Malakuti, Somayeh;
Moreira, Ana;
Phung-Khac, An;
Troup, Lucy.
(2012)
Comparing Six Modeling Approaches.
Lecture Notes in Computer Science (LNCS).
volum 7167.
Vitenskapelig artikkel
2011
-
Fatima, Urooj;
Bræk, Rolv;
Castejon, Humberto Nicolas.
(2011)
Session Initiation as a Service.
SDL 2011: Integrating System and Software Modeling.
Vitenskapelig kapittel/artikkel
-
Han, Fenglin;
Kathayat, Surya Bahadur;
Le, Hien Nam;
Bræk, Rolv;
Herrmann, Peter Michael.
(2011)
Towards Choreography Model Transformation via Graph Transformation.
Proceedings 2011 2nd IEEE International Conference On Software Engineering and Service Science.
Vitenskapelig kapittel/artikkel
-
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2011)
From Flow-Global Choreography to Component Types.
Lecture Notes in Computer Science (LNCS).
volum 6598.
Vitenskapelig artikkel
-
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2011)
Modeling Collaborative Learning Services - A Case Study.
Proceedings of the 2011 International Conference on Collaboration Technologies and Systems.
Vitenskapelig kapittel/artikkel
-
Kathayat, Surya Bahadur;
Le, Hien Nam;
Bræk, Rolv.
(2011)
A Model-Driven Framework for Component-based Development.
Lecture Notes in Computer Science (LNCS).
volum 7083.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2011)
Unified Modeling of Service Logic with User Interfaces.
International journal of intelligent and cooperative information systems.
volum 20 (2).
Vitenskapelig artikkel
-
Zoric, Josip;
Bræk, Rolv.
(2011)
Scenario based techno-business analysis of service platforms and their service portfolios.
Telecommunications Systems.
volum 46 (2).
Vitenskapelig artikkel
2010
-
Bræk, Rolv;
Castejon, Humberto Nicolas;
Le, Hien Nam;
Rossebø, Judith Ellen Yarranton.
(2010)
Policy-Based Service Composition and Recommendation.
Service Intelligence and Service Science: Evolutionary Technologies and Challenges.
Vitenskapelig kapittel/artikkel
-
Kathayat, Surya Bahadur;
Le, Hien Nam;
Bræk, Rolv.
(2010)
Automatic Derivation of Components Using Choreographies - A Case Study.
Proceedings of the International Conference on Software Engineering.
Vitenskapelig kapittel/artikkel
2009
-
Floch, Jacqueline;
Sanders, Richard;
Bræk, Rolv.
(2009)
Compositional Service Engineering Using Semantic Interfaces.
At Your Service. Service oriented computing from an EU perspective.
Vitenskapelig kapittel/artikkel
-
Bræk, Rolv;
Rossebø, Judith Ellen Yarranton.
(2009)
Methodology for Policy-Enabled Dynamic composition of services.
2009.
Rapport
-
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2009)
Platform Support for Situated Collaborative Learning.
International Conference on Mobile, Hybrid, and On-line Learning, 2009. ELML '09.
Vitenskapelig kapittel/artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk.
volum 105 (1.2009).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2009)
Unified Modeling of Service Logic with User Interfaces.
Proceeding of the first international workshop on Model driven service engineering and data quality and security 2009.
Annet
-
Kraemer, Frank Alexander;
Samset, Haldor;
Bræk, Rolv.
(2009)
An Automated Method for Web Service Orchestration Based on Reusable Building Blocks.
Web Services, 2009. ICWS 2009. IEEE International Conference on.
Vitenskapelig kapittel/artikkel
2008
-
Amyot, Daniel;
Becca, Hanana;
Bræk, Rolv;
Rossebø, Judith Ellen Yarranton.
(2008)
Next Generation Service Engineering.
Proceedings of the ITU-T NGN Kaleidoscope Conference.
Vitenskapelig kapittel/artikkel
-
Castejón, Humberto Nicolás;
von Bochmann, Gregor;
Bræk, Rolv.
(2008)
Using Collaborations in the Development of Distributed Services.
2008. AVANTEL Technical Report (2/2008).
Rapport
-
Rossebø, Judith Ellen Yarranton;
Bræk, Rolv.
(2008)
Using Composition Policies to Manage Authentication and Authorization Patterns and Services.
2008. ISBN 978-82-993980-5-3. AVANTEL Technical Report (3/2008).
Rapport
-
Rossebø, Judith Ellen Yarranton;
Bræk, Rolv.
(2008)
Using Composition Policies to Manage Authentication and Authorization Patterns and Services.
Proceedings of the Third International Conference on Availability, Reliability and Security.
Annet
-
Samset, Haldor;
Bræk, Rolv.
(2008)
Describing Active Services for Publication and Discovery.
Software Engineering Research, Management and Applications.
Vitenskapelig kapittel/artikkel
-
Samset, Haldor;
Bræk, Rolv.
(2008)
Dynamic Service Discovery using Active Lookup and Registration.
Congress on Services - Part I, 2008. SERVICES '08. IEEE.
Vitenskapelig kapittel/artikkel
2007
-
Castejón, Humberto Nicolás;
Bochmann, Gregor;
Bræk, Rolv.
(2007)
Realizability of Collaboration-based Service Specifications.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007).
Vitenskapelig kapittel/artikkel
-
Castejón, Humberto Nicolás;
von Bochmann, Gregor;
Bræk, Rolv.
(2007)
Investigating the realizability of collaboration-based service specifications.
2007. AVANTEL Technical Report (3/2007).
Rapport
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter Michael.
(2007)
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
2006
-
Castejón, Humberto Nicolás;
Bræk, Rolv.
(2006)
A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios.
Proceedings of the 2006 ICSE international workshop on Scenarios and state machines: models, algorithms, and tools.
Annet
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael;
Bræk, Rolv.
(2006)
Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.
Lecture Notes in Computer Science (LNCS).
volum 4276.
Vitenskapelig artikkel
-
Rossebø, Judith Ellen Yarranton;
Bræk, Rolv.
(2006)
A Policy-driven Approach to Dynamic Composition of Authentication and Authorization Patterns and Services.
Journal of Computers.
volum 1 (8).
Vitenskapelig artikkel
-
Rossebø, Judith Ellen Yarranton;
Bræk, Rolv.
(2006)
Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition.
First International Conference on Availability, Reliability and Security (ARES'06).
Vitenskapelig kapittel/artikkel
-
Castejón, Humberto Nicolás;
Bræk, Rolv.
(2006)
Formalizing Collaboration Goal Sequences for Service Choreography.
Lecture Notes in Computer Science (LNCS).
volum 4229.
Vitenskapelig artikkel
2005
-
Bræk, Rolv;
Melby, Geir.
(2005)
Model Driven Service Engineering.
Model-driven Software Development. Volume II of Research and Practice in Software Engineering.
Vitenskapelig kapittel/artikkel
-
Castejón, Humberto Nicolás;
Bræk, Rolv.
(2005)
Dynamic Role Binding in a Service Oriented Architecture.
IFIP International Federation for Information Processing.
volum 190.
Vitenskapelig artikkel
-
Bræk, Rolv;
Floch, Jacqueline.
(2005)
ICT convergence: Modeling issues.
Lecture Notes in Computer Science (LNCS).
volum 3319.
Vitenskapelig artikkel
-
Floch, Jacqueline;
Bræk, Rolv.
(2005)
A compositional approach to service validation.
Lecture Notes in Computer Science (LNCS).
volum 3530.
Vitenskapelig artikkel
-
Sanders, Richard Torbjørn;
Castejón, Humberto Nicolás;
Kraemer, Frank Alexander;
Bræk, Rolv.
(2005)
Using UML 2.0 Collaborations for Compositional Service Specification.
Lecture Notes in Computer Science (LNCS).
volum 3713.
Vitenskapelig artikkel
-
Sanders, Richard;
Bræk, Rolv;
V. Bochman, Gregor;
Amyot, Daniel.
(2005)
Service Discovery and Component Reuse with Semantic Interfaces.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
2004
-
Bræk, Rolv;
Helvik, Bjarne Emil;
Knapskog, Svein Johan;
Kristiansen, Lill;
Kure, Øivind.
(2004)
Information Society of 2020; Networks and networked systems.
Infosam2020, Information Society of 2020.
Vitenskapelig kapittel/artikkel
-
Nørvåg, Kjetil;
Bratbergsengen, Kjell;
Bræk, Rolv;
Dybdahl, Haakon;
Elster, Anne Cathrine;
Hallgren, Torbjørn;
Hartmann, Morten;
Hauglid, Jon Olav;
Knapskog, Svein Johan;
Natvig, Lasse.
(2004)
Computer Systems.
Infosam2020, Information Society of 2020.
Vitenskapelig kapittel/artikkel
2003
-
Sanders, Richard;
Floch, Jacqueline;
Bræk, Rolv.
(2003)
Dynamic Behaviour Arbitration using Role Negotiation.
Proceedings of 9th EUNICE Open European Summer School and IFIP WG6.3 Workshop on Next Generation Networks, Balatonfüred, Hungary, 8th-10th November 2003, ISBN 963-421-576-9.
Vitenskapelig artikkel
2002
-
Aagesen, Finn Arve;
Bræk, Rolv.
(2002)
EUNICE'2002.
2002. ISBN 82-993980-5-3.
Fagbok
2000
-
Bræk, Rolv.
(2000)
Guest Editorial.
Telektronikk.
volum 96 (4).
Kronikk
-
Bræk, Rolv.
(2000)
On Methodology Using the ITU-T Languages and UML.
Telektronikk.
volum 96 (4).
Vitenskapelig artikkel
-
Meisingset, Arve;
Bræk, Rolv.
(2000)
The ITU-T Languages in a Nutshell.
Telektronikk.
volum 96 (4).
Vitenskapelig artikkel
1999
-
Aagesen, Finn Arve;
Bræk, Rolv;
Floch, Jacqueline;
Helvik, Bjarne Emil;
Johansen, Ulrik Albert;
Meling, Hein;
Wuwongse, Vilas.
(1999)
A Reference Model for Plug and Play.
1999. Plug-and Play Technical Report (1/99).
Rapport
-
Bræk, Rolv;
Gorman, Joe;
Haugen, øystein;
Melby, Geir;
Møller-Pedersen, Birger;
Sanders, Richard Torbjørn.
(1999)
Quality by Construction Exemplified by TIMe - The Integrated Methodology.
Telektronikk.
volum 95 (1).
Populærvitenskapelig artikkel
-
Johansen, Ulrik Albert;
Aagesen, Finn Arve;
Helvik, Bjarne Emil;
Bræk, Rolv.
(1999)
Design specification of the PaP support functionality.
1999. Plug-and Play Technical Report (2/99).
Rapport
1997
-
Bræk, Rolv;
Haugen, Øystein;
Melby, Geir;
Møller-Pedersen, Birger;
Stålhane, Tor;
Sanders, Richard Torbjørn.
(1997)
TIMe : The Integrated Method.
1997.
Rapport
1995
-
Bræk, Rolv;
Møller-Pedersen, Birger.
(1995)
Common methodology : version 2.
1995. Rapport / SISU II.
Rapport
-
Sommerville, I.;
Mayobre, G.;
Bræk, Rolv;
Floch, J.;
Mertes, K.;
Breuer, M.;
Leger, J.;
Pendaries, J.-M.;
Gandrieau, M.-A.;
Tryggeseth, Eirik.
(1995)
Proteus framework.
1995.
Rapport
-
Bræk, Rolv;
Møller-Pedersen, Birger.
(1995)
Common methodology, SISU II.
1995.
Rapport
1993
-
Bræk, Rolv.
(1993)
REBOOT SISU reuse methodology.
1993. SISU report & SISU-93001.
Fagbok
-
Bræk, Rolv;
Haugen, Øystein.
(1993)
Engineering real time systems : an object-oriented methodology using SDL.
Prentice-Hall. 1993. ISBN 0-13-034448-6. BCS practitioner series.
Fagbok
-
Bræk, Rolv;
Waløen, Åge;
Aaserud, Oddvar.
(1993)
Mekatronikk metodeutvikling : forprosjektrapport utarbeidet på oppdrag fra TBLs Teknologiutvalg for mekatronikk.
1993.
Fagbok
1992
-
Haugen, Øystein;
Bræk, Rolv.
(1992)
Engineering real time systems - an object-oriented methodology using SDC.
1992. SISU Report.
Fagbok
Vitenskapelige artikler
-
Fatima, Urooj;
Bræk, Rolv.
(2016)
Modular solutions to common design problems using activities and the interface-modular method.
Lecture Notes in Computer Science (LNCS).
volum 9959 LNCS.
Vitenskapelig artikkel
-
Fatima, Urooj;
Bræk, Rolv.
(2015)
The interface-modular method for global system behaviour specification.
Communications in Computer and Information Science.
volum 580.
Vitenskapelig artikkel
-
Bræk, Rolv.
(2013)
On Properties of Modeling Approaches.
CEUR Workshop Proceedings.
volum 1076.
Vitenskapelig artikkel
-
Castejón, Humberto Nicolás;
V. Bochman, Gregor;
Bræk, Rolv.
(2013)
On the realizability of collaborative services.
Software and Systems Modeling (SoSyM).
volum 12 (3).
Vitenskapelig artikkel
-
Fatima, Urooj;
Bræk, Rolv.
(2013)
On Deriving Detailed Component Design from High-Level Service Specification.
Lecture Notes in Computer Science (LNCS).
volum 7744.
Vitenskapelig artikkel
-
Fatima, Urooj;
Bræk, Rolv;
Castejón, Humberto Nicolás.
(2012)
Session Initiation as a Service.
Lecture Notes in Computer Science (LNCS).
volum 7083.
Vitenskapelig artikkel
-
Mussbacher, Gunter;
Al Abed, Wisam;
Alam, Omar;
Ali, Shaukat;
Beugnard, Antoine;
Bonnet, Valentin;
Bræk, Rolv;
Capozucca, Alfredo;
H. C. Cheng, Betty;
Fatima, Urooj;
France, Robert;
Georg, Geri;
Guelfi, Nicolas;
Paul, Istoan;
Jezequel, Jean-Marc;
Kienzle, Jörg;
Klein, Jacques;
Lézoray, Jean-Baptiste;
Malakuti, Somayeh;
Moreira, Ana;
Phung-Khac, An;
Troup, Lucy.
(2012)
Comparing Six Modeling Approaches.
Lecture Notes in Computer Science (LNCS).
volum 7167.
Vitenskapelig artikkel
-
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2011)
From Flow-Global Choreography to Component Types.
Lecture Notes in Computer Science (LNCS).
volum 6598.
Vitenskapelig artikkel
-
Kathayat, Surya Bahadur;
Le, Hien Nam;
Bræk, Rolv.
(2011)
A Model-Driven Framework for Component-based Development.
Lecture Notes in Computer Science (LNCS).
volum 7083.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2011)
Unified Modeling of Service Logic with User Interfaces.
International journal of intelligent and cooperative information systems.
volum 20 (2).
Vitenskapelig artikkel
-
Zoric, Josip;
Bræk, Rolv.
(2011)
Scenario based techno-business analysis of service platforms and their service portfolios.
Telecommunications Systems.
volum 46 (2).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk.
volum 105 (1.2009).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter Michael.
(2007)
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael;
Bræk, Rolv.
(2006)
Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.
Lecture Notes in Computer Science (LNCS).
volum 4276.
Vitenskapelig artikkel
-
Rossebø, Judith Ellen Yarranton;
Bræk, Rolv.
(2006)
A Policy-driven Approach to Dynamic Composition of Authentication and Authorization Patterns and Services.
Journal of Computers.
volum 1 (8).
Vitenskapelig artikkel
-
Castejón, Humberto Nicolás;
Bræk, Rolv.
(2006)
Formalizing Collaboration Goal Sequences for Service Choreography.
Lecture Notes in Computer Science (LNCS).
volum 4229.
Vitenskapelig artikkel
-
Castejón, Humberto Nicolás;
Bræk, Rolv.
(2005)
Dynamic Role Binding in a Service Oriented Architecture.
IFIP International Federation for Information Processing.
volum 190.
Vitenskapelig artikkel
-
Bræk, Rolv;
Floch, Jacqueline.
(2005)
ICT convergence: Modeling issues.
Lecture Notes in Computer Science (LNCS).
volum 3319.
Vitenskapelig artikkel
-
Floch, Jacqueline;
Bræk, Rolv.
(2005)
A compositional approach to service validation.
Lecture Notes in Computer Science (LNCS).
volum 3530.
Vitenskapelig artikkel
-
Sanders, Richard Torbjørn;
Castejón, Humberto Nicolás;
Kraemer, Frank Alexander;
Bræk, Rolv.
(2005)
Using UML 2.0 Collaborations for Compositional Service Specification.
Lecture Notes in Computer Science (LNCS).
volum 3713.
Vitenskapelig artikkel
-
Sanders, Richard;
Bræk, Rolv;
V. Bochman, Gregor;
Amyot, Daniel.
(2005)
Service Discovery and Component Reuse with Semantic Interfaces.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Sanders, Richard;
Floch, Jacqueline;
Bræk, Rolv.
(2003)
Dynamic Behaviour Arbitration using Role Negotiation.
Proceedings of 9th EUNICE Open European Summer School and IFIP WG6.3 Workshop on Next Generation Networks, Balatonfüred, Hungary, 8th-10th November 2003, ISBN 963-421-576-9.
Vitenskapelig artikkel
-
Bræk, Rolv.
(2000)
On Methodology Using the ITU-T Languages and UML.
Telektronikk.
volum 96 (4).
Vitenskapelig artikkel
-
Meisingset, Arve;
Bræk, Rolv.
(2000)
The ITU-T Languages in a Nutshell.
Telektronikk.
volum 96 (4).
Vitenskapelig artikkel
Tidsskriftspublikasjoner
-
Bræk, Rolv.
(2000)
Guest Editorial.
Telektronikk.
volum 96 (4).
Kronikk
-
Bræk, Rolv;
Gorman, Joe;
Haugen, øystein;
Melby, Geir;
Møller-Pedersen, Birger;
Sanders, Richard Torbjørn.
(1999)
Quality by Construction Exemplified by TIMe - The Integrated Methodology.
Telektronikk.
volum 95 (1).
Populærvitenskapelig artikkel
Bøker
-
Aagesen, Finn Arve;
Bræk, Rolv.
(2002)
EUNICE'2002.
2002. ISBN 82-993980-5-3.
Fagbok
-
Bræk, Rolv.
(1993)
REBOOT SISU reuse methodology.
1993. SISU report & SISU-93001.
Fagbok
-
Bræk, Rolv;
Haugen, Øystein.
(1993)
Engineering real time systems : an object-oriented methodology using SDL.
Prentice-Hall. 1993. ISBN 0-13-034448-6. BCS practitioner series.
Fagbok
-
Bræk, Rolv;
Waløen, Åge;
Aaserud, Oddvar.
(1993)
Mekatronikk metodeutvikling : forprosjektrapport utarbeidet på oppdrag fra TBLs Teknologiutvalg for mekatronikk.
1993.
Fagbok
-
Haugen, Øystein;
Bræk, Rolv.
(1992)
Engineering real time systems - an object-oriented methodology using SDC.
1992. SISU Report.
Fagbok
Del av bok/rapport
-
Fatima, Urooj;
Bræk, Rolv.
(2015)
A Modular Method for Global System Behaviour Specification.
MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015.
Vitenskapelig kapittel/artikkel
-
Urooj, Fatima;
Bræk, Rolv.
(2013)
Modelling Multiplicity in Choreography Models.
Third International Workshop on Model-Driven Requirements Engineering (MoDRE).
Vitenskapelig kapittel/artikkel
-
Fatima, Urooj;
Bræk, Rolv;
Castejon, Humberto Nicolas.
(2011)
Session Initiation as a Service.
SDL 2011: Integrating System and Software Modeling.
Vitenskapelig kapittel/artikkel
-
Han, Fenglin;
Kathayat, Surya Bahadur;
Le, Hien Nam;
Bræk, Rolv;
Herrmann, Peter Michael.
(2011)
Towards Choreography Model Transformation via Graph Transformation.
Proceedings 2011 2nd IEEE International Conference On Software Engineering and Service Science.
Vitenskapelig kapittel/artikkel
-
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2011)
Modeling Collaborative Learning Services - A Case Study.
Proceedings of the 2011 International Conference on Collaboration Technologies and Systems.
Vitenskapelig kapittel/artikkel
-
Bræk, Rolv;
Castejon, Humberto Nicolas;
Le, Hien Nam;
Rossebø, Judith Ellen Yarranton.
(2010)
Policy-Based Service Composition and Recommendation.
Service Intelligence and Service Science: Evolutionary Technologies and Challenges.
Vitenskapelig kapittel/artikkel
-
Kathayat, Surya Bahadur;
Le, Hien Nam;
Bræk, Rolv.
(2010)
Automatic Derivation of Components Using Choreographies - A Case Study.
Proceedings of the International Conference on Software Engineering.
Vitenskapelig kapittel/artikkel
-
Floch, Jacqueline;
Sanders, Richard;
Bræk, Rolv.
(2009)
Compositional Service Engineering Using Semantic Interfaces.
At Your Service. Service oriented computing from an EU perspective.
Vitenskapelig kapittel/artikkel
-
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2009)
Platform Support for Situated Collaborative Learning.
International Conference on Mobile, Hybrid, and On-line Learning, 2009. ELML '09.
Vitenskapelig kapittel/artikkel
-
Kraemer, Frank Alexander;
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2009)
Unified Modeling of Service Logic with User Interfaces.
Proceeding of the first international workshop on Model driven service engineering and data quality and security 2009.
Annet
-
Kraemer, Frank Alexander;
Samset, Haldor;
Bræk, Rolv.
(2009)
An Automated Method for Web Service Orchestration Based on Reusable Building Blocks.
Web Services, 2009. ICWS 2009. IEEE International Conference on.
Vitenskapelig kapittel/artikkel
-
Amyot, Daniel;
Becca, Hanana;
Bræk, Rolv;
Rossebø, Judith Ellen Yarranton.
(2008)
Next Generation Service Engineering.
Proceedings of the ITU-T NGN Kaleidoscope Conference.
Vitenskapelig kapittel/artikkel
-
Rossebø, Judith Ellen Yarranton;
Bræk, Rolv.
(2008)
Using Composition Policies to Manage Authentication and Authorization Patterns and Services.
Proceedings of the Third International Conference on Availability, Reliability and Security.
Annet
-
Samset, Haldor;
Bræk, Rolv.
(2008)
Describing Active Services for Publication and Discovery.
Software Engineering Research, Management and Applications.
Vitenskapelig kapittel/artikkel
-
Samset, Haldor;
Bræk, Rolv.
(2008)
Dynamic Service Discovery using Active Lookup and Registration.
Congress on Services - Part I, 2008. SERVICES '08. IEEE.
Vitenskapelig kapittel/artikkel
-
Castejón, Humberto Nicolás;
Bochmann, Gregor;
Bræk, Rolv.
(2007)
Realizability of Collaboration-based Service Specifications.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007).
Vitenskapelig kapittel/artikkel
-
Castejón, Humberto Nicolás;
Bræk, Rolv.
(2006)
A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios.
Proceedings of the 2006 ICSE international workshop on Scenarios and state machines: models, algorithms, and tools.
Annet
-
Rossebø, Judith Ellen Yarranton;
Bræk, Rolv.
(2006)
Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition.
First International Conference on Availability, Reliability and Security (ARES'06).
Vitenskapelig kapittel/artikkel
-
Bræk, Rolv;
Melby, Geir.
(2005)
Model Driven Service Engineering.
Model-driven Software Development. Volume II of Research and Practice in Software Engineering.
Vitenskapelig kapittel/artikkel
-
Bræk, Rolv;
Helvik, Bjarne Emil;
Knapskog, Svein Johan;
Kristiansen, Lill;
Kure, Øivind.
(2004)
Information Society of 2020; Networks and networked systems.
Infosam2020, Information Society of 2020.
Vitenskapelig kapittel/artikkel
-
Nørvåg, Kjetil;
Bratbergsengen, Kjell;
Bræk, Rolv;
Dybdahl, Haakon;
Elster, Anne Cathrine;
Hallgren, Torbjørn;
Hartmann, Morten;
Hauglid, Jon Olav;
Knapskog, Svein Johan;
Natvig, Lasse.
(2004)
Computer Systems.
Infosam2020, Information Society of 2020.
Vitenskapelig kapittel/artikkel
Rapport
-
Fatima, Urooj;
Bræk, Rolv.
(2012)
Model Driven Service Engineering (MDSE). Reported at Comparing Modeling Approaches Workshop (CMA'12) co-located with MODELS 2012.
2012.
Rapport
-
Bræk, Rolv;
Rossebø, Judith Ellen Yarranton.
(2009)
Methodology for Policy-Enabled Dynamic composition of services.
2009.
Rapport
-
Castejón, Humberto Nicolás;
von Bochmann, Gregor;
Bræk, Rolv.
(2008)
Using Collaborations in the Development of Distributed Services.
2008. AVANTEL Technical Report (2/2008).
Rapport
-
Rossebø, Judith Ellen Yarranton;
Bræk, Rolv.
(2008)
Using Composition Policies to Manage Authentication and Authorization Patterns and Services.
2008. ISBN 978-82-993980-5-3. AVANTEL Technical Report (3/2008).
Rapport
-
Castejón, Humberto Nicolás;
von Bochmann, Gregor;
Bræk, Rolv.
(2007)
Investigating the realizability of collaboration-based service specifications.
2007. AVANTEL Technical Report (3/2007).
Rapport
-
Aagesen, Finn Arve;
Bræk, Rolv;
Floch, Jacqueline;
Helvik, Bjarne Emil;
Johansen, Ulrik Albert;
Meling, Hein;
Wuwongse, Vilas.
(1999)
A Reference Model for Plug and Play.
1999. Plug-and Play Technical Report (1/99).
Rapport
-
Johansen, Ulrik Albert;
Aagesen, Finn Arve;
Helvik, Bjarne Emil;
Bræk, Rolv.
(1999)
Design specification of the PaP support functionality.
1999. Plug-and Play Technical Report (2/99).
Rapport
-
Bræk, Rolv;
Haugen, Øystein;
Melby, Geir;
Møller-Pedersen, Birger;
Stålhane, Tor;
Sanders, Richard Torbjørn.
(1997)
TIMe : The Integrated Method.
1997.
Rapport
-
Bræk, Rolv;
Møller-Pedersen, Birger.
(1995)
Common methodology : version 2.
1995. Rapport / SISU II.
Rapport
-
Sommerville, I.;
Mayobre, G.;
Bræk, Rolv;
Floch, J.;
Mertes, K.;
Breuer, M.;
Leger, J.;
Pendaries, J.-M.;
Gandrieau, M.-A.;
Tryggeseth, Eirik.
(1995)
Proteus framework.
1995.
Rapport
-
Bræk, Rolv;
Møller-Pedersen, Birger.
(1995)
Common methodology, SISU II.
1995.
Rapport
Formidling
2013
-
Vitenskapelig foredragBræk, Rolv. (2013) On Properties of Modeling Approaches. Comparing Modeling Approaches @ Models 2013 . Models 2013; Miami. 2013-10-01 - 2013-10-01.
2012
-
Vitenskapelig foredragFatima, Urooj; Bræk, Rolv. (2012) On Deriving Detailed Component Design from High-Level Service Specification. 7th System Analysis and Modeling (SAM) Workshop . SDL Forum Society; Innsbruck. 2012-10-01 - 2012-10-02.
2011
-
Vitenskapelig foredragBræk, Rolv; Kathayat, Surya Bahadur. (2011) Analyzing Realizability of Choreographies Using Initiating and Responding Flows. MoDeVVa '11 Model-Driven Engineering, Verification, and Validation . MODELS 2011 Conference; Wellington. 2011-10-17 - 2011-10-17.
-
Vitenskapelig foredragFatima, Urooj; Bræk, Rolv. (2011) Model Driven Service Engineering Applied to bCMS. COMPARING MODELING APPROACHES WORKSHOP AT MODELS 2011 ; Wellington. 2011-10-18.
-
Vitenskapelig foredragKathayat, Surya Bahadur; Bræk, Rolv. (2011) Modeling Collaborative Learning - A Case Study. The 2011 International Conference on Collaboration Technologies and Systems ; Philadelphia, Pennsylvania. 2011-05-23 - 2011-05-27.
-
Vitenskapelig foredragKathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv. (2011) A Model-Driven Framework for Component-based Development. SDL 2011: Integrating System and Software Modeling . SDL Forum Society; Toulouse. 2011-07-05 - 2011-07-07.
2010
-
Vitenskapelig foredragKathayat, Surya Bahadur; Bræk, Rolv. (2010) From Flow-Global Choreography to Component Types. System Analysis and Modelling (SAM 2010) ; Oslo. 2010-10-04 - 2010-10-05.
-
Vitenskapelig foredragKathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv. (2010) Automatic Derivation of Components Using Choreographies - A Case Study. International Conference on Software Engineering (SE) 2010 ; 2010-12-05 - 2010-12-07.
2009
-
PosterGladysh, Sergiy; Bræk, Rolv. (2009) “РАДУГА”: Runtime Dynamic Composition of Distributed Collaborative Services in Ubiquitous Environments. VERDIKT conference 2009 . Norges Forskningsråd - The Research Council of Norway; Oslo. 2009-11-03 - 2009-11-04.
-
Vitenskapelig foredragKathayat, Surya Bahadur; Bræk, Rolv. (2009) Platform Support for Situated Collaborative Learning. International Conference on Mobile, Hybrid, and On-line Learning eL&mL 2009 . IARIA; Cancun. Mexico. 2009-02-01 - 2009-02-07.
-
Vitenskapelig foredragKraemer, Frank Alexander; Kathayat, Surya Bahadur; Bræk, Rolv. (2009) Unified Modeling of Service Logic with User Interfaces. MOSE 2009 - INTERNATIONAL WORKSHOP ON MODEL-DRIVEN SERVICE ENGINEERING ; 2009-11-06 - 2009-11-06.
-
Vitenskapelig foredragKraemer, Frank Alexander; Samset, Haldor; Bræk, Rolv. (2009) An Automated Method for Web Service Orchestration based on Reusable Building Blocks. 7th IEEE International Conference on Web Services (ICWS 2009) ; Los Angeles. 2009-07-06 - 2009-07-10.
2008
-
Vitenskapelig foredragAmyot, Daniel; Becca, Hanana; Bræk, Rolv; Rossebø, Judith Ellen Yarranton. (2008) Next Generation Service Engineering. ITU-T NGN Kalaidescope Conference: Innovations in NGN . International Telecommunication Union - Telecommunication; Geneva. 2008-05-12 - 2008-05-13.
-
Vitenskapelig foredragRossebø, Judith Ellen Yarranton; Bræk, Rolv. (2008) Using Composition Policies to Manage Authentication and Authorization Patterns and Services. The Third International Conference on Availability, Reliability and Security (“ARES 2008 – The International Dependability Conference”) . Technical University of Catalonia; Barcelona. 2008-03-04 - 2008-03-07.
-
Vitenskapelig foredragSamset, Haldor; Bræk, Rolv. (2008) Behavioral Contracts and Service Substitutability: A Contribution to Dependable SOA. DSN 2008 Workshop on Architecting Dependable Systems ; Anchorage. 2008-06-27 - 2008-06-27.
-
Vitenskapelig foredragSamset, Haldor; Bræk, Rolv. (2008) Describing Active Services for Publication and Discovery. 6th International Conference on Software Engineering Research, Management and Applications . ACIS; Praha. 2008-08-20 - 2008-08-22.
-
Vitenskapelig foredragSamset, Haldor; Bræk, Rolv. (2008) Dynamic Service Discovery using Active Lookup and Registration. SERVICES'08 IEEE . IEEE; Honolulu. 2008-07-06 - 2008-07-11.
2007
-
Vitenskapelig foredragCastejón, Humberto Nicolás; Bochmann, Gregor; Bræk, Rolv. (2007) Realizability of Collaboration-based Service Specifications. 14th Asia-Pacific Software Engineering Conference ; Nagoya. 2007-12-04 - 2007-12-07.
-
Vitenskapelig foredragKraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. (2007) Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. 13th SDL Forum . SDL Forum Society; Paris. 2007-09-18 - 2007-09-21.
-
Vitenskapelig foredragSamset, Haldor; Bræk, Rolv. (2007) Dealing with Active and Stateful Services in the Service-Oriented Architecture. First International Workshop on Telecom Service Oriented Architectures (TSOA-07) ; Wien. 2007-09-17 - 2007-09-17.
2006
-
Vitenskapelig foredragCastejón, Humberto Nicolás; Bræk, Rolv. (2006) A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. ICSE'06 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06) . ACM; Shanghai. 2006-05-27 - 2006-05-28.
-
Vitenskapelig foredragCastejón, Humberto Nicolás; Bræk, Rolv. (2006) Formalizing Collaboration Goal Sequences for Service Choreography. 26th IFIP WG 6.1 Intl. Conf. on Formal Methods for Networked and Distributed Systems (FORTE'06) . IFIP WG 6.1; Paris. 2006-09-26 - 2006-09-29.
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael; Bræk, Rolv. (2006) Aligning UML 2.0 State Machines and Temporal logic for the Efficient Execution of Services. OTM Confederated Conferences, Distributed Objects and Applications (DOA) ; Montpellier. 2006-10-30 - 2006-11-01.
-
Vitenskapelig foredragRossebø, Judith Ellen Yarranton; Bræk, Rolv. (2006) Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. First International Conference on Availability, Reliability and Security (ARES'06) . IEEE Computer Society; Wien. 2006-04-20 - 2006-04-22.
2005
-
Vitenskapelig foredragBræk, Rolv. (2005) Current work at NTNU: Rapid service engineering with plug and play. FET INFORMATION EVENT, Situated and Autonomic Communication Brussels, . EU; Brussels. 2005-01-13 - 2005-01-13.
-
Vitenskapelig foredragBræk, Rolv; Floch, Jacqueline. (2005) A Compositional Approach to Service Validation. SDL Forum 2005 . SDL Forum Society; Grimstad. 2005-06-20 - 2005-06-23.
-
Vitenskapelig foredragCastejón, Humberto Nicolás; Bræk, Rolv. (2005) Dynamic Role Binding in a Service Oriented Architecture. The 2005 IFIP International Conference on Intelligence in Communication Systems, INTELLCOMM 2005 . IFIP; Montreal. 2005-10-17 - 2005-10-19.
-
Vitenskapelig foredragSanders, Richard; Castejón, Humberto Nicolás; Kraemer, Frank Alexander; Bræk, Rolv. (2005) Using UML 2.0 Collaborations for Compositional Service Specification. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems . ACM/IEEE; Montego Bay. 2005-10-02 - 2005-10-07.
-
Vitenskapelig foredragSanders, Richard Torbjørn; Bræk, Rolv; V. Bochman, Gregor; Amyot, Daniel. (2005) Service Discovery and Component Reuse with Semantic Interfaces. SDL Forum 2005 . SDL Forum Society; Grimstad. 2005-06-20 - 2005-06-23.
2004
-
Vitenskapelig foredragBræk, Rolv. (2004) A framework for compositional service engineering. Gjesteforelesning . School of Infortmation Technology and Engineering; University of Ottawa. 2004-12-09 - 2004-12-09.
-
Vitenskapelig foredragBræk, Rolv. (2004) Delivery of convergent telecom services on J2EE platforms. ICIN 2004 . Adera; Bordaux. 2004-10-18 - 2004-10-20.
-
Vitenskapelig foredragBræk, Rolv. (2004) ICT Convergence: Modeling Issues. Fouth SDL and MSC workshop . SDL forum Society; Ottawa. 2004-06-02 - 2004-06-04.
-
Vitenskapelig foredragBræk, Rolv. (2004) MDA in perspective. First European Workshop on Model Driven Architecture . Eurescom; Twente. 2004-03-18 - 2004-03-19.
-
Vitenskapelig foredragBræk, Rolv. (2004) Towards Model Driven Service Engineering Using Role and Actor Modeling. Gjesteforelesning . University of Ottawa - SITE; Ottawa. 2004-08-19.
-
Vitenskapelig foredragBræk, Rolv; Sanders, Richard. (2004) Discovering Service Opportunities by Evaluating Service Goals. 10th Open European Summer School and IFIP Workshop on the . EUNICE, IFIP; Tampere. 2004-06-14 - 2004-06-16.
-
Vitenskapelig foredragBræk, Rolv; Sanders, Richard. (2004) Modeling Peer-to-peer Service Goals in UML. SEFM 2004 . IEEE; Beijing. 2004-09-26 - 2004-09-30.
2003
-
Vitenskapelig foredragBræk, Rolv. (2003) Foremal Method Research at NTNU, Department of Telematics. Eighth International Workshop onFormal Methods for Industrial Critical Systems (FMICS'03) . [Mangler data]; Røros, Norway. 2003-05-07.
-
Vitenskapelig foredragBræk, Rolv; Hasnes, Geir. (2003) A method for Reengineering Courseware Facilitating Sharing and Reuse. 5th International Conference on New Educational Environments . [Mangler data]; Lucerne, Switzerland. 2003-05-28.
-
Vitenskapelig foredragFloch, Jacqueline; Bræk, Rolv. (2003) Using Projections for the Detection of Anomalous Behaviors. 11th International SDL Forum . [Mangler data]; Stuttgart, Germany. 2003-07-04.
-
Vitenskapelig foredragFloch, Jacqueline; Bræk, Rolv. (2003) Using SDL for Modeling Behaviour Composition. 11th International SDL Forum . [Mangler data]; Stuttgart, Germany. 2003-07-04.
-
Vitenskapelig foredragFloch, Jacqueline; Sanders, Richard; Bræk, Rolv. (2003) Challenges and Results of Establishing the Teleservice Laboratory at NTNU. NIK'2003 (Norsk informatikkonferanse 2003) . [Mangler data]; Oslo, Norway. 2003-11-26.
2002
-
Vitenskapelig foredragFloch, Jacqueline; Bræk, Rolv. (2002) A Validation Method Adapted to Dynamic Service Composition. Norsk Informatikkonferanse NIK'2002 . [Mangler data]; Konsberg. 2002-11-27.
-
Vitenskapelig foredragFloch, Jacqueline; Bræk, Rolv. (2002) Towards PaP Services: Design and Validation Issues. EUNICE'2002 . [Mangler data]; Trondheim, Norway. 2002-09-04.
2001
-
Vitenskapelig foredragFloch, Jacqueline; Bræk, Rolv; Sanders, Richard. (2001) Using UML for Implemenattion Design of SDL systems. 10th international SDL Forum . [Mangler data]; Copenhagen. 2001-06-29.
2000
-
Vitenskapelig foredragFloch, Jacqueline; Bræk, Rolv. (2000) Towards dynamic composition of hybrid communication services. IFIP TC6/WG6.7 Sixth International Conference on Intelligence in Networks (SmartNet 2000) . [Mangler data]; Vienna, Austria, September 18-22.
1999
-
Vitenskapelig foredragBræk, Rolv. (1999) Using roles with types and objects for service development. IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Neteorks (Smartnet 99) . [Mangler data]; Pathumthani, Thailand November 22-26, 1999.
-
Vitenskapelig foredragBræk, Rolv. (1999) Using roles with types and objects for service development. IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Networks (SMARTNET '99) . [Mangler data]; Pathumthani, Thailand 22.-26. november 1999.
-
Vitenskapelig foredragAagesen, Finn Arve; Helvik, Bjarne Emil; Wuwongse, Vilas; Meling, Hein; Bræk, Rolv; Johansen, Ulrik Albert. (1999) Towards a plug and play architecture for telecommunications. IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Networks (SMARTNET '99) . [Mangler data]; Pathumthani, Thailand, 22.-26. november 1999. 1999-11-22 - 1999-11-26.
1998
-
Vitenskapelig foredragBræk, Rolv; Møller-Pedersen, Birger. (1998) Frameworks by means of virtual types - exemplified by SDL. FORTE . [Mangler data]; Paris.
-
Populærvitenskapelig foredragBræk, Rolv; Møller-Pedersen, Birger. (1998) Making Frameworks using SDL (Invited talk, not in proceedings). 1st Workshop of the SDL Forum Society on SDL and MSC (SAM) . [Mangler data]; Berlin.
-
Vitenskapelig foredragShakeri, Ahmad; Bræk, Rolv. (1998) Principle design in mechatronic systems development process : with an introduction to UML. 2nd Tampere International Conference on Machine Automation . [Mangler data]; Tampere.
-
Vitenskapelig foredragMøller-Pedersen, Birger; Bræk, Rolv. (1998) Frameworks by means of virtual types – exemplified by SDL. IFIP TC6/WG6.1 Joint International Conference on FORMAL DESCRIPTION TECHNIQUES (FORTE XI), FORTE’98 ; Paris. 1998-11-03 - 1998-11-06.
1997
-
Populærvitenskapelig foredragBræk, Rolv. (1997) TIMe : The Integrated Method. Telelogic User Conference . [Mangler data]; San Francisco.
-
Vitenskapelig foredragBræk, Rolv; Shakeri, Ahmad. (1997) Specifications and descriptions in mechatronic product development : with an introduction to SDL. 3rd International Mechatronic Design and Modeling Workshop . [Mangler data]; Ankara.
-
Vitenskapelig foredragShakeri, Ahmad; Bræk, Rolv. (1997) Development of mechatronic systems. 5th Iranian Conference on Electrical Engineering . [Mangler data]; Teheran.
-
Vitenskapelig foredragShakeri, Ahmad; Bræk, Rolv. (1997) Modelling the behaviour of mechatronic systems. International Conference on Engineering Design . [Mangler data]; Tampere.
1996
-
Vitenskapelig foredragMøller-Pedersen, Birger; Haugen, Øystein; Bræk, Rolv. (1996) A simple and practical solution to the inheritance of behaviour of statechart-like specified classes. NIK 1996 ; Alta. 1996-11-18 - 1996-11-20.
-
Vitenskapelig foredragBræk, Rolv; Haugen, Øystein; Møller-Pedersen, Birger. (1996) A simple and practical approach to the inheritance of behaviour of statechart-like specified classes. Norsk Informatikk Konferanse (NIK) ; 1996-11-01.