Genicore AB. Modellbaserad ansats. En liten firma i Göteborg som gör stora datasystem. Systemspråk - När modellen är systemet. torsdag 10 maj 2012

Storlek: px
Starta visningen från sidan:

Download "Genicore AB. Modellbaserad ansats. En liten firma i Göteborg som gör stora datasystem. Systemspråk - När modellen är systemet. torsdag 10 maj 2012"

Transkript

1 Genicore AB En liten firma i Göteborg som gör stora datasystem Modellbaserad ansats Systemspråk - När modellen är systemet 1

2 Core Modellbaserad ansats i 3 delar Metodik Språk System Datateknik 3:e generationen 2

3 Core Kort introduktion till Core Cores modellspråk i relation till andra språk Mål med Core-språket och utformning Tillämpning 3

4 Modell av System Några definitioner System: En helhet bestående av samverkande delar Systemteori (vetenskapsteori): Läran om hur man analyserar och beskriver något som ett system Typer av system: Biologiska, Fysikaliska, Organisatoriska, Samhälls-, Pensions-, Dator- system 4

5 Språk och Modell Problemet Person Adresser Adress Person Modell av problemdomänen Domänspråk Matematica, MatLab - Matematik FEM verktyg - Mekaniska och fysikaliska modeller Core - Systemmodeller Abstrakt modell av en dator Högnivåspråk Fortran, COBOL, C, Pascal, ADA (Flödesdiagram) Simula, Smalltalk, C++, Java, Javascript (UML) Lisp, ML, XSLT, O'Haskel SQL, html, XML (datamodell) Modell av en processor Maskinspråk Assembler; Z80, x86, 6800, PowerPC, AMD29k, ARM, Intel Core 5

6 Högnivåspråk Problemet Högnivåspråk function integralsinxdivx_zero2infinity() {! var deltax = 0.1;! var x = deltax/2;! var result = 0;! var accuracy = 0.001;! do { var lastresult = result;!! result += Math.sin(x) / x * deltax;!! x += deltax;! } while (result - lastresult > accuracy);!! alert ("result is:" + result ); } Generell lösningsmetod sin (x) / x result is: min, approximativt svar i bästa fall 6

7 Domänspråk Problemet Javascript - Högnivåspråk function integralsinxdivx_zero2infinity() var deltax = 0.01; var x = deltax / 2; var result = 0; var accuracy = ; do { lastresult = result; result += sin(x) / x * deltax; x += deltax; } until (result - lastresult < accuracy) Matematica - Domänspråk Integral sin(x)/x dx [0, Infinity] alert ("result is:" + result ) result is: min Approximativt svar 0,5 min Exakt svar och mer 7

8 Slutsatser Problemet Javascript - Högnivåspråk function integralsinxdivx_zero2infinity() var deltax = 0.01; var x = deltax / 2; var result = 0; var accuracy = ; do { lastresult = result; result += sin(x) / x * deltax; x += deltax; } until (result - lastresult < accuracy) Matematica - Domänspråk Integral sin(x) / x dx [0, Infinity] En programmerare är gånger produktivare om han inte programmerar Kvalitet i resultatet - Korrekt svar och mer alert ("result is:" + result ) 5-60 min Approximativt svar 0,5 min Exakt svar och mer 8

9 Domänspråk "Modellspråk" gånger produktivare Kvalité - Sannolikheten för fel minskar drastiskt Matematik, Mekanik, Fysik, Kemi - Domänspecifika språk 9

10 Problemdomän? Datorsystem är en lösning Exempelvis - Försörja och styra verksamheter med information - Hantera information om och styra tekniska system Vilken verksamhet? Beskriv vad den består av. (System: Helhet bestående av delar) Vilket tekniskt system? Beskriv vad det består av. (System: Helhet bestående av delar) Verksamhet / Tekniskt system Informationshantering Person Adress Adresser Person + = Datorsystem Verktyg 10

11 Komplexitet och Mental Zoom En dator kan man programmera till att göra vad som helst, den mänskliga hjärnan har dock vissa begränsningar. Medvetna och omedvetna begrepp Analysera Resonera Systemspråk Beskrivningsverktyg Resulterande datorsystem Kognitiv förmåga 11

12 Corespråkets formella grunder En formalism för att beskriva helheter bestående av delar Objektorienterat - systemets delar med abstraktioner Deklarativt (funktionellt) språk - delarnas definitioner och beroenden, isolerade från sidoeffekter Universell grammatik - koppling till naturligt språk 12

13 Core språket Objektorienterat (Skandinaviska skolan) Klasser, attribut, relationer Generalisering/Specialisering (Arv) Polymorfism Funktionell (Deklarativ) All databearbetning och regler beskrivs med uttryck (expressions) Inga sekvenser Inga sidoeffekter Grafisk syntax, klasskarta Person Adress Adresser Person Verktygssyntax 13

14 Olika syntaxer för olika ändamål Parsbar syntax (S) class Person förnamn as text efternamn as text namn value förnamn + " " + efternamn adresser many Adress role person 'antal adresser' value # adresser stenungsundsadresser value adresser [**.stad = "Stenungsund"] end class class Adress gata as text postnummer as text stad as text person one Person role adresser end class 14 Beskrivande syntax En person har förnamn, efternamn, namn och antal adresser. En person kan ha adresser och stenungsundsadresser. Namn definieras som förnamn + " " + efternamn Antal adresser definieras som #adresser Stenungsundsadresser definieras som adresser där stad = "Stenungsund" Även RTF dokument, och XML

15 Datorsystem med Core Systemspråk - Systemmodell - Systemvyer - Integrationsvyer Vyer av information Core Arkitektur Systemvyer Verktyg - genererar GNU-C kod Kodbibliotek Information, mål, regler Teknologi Systemmodell Kodbibliotek Integrationsvyer Kodbibliotek Omvärld Teknologi 15

16 Core är beprövat Försvarets Materielverk, orderstock på 60 miljarder, omsätter 19 miljarder kronor/år och har 1200 användare Använder Core-system sedan år 2000 Integrerad verksamhet: Kundbeställning, projektplanering, resursplanering, ledning, leveransplaner, kundleveranser, leverantörer, inköp, internationell handel, inleveranser, fakturor, attester, redovisning Systemintegration med 8 andra system, 80 integrationspunkter 80% kostnadsbesparing över tid, 90% kortare ledtider 16

17 Andra Projekt Upphandling och e-faktura, dokumenthantering, attester, FMV Projekthantering och planering, FMV Logistik, Total Asset Visibility, FM Analysdatabas för farliga ämnen Produktkatalog reservdelar för jordbruksmaskiner Enkätsystem - för callcenter och internet Produktdatabas för medicinska laboratorier Uppdragsplanering och genomförande, Statens Provningsanstalt Uppföljning av miljöbefrämjande infrastrukturåtgärder, Vägverket 17

18 Core Metodik Analys av system Beskrivning av system Verksamheter som system System Modellspråk Domänspråk Systembeskrivning Mental Zoom Naturlig semantik Information, Licensiering & Partnerskap Tomas Jonsson Datateknik Parallell distribuerad realtid programmeringsfri plattform 18

Introduktion till programmering. Programspråk och paradigmer

Introduktion till programmering. Programspråk och paradigmer Introduktion till programmering Programspråk och paradigmer Vad är ett programspråk? Aprogramming languageis a formal constructedlanguagedesigned to communicate instructions to a machine, particularly

Läs mer

Imperativ programmering

Imperativ programmering Imperativ programmering 1DL126 3p Imperativ programmering Jesper Wilhelmsson ICQ: 20328079 Yahoo: amigajoppe MSN / epost: jesperw@it.uu.se Rum: 1335 Tel: 471 1046 Imperativ programmering Vilka programmeringsspråk

Läs mer

Program & programmering

Program & programmering Program & programmering Vad är program? Satser och instruktioner, toggla igenom exempel Program på olika nivåer, för olika maskiner, för olika saker Tolka program; kompilator, intepretator, binärbytekod,

Läs mer

Exempel på typer av datorspråk EXCEL

Exempel på typer av datorspråk EXCEL 1 2 TDDB82 Perspektiv på Datateknik Breddgivande föreläsning Datorspråk Programmeringsparadigmer Programmeringsspråk Konstruktioner i programmeringsspråk Litteratur: Brookshear, Computer Science - an overview,

Läs mer

Imperativ programmering. Föreläsning 4

Imperativ programmering. Föreläsning 4 Imperativ programmering 1DL126 3p Föreläsning 4 Imperativa paradigmer Ostrukturerad programmering Strukturerad programmering Procedurell programmering Objektorienterad programmering Klassbaserad programmering

Läs mer

Presentation. Curriculum Vitae för Lars Kristiansson, 2004-10-28-1 -

Presentation. Curriculum Vitae för Lars Kristiansson, 2004-10-28-1 - Presentation Jag heter Lars Kristiansson. Jag är född 1963 och har studerat datavetenskap på Göteborgs Universitet. Jag har nu avslutat utbildningen, och är alltså filosofie kandidat i datalogi. Nyligen

Läs mer

Välkomna till NADA. Paradigm i datalogin. Vad är ett paradigm

Välkomna till NADA. Paradigm i datalogin. Vad är ett paradigm Välkomna till NADA (Numerisk Analys och DAtalogi) och kursen Paradigm i datalogin, orienteringskurs GN, 7,5 hp (PID) Välkomna... Jag: Serafim Dahl Osquars Backe 2, plan 5 Rum 1531 Postfack: Lindstedtsvägen

Läs mer

TDP002 Imperativ programmering

TDP002 Imperativ programmering TDP002 Imperativ programmering Introduktion till kursen och python Eric Elfving Institutionen för datavetenskap (IDA) Översikt Programmering En introduktion Python Köra och skriva program Python grunderna

Läs mer

TDP002 - Imperativ programmering

TDP002 - Imperativ programmering . TDP002 - Imperativ programmering Introduktion till kursen och Python Eric Elfving Institutionen för datavetenskap 14 augusti 2015 Översikt 2/29 Programmering - en översikt Python - Köra och skriva program

Läs mer

IT för personligt arbete F6

IT för personligt arbete F6 IT för personligt arbete F6 Datalogi del 2 DSV Peter Mozelius Datarepresentation Det som lagras i en dator representeras i grunden som 1:or och 0:or Dessa binära värden kan sedan tolkas på olika sätt i

Läs mer

Föreläsning 2. Operativsystem och programmering

Föreläsning 2. Operativsystem och programmering Föreläsning 2 Operativsystem och programmering Behov av operativsystem En dator så som beskriven i förra föreläsningen är nästan oanvändbar. Processorn kan bara ges enkla instruktioner såsom hämta data

Läs mer

Grundkurs i programmering - intro

Grundkurs i programmering - intro Grundkurs i programmering - intro Linda Mannila 4.9.2007 Dagens föreläsning Allmän kursinformation: mål, syfte, upplägg, examination, litteratur, etc. Hur arbetar en dator? Hur vi får datorn att förstå

Läs mer

TDIU01 (725G67) - Programmering i C++, grundkurs

TDIU01 (725G67) - Programmering i C++, grundkurs TDIU01 (725G67) - Programmering i C++, grundkurs Introduktion till kursen och programmering Eric Elfving Institutionen för datavetenskap 2 september 2014 Översikt Kursinformation Personal Kursmål Upplägg

Läs mer

Exempel på typer av datorspråk EXCEL

Exempel på typer av datorspråk EXCEL 1 2 TDDC10 Perspektiv på datateknik/datavetenskap TDDC79 Perspektiv på informationsteknologi TDP001 Handhavande av datormiljö (D, IT, C, IP) Breddgivande föreläsning Historik Datorspråk Programmeringsparadigmer

Läs mer

Objektorienterad programmering. Grundläggande begrepp

Objektorienterad programmering. Grundläggande begrepp Objektorienterad programmering Grundläggande begrepp Hur beskriver vi objekt? Vill ha en representationsoberoende beskrivning Abstrakta datatyper! Data Operationer Objekt Representerar en verklig eller

Läs mer

Universitetet i Linköping Institutionen för datavetenskap Anders Haraldsson

Universitetet i Linköping Institutionen för datavetenskap Anders Haraldsson 1 2 TDDC66 Datorsystem och programmering TDDC67 Funktionell programmering Programmering i Lisp, examinator TDDC67 föreläsare i Lisp Peter Dalenius examinator TDDC66 kursassistent i Lisp + ett stort antal

Läs mer

Datorsystemteknik DAV A14 Föreläsning 1

Datorsystemteknik DAV A14 Föreläsning 1 Innehåll Datorsystemteknik DAV A14 Föreläsning 1 Kursinformation Introduktion till datorsystem Programmeringsmodellen Större delen av materialet framtaget av :Jan Eric Larsson, Mats Brorsson och Mirec

Läs mer

Objektorienterad programmering

Objektorienterad programmering Objektorienterad programmering Emil Ahlqvist (c10eat@cs.umu.se) Didrik Püschel (dv11dpl@cs.umu.se) Johan Hammarström (c08jhm@cs.umu.se) Hannes Frimmel Moström (c10hml@cs.umu.se) 1 1. Introduktion 1.1 Objektorienterad

Läs mer

Introduktion till programmering D0009E. Föreläsning 1: Programmets väg

Introduktion till programmering D0009E. Föreläsning 1: Programmets väg Introduktion till programmering D0009E Föreläsning 1: Programmets väg 1 Vad är en dator? En maskin vars beteende styrs av de innehållet (bitmönster) som finns lagrade i datorns minne (inte helt olikt förra

Läs mer

Beslut om fastställande: - - Behörighetskrav: -

Beslut om fastställande: - - Behörighetskrav: - Dnr: HS 2014/146 Fakulteten för humaniora och samhällsvetenskap Utbildningsplan IT-design Programkod: SGITD Beslut om fastställande: - - Programmets benämning: IT-design Study programme in IT-Design Högskolepoäng:

Läs mer

Syfte : Lära sig objektorienterad programmering Syfte : Lära sig programmering i ett OO-språk vilket?

Syfte : Lära sig objektorienterad programmering Syfte : Lära sig programmering i ett OO-språk vilket? Jonas Kvarnström jonkv@ida.liu.se 2013 Syfte : Lära sig objektorienterad programmering Syfte : Lära sig programmering i ett OO-språk vilket? Rena OO-språk (allt är objekt) Scala, Smalltalk, Eiffel, Ruby,

Läs mer

FORSKNINGSMETODIK OCH VETENSKAPSTEORI FÖR SPRÅKVETARE: FORMELLA METODER

FORSKNINGSMETODIK OCH VETENSKAPSTEORI FÖR SPRÅKVETARE: FORMELLA METODER Mats Dahllöf, Institutionen för lingvistik, Uppsala universitet 2002-02-28 FORSKNINGSMETODIK OCH VETENSKAPSTEORI FÖR SPRÅKVETARE: FORMELLA METODER I. FORMELL METOD att arbeta vetenskapligt med formella

Läs mer

PROGRAMMERINGSMETODIK

PROGRAMMERINGSMETODIK PROGRAMMERINGSMETODIK 1 Metaforer för programmering Hierarki, modularitet, överblick Programbyggnadskunskap Utvecklingsprocessen Kategorier av programspråk Programmering som allmän konst Metaforer för

Läs mer

Mathias Ericsson. Curriculum Vitae. Mathias Ericsson

Mathias Ericsson. Curriculum Vitae. Mathias Ericsson Curriculum Vitae Namn Födelseår E-post Adress Telefonnummer Kompetensinriktning Jag är en driven och social kille som tar mycket ansvar i mina arbetsgrupper. Jag strävar efter förbättring i mina och företagets

Läs mer

Programvaruteknik, hp

Programvaruteknik, hp 1 (6) Utbildningsplan för: Programvaruteknik, 120-180 hp Software Engineering, 120-180 Credits Allmänna data om programmet Programkod Tillträdesnivå Diarienummer TPVAG Grundnivå MIUN 2010/1734 Högskolepoäng

Läs mer

Föreläsning 2. Objektorienterad analys och design. Analys: att modellera världen. Design: att strukturera program.

Föreläsning 2. Objektorienterad analys och design. Analys: att modellera världen. Design: att strukturera program. Föreläsning 2 Objektorienterad analys och design. Analys: att modellera världen. Design: att strukturera program. Vår process Kravbeskrivning (3 dagar). Enkel form av användningsfall (use cases). Analys

Läs mer

Föreläsning 1: Intro till kursen och programmering

Föreläsning 1: Intro till kursen och programmering Föreläsning 1: Intro till kursen och programmering Kursens hemsida http:www.it.uu.se/edu/course/homepage/prog1/vt11 Studentportalen http://www.studentportalen.uu.se Lärare: Tom Smedsaas, Tom.Smedsaas@it.uu.se

Läs mer

OBS! All teori i detta och följande dokument kompletteras med genomgångar på lektionerna. Så det är viktigt att närvara och göra egna anteckningar.

OBS! All teori i detta och följande dokument kompletteras med genomgångar på lektionerna. Så det är viktigt att närvara och göra egna anteckningar. Värmdö Gymnasium Programmering A 110123 Lektion C1 Grunder Att programmera handlar mycket om att lära sig att analysera det problem eller den funktion man vill att programmet ska ha, och översätta det

Läs mer

Introduktion till arv

Introduktion till arv Introduktion till arv 6 INTRODUKTION TILL ARV Arv Generell-Speciell Arv för att utnyttja det vi redan gjort Återanvändning Basklass Härledd klass Varför arv? Inför en subklass för att uttrycka specialisering

Läs mer

Datalogi I, grundkurs med Java 10p, 2D4112, Tentamen 29 november 2003, svar och lösningar

Datalogi I, grundkurs med Java 10p, 2D4112, Tentamen 29 november 2003, svar och lösningar Datalogi I, grundkurs med Java 10p, 2D4112, 2003-2004 Tentamen 29 november 2003, svar och lösningar 1a) Snabbaste lösningen är att addera i det binära systemet och konvertera svaret till decimalt tal:

Läs mer

Mer OOP. Variation i typ. Medlen repetition. Generiska klasser. Gränssnitt - Interface. Mer om klasser Några exempel UML

Mer OOP. Variation i typ. Medlen repetition. Generiska klasser. Gränssnitt - Interface. Mer om klasser Några exempel UML Målet Mer OOP Mer om klasser Några exempel UML Modularitet Språkligt modulära enheter Få gränssnitt Små gränssnitt Tydliga gränssnitt Dold information Återanvändbarhet Variation i typer Variation i datastrukturer

Läs mer

Inledande programmering med C# (1DV402) Introduktion till C#

Inledande programmering med C# (1DV402) Introduktion till C# Introduktion till C# Upphovsrätt för detta verk Detta verk är framtaget i anslutning till kursen Inledande programmering med C# vid Linnéuniversitetet. Du får använda detta verk så här: Allt innehåll i

Läs mer

Kompilatorteknik. Görel Hedin Datavetenskap Lunds Tekniska Högskola. Temaföreläsning, Datorer i system, 2014

Kompilatorteknik. Görel Hedin Datavetenskap Lunds Tekniska Högskola. Temaföreläsning, Datorer i system, 2014 Kompilatorteknik Görel Hedin Datavetenskap Lunds Tekniska Högskola Temaföreläsning, Datorer i system, 2014 En typisk kompilator programkod while (a >= 0) { } kompilator maskinkod 0024 6050 2530 0000 0000

Läs mer

Kursupplägg. Examination. Föreläsning 1: Intro till kursen och. Kursmaterial. programmering. Kursboken: Programmera med a multimedia approach

Kursupplägg. Examination. Föreläsning 1: Intro till kursen och. Kursmaterial. programmering. Kursboken: Programmera med a multimedia approach Föreläsning 1: Intro till kursen och Kursens hemsida http://www.it.uu.se/edu/course/homepage/prog1/esvt10 Studentportalen http://www.studentportalen.uu.se Kursmaterial Kursbok Kursprogramvara Tips: Installera

Läs mer

Webservice & ERP-Integration Rapport

Webservice & ERP-Integration Rapport Webservice & ERP-Integration Rapport Hardwood AB Mustafa Lazem 930916-9713 Jonas Ahrne 920325-0379 Hasan Nerjovaj 940130-7195 Stefan Liden 920628-0639 2014-05-18 Innehåll Bakgrund... 2 Syfte... 2 Projektbeskrivning...

Läs mer

Föreläsning 1: Intro till kursen och programmering

Föreläsning 1: Intro till kursen och programmering Föreläsning 1: Intro till kursen och programmering λ Kursens hemsida http:www.it.uu.se/edu/course/homepage/prog1/mafykht11/ λ Studentportalen http://www.studentportalen.uu.se UNIX-konton (systemansvariga

Läs mer

Software Technology. Josef Svenningsson

Software Technology. Josef Svenningsson Software Technology Josef Svenningsson Software Technology Software Technology Området Software Technology handlar i mångt och mycket om följande frågeställning: Hur designar man programmeringsspråk för

Läs mer

Studentportalen http://www.studentportalen.uu.se UNIX-konton (systemansvariga P4118) Lärare: Tom Smedsaas, Tom.Smedsaas@it.uu.se

Studentportalen http://www.studentportalen.uu.se UNIX-konton (systemansvariga P4118) Lärare: Tom Smedsaas, Tom.Smedsaas@it.uu.se Föreläsning 1: Intro till kursen och programmering Kursens hemsida http:www.it.uu.se/edu/course/homepage/prog1/ht12 Studentportalen http://www.studentportalen.uu.se UNIX-konton (systemansvariga P4118)

Läs mer

Vad är MoReq1? Falk Sundsvall 2006

Vad är MoReq1? Falk Sundsvall 2006 Vad är MoReq1? en informationsmodell som specificerar funktionella krav på ett elektroniskt dokumenthanteringssystem (specifika, ERMS) kan tillämpas inom såväl offentlig som enskild sektor omfattar i någon

Läs mer

Verksamhetsdriven och modellbaserad utveckling av affärssystem för FMV

Verksamhetsdriven och modellbaserad utveckling av affärssystem för FMV Verksamhetsdriven och modellbaserad utveckling av affärssystem för FMV Generell problembild - Verksamheter och IT Så tänker vi - CoreEAF (Core Enterprise Architecture Framework) Systemuppbyggnad - FMV

Läs mer

Föreläsning 5 5DV086 - Programspråk

Föreläsning 5 5DV086 - Programspråk Föreläsning 5 5DV086 - Programspråk Petter Ericson (pettter@cs.umu.se) Umeå University 6 februari, 2015 Haskell-frågor? Haskell-tips do-syntax State-monaden Dagens plan Programspråksteori Varför? Vad?

Läs mer

SYSTEMUTVECKLING METODER & MODELLER. Suzana Ramadani

SYSTEMUTVECKLING METODER & MODELLER. Suzana Ramadani SYSTEMUTVECKLING METODER & MODELLER 1 Processlinjen Produktlinjen Livscykelmodellen systemutveckling systemering Analys Design Realisering Implementering Förändringsanalys Verksamhetsanalys Förvaltning

Läs mer

Inledning. Vad är ett datorprogram, egentligen? Olika språk. Problemlösning och algoritmer. 1DV433 Strukturerad programmering med C Mats Loock

Inledning. Vad är ett datorprogram, egentligen? Olika språk. Problemlösning och algoritmer. 1DV433 Strukturerad programmering med C Mats Loock Inledning Vad är ett datorprogram, egentligen? Olika språk Problemlösning och algoritmer 1 (14) Varför använda en dator? Genom att variera de program som styr datorn kan den användas för olika uppgifter.

Läs mer

TDP005. Föreläsning 3 - UML. Filip Strömbäck

TDP005. Föreläsning 3 - UML. Filip Strömbäck TDP005 Föreläsning 3 - UML Filip Strömbäck 1 Introduktion 2 Diagram 3 Klassdiagram 4 Sekvensdiagram 5 SFML-demo TDP005 Filip Strömbäck 2 UML Unified Modeling Language Visuell notation för idéer Kommunicera

Läs mer

Min grundutbildning på universitetsnivå är inom fysik och kemi, med ytterligare kurser i matematik m.m.

Min grundutbildning på universitetsnivå är inom fysik och kemi, med ytterligare kurser i matematik m.m. CURRICULUM VITAE FÖR MIKAEL HÖGHEDE Min grundutbildning på snivå är inom fysik och kemi, med ytterligare kurser i matematik m.m. Jag är också utbildad kemitekniker på gymnasienivå från 4-årig kemiteknisk

Läs mer

Fakulteten för ekonomi, kommunikation och IT. Utbildningsplan SGITD. IT-design. Study programme in IT-Design

Fakulteten för ekonomi, kommunikation och IT. Utbildningsplan SGITD. IT-design. Study programme in IT-Design Fakulteten för ekonomi, kommunikation och IT Utbildningsplan IT-design Programkod: Programmets benämning: Inriktningar: SGITD IT-design Study programme in IT-Design Affärssystem och ekonomi (AFEK) Programvarudesign

Läs mer

Copyright Syntell AB 1

Copyright Syntell AB 1 Systemmodellering med SysML SESAM seminarium 2006-05-31 Erik Herzog Ansats Presentation av SysML från två perspektiv Akademiskt Industriellt Bakgrund Översikt Utvärdering Copyright Syntell AB 1 SysML SysML

Läs mer

TENTAMEN I PROGRAMSPRÅK -- DVG C kl. 08:15-13:15

TENTAMEN I PROGRAMSPRÅK -- DVG C kl. 08:15-13:15 TENTAMEN I PROGRAMSPRÅK -- DVG C01 140605 kl. 08:15-13:15 Ansvarig Lärare: Donald F. Ross Hjälpmedel: Bilaga A: BNF-definition Betygsgräns: Kurs: Max 60p, Med beröm godkänd 50p, Icke utan beröm godkänd

Läs mer

Programmering A. Johan Eliasson johane@cs.umu.se

Programmering A. Johan Eliasson johane@cs.umu.se Programmering A Johan Eliasson johane@cs.umu.se 1 Jag Undervisar mest grundläggande programmering på Institutionen för datavetensakap Applikationsutveckling för iphone Applikationsutveckling i Java Datastrukturer

Läs mer

Datorsystemteknik DAV A14 Föreläsning 1

Datorsystemteknik DAV A14 Föreläsning 1 Innehåll Datorsystemteknik DAV A14 Föreläsning 1 Kursinformation Introduktion till datorsystem Programmeringsmodellen Större delen av materialet framtaget av :Jan Eric Larsson, Mats Brorsson och Mirec

Läs mer

Kortare anställningar och praktik

Kortare anställningar och praktik CV PERSONUPPGIFTER Jan Karlsson Telefon (arb): 0470-58 94 88 Kastanjevägen 34 Telefon (hem): 0470-406 29 352 43 Växjö Mobil: 070-238 76 38 E-post (arb): jan.karlsson@ltkronoberg.se E-post (hem): janofsweden@tele2.se

Läs mer

13 1MA302 Automatateori DV1 4 A D, M 1TD442 Algoritmer och datastrukturer DV1 6 A D

13 1MA302 Automatateori DV1 4 A D, M 1TD442 Algoritmer och datastrukturer DV1 6 A D 4.2 Årskurs 1 Studierna inleds med en frivillig introduktion till utbildningen omfattande två veckor. Därefter enligt nedanstående lista. Period Kurskod Kursnamn Poäng Nivå Ämne 11 1MA316 Introduktionskurs

Läs mer

Fakulteten för ekonomi, kommunikation och IT. Utbildningsplan SGITD. IT-Designprogrammet. Study programme in IT-Design

Fakulteten för ekonomi, kommunikation och IT. Utbildningsplan SGITD. IT-Designprogrammet. Study programme in IT-Design Fakulteten för ekonomi, kommunikation och IT Utbildningsplan IT-Designprogrammet Programkod: Programmets benämning: Inriktningar: SGITD IT-Designprogrammet Study programme in IT-Design Affärssystem och

Läs mer

Bakgrund och motivation. Definition av algoritmer Beskrivningssätt Algoritmanalys. Algoritmer. Lars Larsson VT 2007. Lars Larsson Algoritmer 1

Bakgrund och motivation. Definition av algoritmer Beskrivningssätt Algoritmanalys. Algoritmer. Lars Larsson VT 2007. Lars Larsson Algoritmer 1 Algoritmer Lars Larsson VT 2007 Lars Larsson Algoritmer 1 1 2 3 4 5 Lars Larsson Algoritmer 2 Ni som går denna kurs är framtidens projektledare inom mjukvaruutveckling. Som ledare måste ni göra svåra beslut

Läs mer

Beräkningsvetenskap I. Exempel på tillämpningar: Vad är beräkningsvetenskap? Informationsteknologi

Beräkningsvetenskap I. Exempel på tillämpningar: Vad är beräkningsvetenskap? Informationsteknologi Beräkningsvetenskap I Jarmo Rantakokko Josefin Ahlkrona Kristoffer Virta Katarina Gustavsson Vårterminen 2011 Beräkningsvetenskap: Hur man med datorer utför beräkningar och simuleringar baserade på matematiska

Läs mer

En grön tråd från förskolan till årskurs 9 i Hagby, Ånestad, Brokind/Sätra samt fsk-åk 6 i Tornhagen/T1 7-9

En grön tråd från förskolan till årskurs 9 i Hagby, Ånestad, Brokind/Sätra samt fsk-åk 6 i Tornhagen/T1 7-9 En grön tråd från förskolan till årskurs 9 i Hagby, Ånestad, Brokind/Sätra samt fsk-åk 6 i Tornhagen/T1 7-9 Innehåll En grön tråd från förskolan till årskurs 9 i Hagby, Ånestad, Brokind/Sätra samt fsk-åk

Läs mer

Programmering. Seminarier i datavetenskap, datorteknik och informationsteknik. Niklas Broberg niklas.broberg@chalmers.

Programmering. Seminarier i datavetenskap, datorteknik och informationsteknik. Niklas Broberg niklas.broberg@chalmers. Programmering Seminarier i datavetenskap, datorteknik och informationsteknik Niklas Broberg niklas.broberg@chalmers.se 2015-09-24 Hur många från Datavetenskap? Datateknik? Informationsteknik? Översikt

Läs mer

DD2385 Programutvecklingsteknik Några bilder till föreläsning 1 24/ Kursöversikt Javarepetition/Javaintroduktion

DD2385 Programutvecklingsteknik Några bilder till föreläsning 1 24/ Kursöversikt Javarepetition/Javaintroduktion DD2385 Programutvecklingsteknik Några bilder till föreläsning 1 24/3 2014 Innehåll Kursöversikt Javarepetition/Javaintroduktion UML - klassdiagram-introduktion i anslutning till Java-exemplen Kursmål,

Läs mer

Föreläsning 1, vecka 6: Abstraktion genom objektorientering

Föreläsning 1, vecka 6: Abstraktion genom objektorientering TDA 548: Grundläggande Programvaruutveckling Föreläsning 1, vecka 6: Abstraktion genom objektorientering Magnus Myréen Chalmers, läsperiod 1, 2016-2017 Hur skulle ni implementera detta? (3D demo) Vi återkommer

Läs mer

Grundläggande programmeringsteknik Datorsystem

Grundläggande programmeringsteknik Datorsystem Datorsystem Från abakus till Z3 Datorsystem Från kursplanen Moment 3, Datorsystem 3hp I detta moment ges en introduktion till datorsystem och dess uppbyggnad. Minneshantering, vad en CPU är och gör samt

Läs mer

Operatörer och användargränssnitt vid processtyrning

Operatörer och användargränssnitt vid processtyrning Operatörer och användargränssnitt vid processtyrning Domänanalyser och uppgiftsanalyser Uppsala universitet @ 2003 Anders Jansson Sammanfattning kap.1 Sociotekniska system Många olika grupper av användare

Läs mer

Avancerade Webbteknologier

Avancerade Webbteknologier Projektledning, Business Knowledge Användbarhet & Layout Avancerade Webbteknologier Lkti Lektion 1 Kommunikation Tobias Landén tobias.landen@chas.se Avancerade webbteknologier del 1 (4 KY poäng) Syfte

Läs mer

Meritförteckning. Mer än 3 års professionell erfarenhet av PHP, SQL, C# och VB.NET,

Meritförteckning. Mer än 3 års professionell erfarenhet av PHP, SQL, C# och VB.NET, CvSwe 20080410.doc Niklas Rydén sida1/6 Meritförteckning Niklas Rydén 031-51 95 58 (hem) Slåttängsgatan 51 0709-40 66 49 (mobil) 415 07 Göteborg nikryden@gmail.com http://www.timeonline.se Mer än 3 års

Läs mer

Personal. Objektorienterad programmeringsmetodik 5DV133. Kursmål. Kursens uppläggning. Lärare. Handledare och gruppövningar.

Personal. Objektorienterad programmeringsmetodik 5DV133. Kursmål. Kursens uppläggning. Lärare. Handledare och gruppövningar. Personal Objektorienterad programmeringsmetodik 5DV133 Java VT-16 1 Lärare Anders Broberg, anders.broberg@cs.umu.se Handledare och gruppövningar Niklas Fries Adam Dalhgren Jonathan Westin Erik Moström

Läs mer

Antal behöriga sökande 1a hand. Antal behöriga sökande urvalsgrupp. Antal behöriga sökande 1a hand. Antal platser inkl. överintag

Antal behöriga sökande 1a hand. Antal behöriga sökande urvalsgrupp. Antal behöriga sökande 1a hand. Antal platser inkl. överintag Behöriga sökande och antagna till samtliga programutbildningar HT2008, urval 1 Sorterat efter lärosäte Till många utbildningar används andra urvalsgrupper än de nationella. Här har dock alla dessa fått

Läs mer

Objektorienterad konstruktion

Objektorienterad konstruktion Analys - Objektorienterad konstruktion Vad är objektorientering?» Ett sätt att angripa programmeringsproblem» Ett sätt att tänka när man programmerar Vad innebär objektorientering?» Att uppmärksamheten

Läs mer

Objektorienterad Programkonstruktion. Föreläsning 6 23 nov 2015

Objektorienterad Programkonstruktion. Föreläsning 6 23 nov 2015 Objektorienterad Programkonstruktion Föreläsning 6 23 nov 2015 Designmönster Färdiga "recept" för att lösa (del-)problem i struktureringen av ens program Mönster kan beskriva små komponenter eller stora

Läs mer

Javautvecklare. Utbildningsfakta. 400 YH-poäng, 2 år

Javautvecklare. Utbildningsfakta. 400 YH-poäng, 2 år Javautvecklare 400 YH-poäng, 2 år Utbildningsfakta Kurser (12 stycken) Grundläggande programmering och javaverktyg 50 yhp Grafiskt gränssnitt och interaktion 20 yhp Internet, webb och webbramverk 40 yhp

Läs mer

Inledande matematik M+TD

Inledande matematik M+TD Introduktionsföreläsning p. 1/13 Introduktionsföreläsning Inledande matematik M+TD Stig Larsson http://www.math.chalmers.se/ stig Matematiska vetenskaper Chalmers tekniska högskola Göteborgs universitet

Läs mer

extensible Markup Language

extensible Markup Language Datavetenskap Opponenter: Björn Olsson Andreas Svensson Respondenter: Sanaa Al-abuhalje Afrah Al-abuhalje XML extensible Markup Language Oppositionsrapport, C-nivå 2007:06 1 Sammanfattat omdöme av examensarbetet

Läs mer

Ny programansvarig och visioner för Datateknik, 300hp

Ny programansvarig och visioner för Datateknik, 300hp Ny programansvarig och visioner för Datateknik, 300hp 9 maj 2011 Bakgrund: Vem är Patrik? Utb.: student Chalmers F 1992 1995, doktorand 2000, nu docent i programvaruteknik på D&IT-institutionen. Undervisning:

Läs mer

Matematikens grundvalar och programmering av datorer

Matematikens grundvalar och programmering av datorer Matematikens grundvalar och programmering av datorer Bengt Nordström Datavetenskap, Chalmers och Göteborgs Universitet, 14 februari, 2005 Datorerna föddes ur logiken 1870: Cantor: Det finns minst två slags

Läs mer

Datorrepresentation av vårdriktlinjer

Datorrepresentation av vårdriktlinjer Datorrepresentation av vårdriktlinjer Innehåll Introduktion/bakgrund Behov Uppdateringsproblem Metoder PROforma Asgaard/Arbru Arden Praktiska implementeringar Hypertoni-behandling Guidelines/vårdriktlinjer

Läs mer

Praktiska och standardiserade metoder, teknologier för elektroniska affärer och samarbeten, samt det globala ramverket ebxml

Praktiska och standardiserade metoder, teknologier för elektroniska affärer och samarbeten, samt det globala ramverket ebxml Praktiska och standardiserade metoder, teknologier för elektroniska affärer och samarbeten, samt det globala ramverket ebxml ebxml - den globala standarden där verksamhet, ekonomi, juridik och IT-arkitekturer

Läs mer

Studier med barn, fördelar. Kognitiv utveckling. Upplägg. Många aspekter. Generella aspekter. Barndomens kognitiva utveckling 2012-01-24

Studier med barn, fördelar. Kognitiv utveckling. Upplägg. Många aspekter. Generella aspekter. Barndomens kognitiva utveckling 2012-01-24 Kognitiv utveckling Pär Nyström www.babylab.se Studier med barn, fördelar Ordning av kognitiva processer Mindre försöksledareffekter Bra fysiologiska förutsättningar Kan testa sånt som är omöjligt på vuxna

Läs mer

Jeeves BI 3.0 JEEVES WORLD 2012 LASSE HELLBERG. Copyright 2012 Jeeves Information Systems AB

Jeeves BI 3.0 JEEVES WORLD 2012 LASSE HELLBERG. Copyright 2012 Jeeves Information Systems AB Jeeves BI 3.0 JEEVES WORLD 2012 LASSE HELLBERG Copyright 2012 Jeeves Information Systems AB Vad? Varför? Hur? Business Discovery: Business User-Driven BI App Model Remixability and Reassembly Social and

Läs mer

Om ämnet Engelska. Bakgrund och motiv

Om ämnet Engelska. Bakgrund och motiv Om ämnet Engelska Bakgrund och motiv Ämnet engelska har gemensam uppbyggnad och struktur med ämnena moderna språk och svenskt teckenspråk för hörande. Dessa ämnen är strukturerade i ett system av språkfärdighetsnivåer,

Läs mer

JavaRats. Kravspecifikation. Version 1.1. Gustav Skoglund gussk258@student.liu.se. Marcus Widblom marwi026@student.liu.se. Senast ändrad: 13 / 05 / 08

JavaRats. Kravspecifikation. Version 1.1. Gustav Skoglund gussk258@student.liu.se. Marcus Widblom marwi026@student.liu.se. Senast ändrad: 13 / 05 / 08 JavaRats Kravspecifikation Version 1.1 Gustav Skoglund gussk258@student.liu.se Marcus Widblom marwi026@student.liu.se Senast ändrad: 13 / 05 / 08 Sammanfattning Kravspecifikationen för JavaRats har skrivit

Läs mer

ANNA ÅBERG. Häng med in i min värld och lär känna mig. Kanske är jag just den som ni söker... Jag är...

ANNA ÅBERG. Häng med in i min värld och lär känna mig. Kanske är jag just den som ni söker... Jag är... ANNA ÅBERG Häng med in i min värld och lär känna mig. Kanske är jag just den som ni söker... Jag är......en glad och ambitiös tjej som försöker stå med båda fötterna på jorden, CURRICULUM VITAE...positiv

Läs mer

TEKNIKPROGRAMMET Mål för programmet

TEKNIKPROGRAMMET Mål för programmet TEKNIKPROGRAMMET Mål för programmet Teknikprogrammet är ett högskoleförberedande program och utbildningen ska i första hand förbereda för vidare studier i teknikvetenskap och naturvetenskap men också i

Läs mer

Introduktion till programmering och Python Grundkurs i programmering med Python

Introduktion till programmering och Python Grundkurs i programmering med Python Introduktion till programmering och Python Hösten 2009 Dagens lektion Vad är programmering? Vad är en dator? Filer Att tala med datorer En första titt på Python 2 Vad är programmering? 3 VAD ÄR PROGRAMMERING?

Läs mer

Programmering = modellering

Programmering = modellering Programmering = modellering Ett datorprogram är en modell av en verklig eller tänkt värld. Ofta är det komplexa system som skall modelleras I objektorienterad programmering består denna värld av ett antal

Läs mer

Objekt-orienterad programmering. Klassbegreppet och C++ UML. UMLs fördelar

Objekt-orienterad programmering. Klassbegreppet och C++ UML. UMLs fördelar Klassbegreppet och C++ OOP UML Klasser och objekt i C++ Uppdelning i filer Attribut och metoder Inkappsling - åtkomst Klassattribut - objektattribut Objekt-orienterad programmering Att använda ett objektorienterat

Läs mer

Abstrakta Klasser 2. Kodning är bara en liten del i programvaruutvecklingen 6% 1% 6% Abstrakta Klasser - deklaration. Programutveckling sker i faser

Abstrakta Klasser 2. Kodning är bara en liten del i programvaruutvecklingen 6% 1% 6% Abstrakta Klasser - deklaration. Programutveckling sker i faser Abstrakta Klasser 1 God klassdesign placerar gemensamma attribut och metoder så högt som möjligt i hierarkin men ibland kan dessa egenskaper inte definieras fullständigt Abstrakta klasser innehåller ofta

Läs mer

byrå scp. reklam E-HANDEL SnaBBarE, tryggare, FriarE

byrå scp. reklam E-HANDEL SnaBBarE, tryggare, FriarE E-HANDEL SNABBARE, TRYGGARE, FRIARE Du tjänar mer på e-handel ju oftare du handlar Snabbare E-handel innebär mindre dokumenthantering, möjlighet till svar direkt och dessutom kortare ledtider. Tryggare

Läs mer

Svenskt Nationellt ramverk för interoperabilitet Sammanfattning och status. Presentation för Semicolon i Oslo 17 sept 2009

Svenskt Nationellt ramverk för interoperabilitet Sammanfattning och status. Presentation för Semicolon i Oslo 17 sept 2009 Svenskt Nationellt ramverk för interoperabilitet Sammanfattning och status Presentation för Semicolon i Oslo 17 sept 2009 Karl Wessbrandt IT Management Consultant Wessbrandt Management AB +46 708 303 464

Läs mer

Studentportalen http://www.studentportalen.uu.se UNIX-konton (systemansvariga P4118) Lärare: Anna Eckerdal, Anna.Eckerdal@it.uu.se

Studentportalen http://www.studentportalen.uu.se UNIX-konton (systemansvariga P4118) Lärare: Anna Eckerdal, Anna.Eckerdal@it.uu.se Föreläsning 1: Intro till kursen och programmering Kursens hemsida http:www.it.uu.se/edu/course/homepage/prog1/mafykht11/ Studentportalen http://www.studentportalen.uu.se UNIX-konton (systemansvariga P4118)

Läs mer

Objektorientering/1.2. 3 Klasser

Objektorientering/1.2. 3 Klasser 3 Klasser 3.1 Att hantera många objekt 3.2 Klasser 3.3 Krav för att bilda en klass 3.4 Får två objekt vara helt identiska? 3.5 Måste vi använda klasser i objektorientering? 3.6 En klassbeskrivning 3.7

Läs mer

Fakulteten för ekonomi, kommunikation och IT. Utbildningsplan. Högskoleingenjörsprogrammet i datateknik TGDDI

Fakulteten för ekonomi, kommunikation och IT. Utbildningsplan. Högskoleingenjörsprogrammet i datateknik TGDDI Fakulteten för ekonomi, kommunikation och IT Utbildningsplan Högskoleingenjörsprogrammet i datateknik Programkod: Programmets benämning: Inriktningar: TGDDI Högskoleingenjörsprogrammet i datateknik Study

Läs mer

DD1350 Logik för dataloger. Vad är logik?

DD1350 Logik för dataloger. Vad är logik? DD1350 Logik för dataloger Fö 1 - Introduktion Vad är logik? Vetenskapen som studerar hur man bör resoneraoch dra slutsatser utifrån givna påståenden (=utsagor, satser). 1 Aristoteles (384-322 f.kr) Logik

Läs mer

IT och logistik. IT och logistik, Logistikprogrammet, Norrköping

IT och logistik. IT och logistik, Logistikprogrammet, Norrköping IT och logistik 1 Egentligen inget nytt Redan på 60- och 70-talet användes system för material och produktionsstyrning RESULTAT? Systemen byggde på samma principer som de tidigare manuella systemen. Exempel:

Läs mer

1969-1972 Göteborgs universitet 1972-1974 Chalmers Tekniska Högskola

1969-1972 Göteborgs universitet 1972-1974 Chalmers Tekniska Högskola Yrke: IT-Konsult / Databasadministratör Födelseår: 1949 IT-erfarenhet sedan: 1974 Utbildning: 1969-1972 Göteborgs universitet 1972-1974 Chalmers Tekniska Högskola Profilresume: BS har lång erfarenhet av

Läs mer

BER AKNINGSBARHET F OR DATALOGER. Kent Petersson. Institutionen for Datavetenskap Goteborgs Universitet / Chalmers Goteborg, Sweden

BER AKNINGSBARHET F OR DATALOGER. Kent Petersson. Institutionen for Datavetenskap Goteborgs Universitet / Chalmers Goteborg, Sweden BER AKNINGSBARHET F OR DATALOGER Fran till P Kent Petersson Institutionen for Datavetenskap Goteborgs Universitet / Chalmers 412 96 Goteborg, Sweden ii Kent Petersson Department of Computer Science Goteborgs

Läs mer

Utbildningsplan för Programmet för Medicinsk Informatik 160 poäng

Utbildningsplan för Programmet för Medicinsk Informatik 160 poäng Utbildningsplan för Programmet för Medicinsk Informatik 160 poäng Study programme in Medical Informatics, 160 credits (=240 ECTS credits) Fastställd av Styrelsen för utbildning 2002-06-12 Senast reviderad

Läs mer

Undervisningen i ämnet engelska ska ge eleverna förutsättningar att utveckla följande:

Undervisningen i ämnet engelska ska ge eleverna förutsättningar att utveckla följande: ENGELSKA Det engelska språket omger oss i vardagen och används inom skilda områden som kultur, politik, utbildning och ekonomi. Kunskaper i engelska ökar individens möjligheter att ingå i olika sociala

Läs mer

Introduk+on +ll programmering i JavaScript

Introduk+on +ll programmering i JavaScript Föreläsning i webbdesign Introduk+on +ll programmering i JavaScript Rune Körnefors Medieteknik 1 2012 Rune Körnefors rune.kornefors@lnu.se Språk Naturliga språk Mänsklig kommunika+on T.ex. Svenska, engelska,

Läs mer

Teknisk kravspecifikation för nytt Omsorgs system

Teknisk kravspecifikation för nytt Omsorgs system 1(6) Handläggare, titel, telefon Katarina Westmar 011-151019 2012-01-17 Version Pa4 Godkänt av Mikael Daremo Teknisk kravspecifikation för nytt Omsorgs system Innehållsförteckning 1. Beskrivning av Norrköpings

Läs mer

www.skillspartner.com

www.skillspartner.com Mål Deltagarna ska förstå: Vad XML är Hur XML fungerar Vilka problem XML löser Hur XML används Känna till begrepp: DTD, DOM, XSL etc. Känna till verktyg Innehåll Vad är XML XML i relation till HTML XML

Läs mer

IT och logistik. 2011 IT & Logistik, Logistikprogrammet, Norrköping 1

IT och logistik. 2011 IT & Logistik, Logistikprogrammet, Norrköping 1 IT och logistik 1 Egentligen inget nytt Redan på 60- och 70-talet användes system för material och produktionsstyrning RESULTAT? Systemen byggde på samma principer som de tidigare manuella systemen. Exempel:

Läs mer

Taxi boknings system, inpassering och medlemshanterings system, betallösningar, realtidssystem, App utveckling

Taxi boknings system, inpassering och medlemshanterings system, betallösningar, realtidssystem, App utveckling Magnus Moberg Är en strukturerad och noggrann systemutvecklare/arkitekt som tycker om nya utmaningar. Har 17 års erfarenhet av systemutveckling, produktframställning, design och arkitekt. Har jobbat med

Läs mer