• norsk
    • English
  • norsk 
    • norsk
    • English
  • Logg inn
Vis innførsel 
  •   Hjem
  • Fakultet for informasjonsteknologi og elektroteknikk (IE)
  • Institutt for informasjonssikkerhet og kommunikasjonsteknologi
  • Vis innførsel
  •   Hjem
  • Fakultet for informasjonsteknologi og elektroteknikk (IE)
  • Institutt for informasjonssikkerhet og kommunikasjonsteknologi
  • Vis innførsel
JavaScript is disabled for your browser. Some features of this site may not work without it.

Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks

Kraemer, Frank Alexander
Doctoral thesis
Thumbnail
Åpne
124639_FULLTEXT02.pdf (8.906Mb)
124639_FULLTEXT01.pdf (Låst)
Permanent lenke
http://hdl.handle.net/11250/261480
Utgivelsesdato
2008
Metadata
Vis full innførsel
Samlinger
  • Institutt for informasjonssikkerhet og kommunikasjonsteknologi [1952]
Består av
Kraemer, Frank Alexander; Herrmann, Peter. SERVICE SPECIFICATION BY COMPOSITION OF COLLABORATIONS | AN EXAMPLE. Proceedings of the 2006 WI-IAT Workshops, 2006.

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.

Kraemer, Frank Alexander; Herrmann, Peter. TRANSFORMING COLLABORATIVE SERVICE SPECIFICATIONS INTO EFFICIENTLY EXECUTABLE STATE MACHINES. Graph Transformation and Visual Modeling Techniques. 6, 2007.

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.

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.

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.
Utgiver
Fakultet for informasjonsteknologi, matematikk og elektroteknikk
Serie
Doktoravhandlinger ved NTNU, 1503-8181; 2008:228

Kontakt oss | Gi tilbakemelding

Personvernerklæring
DSpace software copyright © 2002-2019  DuraSpace

Levert av  Unit
 

 

Bla i

Hele arkivetDelarkiv og samlingerUtgivelsesdatoForfattereTitlerEmneordDokumenttyperTidsskrifterDenne samlingenUtgivelsesdatoForfattereTitlerEmneordDokumenttyperTidsskrifter

Min side

Logg inn

Statistikk

Besøksstatistikk

Kontakt oss | Gi tilbakemelding

Personvernerklæring
DSpace software copyright © 2002-2019  DuraSpace

Levert av  Unit