dc.contributor.author | Kraemer, Frank Alexander | nb_NO |
dc.date.accessioned | 2014-12-19T14:11:32Z | |
dc.date.available | 2014-12-19T14:11:32Z | |
dc.date.created | 2008-08-29 | nb_NO |
dc.date.issued | 2008 | nb_NO |
dc.identifier | 124639 | nb_NO |
dc.identifier.isbn | 978-82-471-1146-8 | nb_NO |
dc.identifier.uri | http://hdl.handle.net/11250/261480 | |
dc.language | eng | nb_NO |
dc.publisher | Fakultet for informasjonsteknologi, matematikk og elektroteknikk | nb_NO |
dc.relation.ispartofseries | Doktoravhandlinger ved NTNU, 1503-8181; 2008:228 | nb_NO |
dc.relation.haspart | Kraemer, Frank Alexander; Herrmann, Peter. SERVICE SPECIFICATION BY COMPOSITION OF COLLABORATIONS | AN EXAMPLE. Proceedings of the 2006 WI-IAT Workshops, 2006. | nb_NO |
dc.relation.haspart | Kraemer, Frank Alexander; Herrmann, Peter; Bræk, Rolv. ALIGNING UML 2.0 STATE MACHINES AND TEMPORAL LOGIC FOR THE EFFICIENT EXECUTION OF SERVICES. Lecture Notes of Computer Science (The original publication is available at www.springerlink.com). 4276: 1613-1632, 2006. | nb_NO |
dc.relation.haspart | Kraemer, Frank Alexander; Herrmann, Peter. TRANSFORMING COLLABORATIVE SERVICE SPECIFICATIONS INTO EFFICIENTLY EXECUTABLE STATE MACHINES. Graph Transformation and Visual Modeling Techniques. 6, 2007. | nb_NO |
dc.relation.haspart | Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter. SYNTHESIZING COMPONENTS WITH SESSIONS FROM COLLABORATION-ORIENTED SERVICE SPECIFICATIONS. Lecture Notes of Computer Science (The original publication is available at www.springerlink.com). 4745: 166-185, 2007. | nb_NO |
dc.relation.haspart | Herrmann, Peter; Kraemer, Frank Alexander. DESIGN OF TRUSTED SYSTEMS WITH REUSABLE COLLABORATION MODELS. IFIP International Federation for Information Processing (The original publication is available at www.springerlink.com). 238: 317-332, 2007. | nb_NO |
dc.relation.haspart | Kraemer, Frank Alexander; Herrmann, Peter. FORMALIZING COLLABORATION-ORIENTED SERVICE SPECIFICATIONS USING TEMPORAL LOGIC. Proceedings of the International Conference on Networking and Electronic Commerce Research Conference: 194-220, 2007. | nb_NO |
dc.title | Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks | nb_NO |
dc.type | Doctoral thesis | nb_NO |
dc.contributor.department | Norges teknisk-naturvitenskapelige universitet, Fakultet for informasjonsteknologi, matematikk og elektroteknikk, Institutt for telematikk | nb_NO |
dc.description.degree | PhD i elektronteknikk | nb_NO |
dc.description.degree | PhD in Electrical Engineering | en_GB |