Presentasjon lastes. Vennligst vent

Presentasjon lastes. Vennligst vent

Thomas Sløk Tvedt Veiledere: Uwe Wolter, Yngve Lamo, Adrian Rutle Serialisering av grafiske spesifikasjoner.

PublisertMia Frantzen Endret for 9 år siden

Liknende presentasjoner

Presentasjon om: "Thomas Sløk Tvedt Veiledere: Uwe Wolter, Yngve Lamo, Adrian Rutle Serialisering av grafiske spesifikasjoner."— Utskrift av presentasjonen:

1 Thomas Sløk Tvedt Veiledere: Uwe Wolter, Yngve Lamo, Adrian Rutle Serialisering av grafiske spesifikasjoner

2 Bakgrunn DPL – Diagramatisk Predikat Logikk kan brukes til å beskrive modelleringsspråk og transformasjoner mellom disse Teorien blir utviklet av veilederene. Denne baserer seg på DPL := Første Ordens Logikk + Kategoriteori

3 Hva er gjort før Adrian Rutle: doktorgrad om Diagramatisk Spesifikasjon, modellering, Modelbasert utvikling… Ørjan Hatland: Utviklet eit.NET basert program for å tegne signaturer og sketcher… Stian jobber med plug-in til Eclipse (basert på EMF + GEF + GMF) Verktøy for å lage signaturer og diagramatiske spesifikasjoner

4 Utfordring EMF (Ecore) er ikke uttrykksfullt nok til å beskrive signaturer og diagram spesifikasjoner

5 Problemstilling Serialisering av signaturer og diagram spesifikasjoner i XMI (Ecore) format

6 Hvordan løse dette (?) Først må eg forstå problemstillingen selv… Kan lage en wrapper model rundt Ecore og uttrykke de tilleggspredikatene/konstraintene i Eannotations?

7 Takk for meg http://gs.hib.no Dagens motto: Det finnes ikke problemer, bare utfordringer

Laste ned ppt "Thomas Sløk Tvedt Veiledere: Uwe Wolter, Yngve Lamo, Adrian Rutle Serialisering av grafiske spesifikasjoner."

Liknende presentasjoner

Hva slags spørsmål skal man stille på hvilke nivåer?

Hva slags spørsmål skal man stille på hvilke nivåer?
Fra idè til ferdig produkt

Fra idè til ferdig produkt
Høgskolen i Oslo - GM -04 1 Vær metodisk  Definer og forstå problemet  Spesifiser hva du har av hardware  Lag en prototyp av brukersnittet  Design.

Høgskolen i Oslo - GM Vær metodisk  Definer og forstå problemet  Spesifiser hva du har av hardware  Lag en prototyp av brukersnittet  Design.
Konsept for kraftsystemanalyse

Konsept for kraftsystemanalyse
Velkommen DET ER MITT VALG Et utviklingsprogram for arbeid

Velkommen DET ER MITT VALG Et utviklingsprogram for arbeid
Operasjonsanalyse – ØABED2200

Operasjonsanalyse – ØABED2200
Terje Hjerpbakk Oppgave 2 Vår 2011 3ING. Problemstilling  Designe en database og lage et program som gjør det mulig å lage fleksible spesifikasjoner/rapporter.

Terje Hjerpbakk Oppgave 2 Vår ING. Problemstilling  Designe en database og lage et program som gjør det mulig å lage fleksible spesifikasjoner/rapporter.
Arbeidskrav 3 Del 2 Idéutvikling for illustrasjon, dekor eller kunstnerisk uttrykk. Jobb med ett av de to temaene dine. Arbeidet skal hovedsakelig foregå.

Arbeidskrav 3 Del 2 Idéutvikling for illustrasjon, dekor eller kunstnerisk uttrykk. Jobb med ett av de to temaene dine. Arbeidet skal hovedsakelig foregå.
Ideutvikling - Problemdefinisjonen. Hva gjør de erfarne problemløserne? •Samler og analyserer informasjon og data •Snakker med mennesker som kjenner problemet.

Ideutvikling - Problemdefinisjonen. Hva gjør de erfarne problemløserne? •Samler og analyserer informasjon og data •Snakker med mennesker som kjenner problemet.
Kursmøte 1-4 Metoden TN Tegnsatt norsk.

Kursmøte 1-4 Metoden TN Tegnsatt norsk.
Studentliv - Kurs i PR og markedsføring - Modul 3

Studentliv - Kurs i PR og markedsføring - Modul 3
Matematikk muntlig på studieforberedende program

Matematikk muntlig på studieforberedende program
Høgskolen i Oslo og Akershus – våren 2013 Dosent Ivar Bredesen

Høgskolen i Oslo og Akershus – våren 2013 Dosent Ivar Bredesen
Tidligere læreplaner.

Tidligere læreplaner.
Eksamenstips.

Eksamenstips.
4/4/2017 IMT2243: 17.februar 2011 Domenemodellering / Konseptuelle Klassediagram Monopol- eksempel SSD : System Sequence Diagram Kort repetisjon av teknikken.

4/4/2017 IMT2243: 17.februar 2011 Domenemodellering / Konseptuelle Klassediagram Monopol- eksempel SSD : System Sequence Diagram Kort repetisjon av teknikken.
Kirsten Ribu HiO 20051 Systemutvikling – LO 135A Høsten 2005 Kirsten Ribu.

Kirsten Ribu HiO Systemutvikling – LO 135A Høsten 2005 Kirsten Ribu.
Høgskolen i Telemark Bachelorprogrammene ved IØI gir mulighet til å skrive bacheloroppgaver 15 studiepoeng Må kombineres med valgfag Gruppearbeid eller.

Høgskolen i Telemark Bachelorprogrammene ved IØI gir mulighet til å skrive bacheloroppgaver 15 studiepoeng Må kombineres med valgfag Gruppearbeid eller.
1 Skal vi snakke sammen? Jan Håvard Skjetne SINTEF / University of Melbourne

1 Skal vi snakke sammen? Jan Håvard Skjetne SINTEF / University of Melbourne
Combining Compound Conceptual User Interface Components with Modelling Patterns - a Promising Direction for Model-based Cross-platform User Interface Development.

Combining Compound Conceptual User Interface Components with Modelling Patterns - a Promising Direction for Model-based Cross-platform User Interface Development.

Liknende presentasjoner

Annonser fra Google