Kontrakt baserad design. Design by contract

Storlek: px
Starta visningen från sidan:

Download "Kontrakt baserad design. Design by contract"

Transkript

1 Kotrakt baserad desig Desig by cotract

2 Motiverig Objekt ka valige ite avädas på ett godtyckligt sätt Metoder ska aropas med vissa parametervärde I rätt ordig Svårt att veta hur ett objekt ka avädas uta att veta i detalj hur det fugerar Källkode ite alltid tillgäglig Också om de är tillgäglig så ka det krävas mycket tid för att förstå de tillräckligt bra

3 Kotrakt baserad desig Det fis alltså ett kotrakt mella varje objekt och dess avädare Kotraktet säger vad objektet gör och hur det ka avädas Avädare garaterar att objektet aropas på korrekt sätt Om objektet aväds på korrekt sätt så producerar det ett korrekt resultat Java modellig laguage (JML) är e implemetatio av kotrakt för Java Kotrakte är exekverbara Verktyg för testig och statisk verifierig

4 JML Formellt specifikatiosspråk för Java Aväds för att specificera beteedet för Java klasser Skriva er desig- och implemetatiosbeslut Består av assertios i Java källkode förvillkor (pre-coditios) eftervillkor (post-coditios) ivariater (ivariats)

5 JML (forts.) JML assertios sätts till som kommetar mella eller efter Kompatibelt med valig Java Specifikatioer består av booleska uttryck i Java som utvidgats med ågra operatorer (\old, \forall, \result,...) Och ågra yckelord (requires, esures, pure, ivariat,...)

6 För och eftervillkor Exempel: specifikatio av metod för att beräka kvadratrot Math.abs(\result*\result public static double sqrt( double x){...} requires specifierar vad metode kräver för att fugera korrekt esures specifierar vad metode lovar göra. Beräka kvadratrote med precisioe tol

7 För- och eftervillkor (forts.) För- och eftervillkore bildar ett kotrakt Kliete måste garatera förvillkoret, me ka ata att eftervillkoret håller Metode ka ata att förvillkoret håller, me måste då se till att garatera eftervillkoret Alltså... Om ett assertio villkor ite håller betyder det att det fis ett fel i programmet (eller i villkoret) Om förvillkoret ite håller är det fel i aropare Om eftervillkoret ite håller är det fel i metode som villkoret hör till Delig av asvar

8 Udatag (Exceptios) Alterativ kvadratrotsspecifikatio esures (\result*\result x)<tol; sigals (SqrtExceptio e) public static double sqrt(double x) throws SqrtExceptio Metode ka aropas med vilka värde på x som helst Ett udatag geereras om x är midre ä oll

9 Ivariater Ivariater (Klass ivariater) beskriver egeskaper som måste bevaras av alla metoder i klasse public class Accout{ private it balace; private Perso ower; balace>=0 && Ivariater är implicit ikluderade i alla för- och eftervillkor Ivariater måste bevaras också då udatag har geererats

10 Ivariater (forts.) Ivariater är bra för att dokumetera desigbeslut public class Directory{ private File[] files; files!=ull && (\forall it i; 0<=i && i<files.legth; files[i]!=ull && Gör beslute syliga och hjälper för att förstå kode

11 När ska ivariate hålla? Då förvillkoret för e metod håller, så ska metode efter att de blivit exekverad se till att ivariate håller Kostruktor för objektet ska se till att ivariate håller då de har exekverats färdigt

12 När är e metod korrekt? E metod är korrekt om: Me... { iv pre} body{ post iv} class A{ J; public void m1(){...} public void m2(){... m1(); //hur fukar det här?... }...

13 o_ull Måga ivariater, för- och eftervillkor hadlar om att refereser ite får vara lika med ull. Nyckelordet o_ull är avädbart för detta public class Directory{ private File[] files; void Strig ame){...} } Directory getparet(){...}

14 assigable Också möjligt att uttrycka vilka variabler som ka modifieras requires amout >=0; assigable balace; esure public it debit(it amout){...} debit ka edast modifiera balace Stadard är assigable \everythig

15 pure E metod som ite modifierar variabler (är uta bieffekter) kallas pure public it getbalace(){...} pure; Directory getparet(){...} Dessa metoder har implicit assigable \othig De ka också avädas i specifikatioer ivariat 0<=getBalace() && getbalace()<=max_balance;

16 assert Ett assert uttryck ger ett villkor som ska hålla åstas i kode if (i<=0 j<0){... }else if (j<5){ i>0 && 0<j && j<5;... }else { assert i>0 && j>5;... }

17 assert (forts.) JML yckelordet assert är u också ett yckelord i Java (se 1.4) JML versioe är fortfarade bättre, till exempel for (=0;<a.legth;++){ if (a[]==ull) break; (\forall it i=0; 0<=i &&i<;

18 JML verktyg Parsig och typcheckig Rutime assertio checkig Testa om assertio villkor håller uder exekverig jmlrac Exteded static checkig Automatisk program verifierig Bevisa att kotrakt aldrig bryts då programmet kompileras ESC/Java2 Stöder tyvärr bara Java upp till 1.4

19 Rutime assertio checkig jmlrac kompilator frå Iowa State Uiversity Översätter alla JML assertios till villkor som testas uder exekverig Lätt att aväda Bättre testig och bättre feedback, eftersom mera egeskaper testas E.g Ivariat violated i lie 8000 efter 1 miut istället för NullPoiterExceptio i lie 2000 efter 5 miuter Ett assertio villkor som ite håller ka också bero på att specifikatioe är felaktig jmrac ka testa alla JML uttryck, också sigal, \forall, etc

20 Exteded static checkig ESC/Java2 Helt automatiserad programverifierig Några kompromisser för att åstadkomma full automatio Försöker bevisa att ett program är korrekt Ite sud (soud): ESC/Java2 kaske ite hittar all fel som fis Ite komplett: ESC/Java2 ka vara om fel som ite existerar Me de hittar måga potetiella fel Bra på att bevisa att udatag ite geereras då programmet körs (Null-, ArrayIdexOutOfBouds-, ClassCastExceptios) och för att verifiera relativt ekla egeskaper

21 Rutime vs Static ESC/Java2 aalyserar specifikatioer uder kompilerig meda jmlrac gör det uder exekverig ESC/Java2 bevisar korrekthete, jmlrac bara testar de ESC/Java2 oberoede av hur bra testfall ma har jmlrac bara så bra på att hitta fel som testfalle ma har skapat ESC/Java2 ger större garatier för korrekthet ESC/Java2 kräver mera oggraa specifikatioer => mera jobb

22 Mera Ifo De här presetatioe baserar sej på Itroductio to JML av David Cok, Joe Kiiry och Eric Poll E itroduktio till JML fis som kursmaterial Verktyg och dokumetatio fis att ladda er:

Systemdesign fortsättningskurs

Systemdesign fortsättningskurs Systemdesig fortsättigskurs Orgaisatio Föreläsare Potus Boström Assistet? Tider mådagar och tisdagar kl. 8-10 Börjar 3.9 och slutar 16.10 Rum B3040 Orgaisatio Iga föreläsigar 24.9, 25.9, 1.10 och 2.10

Läs mer

Borel-Cantellis sats och stora talens lag

Borel-Cantellis sats och stora talens lag Borel-Catellis sats och stora tales lag Guar Eglud Matematisk statistik KTH Vt 2005 Iledig Borel-Catellis sats är e itressat och avädbar sats framför allt för att bevisa stora tales lag i stark form. Vi

Läs mer

Databaser - Design och programmering. Programutveckling. Programdesign, databasdesign. Kravspecifikation. ER-modellen. Begrepps-modellering

Databaser - Design och programmering. Programutveckling. Programdesign, databasdesign. Kravspecifikation. ER-modellen. Begrepps-modellering Databaser desig och programmerig Desig processe ER-modellerig Programutvecklig Förstudie, behovsaalys Programdesig, databasdesig Implemetatio Programdesig, databasdesig Databasdesig Koceptuell desig Koceptuell

Läs mer

Kontraktsprogrammering

Kontraktsprogrammering Kontraktsprogrammering Programmera med kontrakt Samma som i vardagen Två parter (minst), bägge följer sin del 2 Bilköp Kund Krav Betala varje månad Förtjänst Få en bil Försäljare Ge kunden en bil och serva

Läs mer

Webprogrammering och databaser. Begrepps-modellering. Exempel: universitetsstudier Kravspec. ER-modellen. Exempel: kravspec forts:

Webprogrammering och databaser. Begrepps-modellering. Exempel: universitetsstudier Kravspec. ER-modellen. Exempel: kravspec forts: Webprogrammerig och databaser Koceptuell datamodellerig med Etitets-Relatiosmodelle Begrepps-modellerig Mål: skapa e högivå-specifikatio iformatiosiehållet i database Koceptuell modell är oberoede DBMS

Läs mer

Jag läser kursen på. Halvfart Helfart

Jag läser kursen på. Halvfart Helfart KOD: Kurskod: PC106/PC145 Kurs 6: Persolighet, hälsa och socialpsykologi (15 hp) Datum: 3/8 014 Hel- och halvfart VT 14 Provmomet: Socialpsykologi + Metod Tillåta hjälpmedel: Miiräkare Asvarig lärare:

Läs mer

ITK:P1 Föreläsning 1. Programmering. Programmeringsspråket Java. Stark typning Explicit typning Strukturerat Hög säkerhet

ITK:P1 Föreläsning 1. Programmering. Programmeringsspråket Java. Stark typning Explicit typning Strukturerat Hög säkerhet ITK:P1 Föreläsning 1 Att programmera i språket Java DSV Peter Mozelius Programmering Olika typer av programmering som t ex: o Imperativ programmering (C, Pascal m fl) o Funktionell programmering (Lisp,

Läs mer

Extrem prestanda Nu utan BPA UPPLEV DEN FANTASTISKA STYRKAN HOS VÅRA BPA-FRIA PRODUKTER

Extrem prestanda Nu utan BPA UPPLEV DEN FANTASTISKA STYRKAN HOS VÅRA BPA-FRIA PRODUKTER Extrem prestada Nu uta BPA UPPLEV DEN FANTASTISKA STYRKAN HOS VÅRA BPA-FRIA PRODUKTER Formar för kall och varm mat BPA-fritt kommersiellt produktsortimet för livsmedelsservice Rubbermaid Commercial har

Läs mer

INSTALLATIONSMANUAL COBRA 8800/8900 CAN

INSTALLATIONSMANUAL COBRA 8800/8900 CAN INSTALLATIONSMANUAL COBRA 8800/8900 CAN DRA UT MITTSEKTIONEN MED INSTALLATIONSSCHEMAT. INNEHÅLL 8808 8805 Larmehet 03CB0364A 10SA0623A Kablage Moterigspåse KA0001STSAA Ultraljudsesorer 04PC3600B 8800USER

Läs mer

Tentamen 19 mars, 8:00 12:00, Q22, Q26

Tentamen 19 mars, 8:00 12:00, Q22, Q26 Avdelige för elektriska eergisystem EG225 DRIFT OCH PLANERING AV ELPRODUKTION Vårtermie 25 Tetame 9 mars, 8: 2:, Q22, Q26 Istruktioer Skriv alla svar på det bifogade svarsbladet. Det är valfritt att också

Läs mer

Lite om felhantering och Exceptions Mer om variabler och parametrar Fält (eng array) och klassen ArrayList.

Lite om felhantering och Exceptions Mer om variabler och parametrar Fält (eng array) och klassen ArrayList. Institutionen för Datavetenskap Göteborgs universitet HT2009 DIT011 Objektorienterad programvaruutveckling GU (DIT011) Föreläsning 3 Innehåll Lite om felhantering och Exceptions Mer om variabler och parametrar

Läs mer

Innehåll Grafräknaren och diskret matematik...1 Vad handlar diskret matematik om?...1 Permutationer och kombinationer...3 Något om heltalsräkning...

Innehåll Grafräknaren och diskret matematik...1 Vad handlar diskret matematik om?...1 Permutationer och kombinationer...3 Något om heltalsräkning... Iehåll Grafräkare och diskret matematik...1 Vad hadlar diskret matematik om?...1 Permutatioer och kombiatioer...3 Något om heltalsräkig...4 Modulusoperator...4 Faktoriserig i primfaktorer...5 Talföljder...7

Läs mer

Datorövning 2 Fördelningar inom säkerhetsanalys

Datorövning 2 Fördelningar inom säkerhetsanalys Luds tekiska högskola Matematikcetrum Matematisk statistik STATISTISKA METODER FÖR SÄKERHETSANALYS FMS065, HT-15 Datorövig 2 Fördeligar iom säkerhetsaalys I dea datorövig ska vi studera ågra grudläggade

Läs mer

Enkät inför KlimatVardag

Enkät inför KlimatVardag 1 Ekät iför KlimatVardag Frågora hadlar om dia förvätigar på och uppfattigar om projektet, samt om hur det ser ut i ditt/ert hushåll idag. Ekäte är uderlag för att hushållet ska kua sätta rimliga och geomförbara

Läs mer

Duo HOME Duo OFFICE. Programmerings manual SE 65.044.20-1

Duo HOME Duo OFFICE. Programmerings manual SE 65.044.20-1 Duo HOME Duo OFFICE Programmerigs maual SE 65.044.20-1 INNEHÅLL Tekiska data Sida 2 Motage Sida 3-5 Programmerig Sida 6-11 Admiistrerig Sida 12-13 Hadhavade Sida 14-16 TEKNISKA DATA TEKNISK SPECIFIKATION

Läs mer

Hisslösningar från Cibes Lift för alla byggnader

Hisslösningar från Cibes Lift för alla byggnader Hisslösigar frå Cibes Lift för alla byggader Smarta, säkra och ekla att istallera DESIGN - PÅLITLIGHET - ERFARENHET Iehåll Om Cibes Lift 3 Kudperspektiv 4 Service och uderhåll 5 Miljöfokus 6 De lilla plattformshisse

Läs mer

Kort repetition. Programmeringsteknik för Bio1 och I1. Vad ska vi lära oss idag? Ett exempel

Kort repetition. Programmeringsteknik för Bio1 och I1. Vad ska vi lära oss idag? Ett exempel Programmeringsteknik för Bio1 och I1 Övning 2 Kort repetition Övningsgrupp 3 (Sal E33) Johannes Hjorth hjorth@nada.kth.se Rum 4538 på plan 5 i D-huset 08-790 69 02 Kurshemsida: http://www.nada.kth.se/kurser/kth/2d1310/

Läs mer

Hisslösningar från Cibes Lift för alla byggnader

Hisslösningar från Cibes Lift för alla byggnader Hisslösigar frå Cibes Lift för alla byggader Smarta, säkra och ekla att istallera DESIGN - PÅLITLIGHET - ERFARENHET Passagerare med bagage Persoer med begräsad rörlighet Tillgäglighet för barvag Tillgäglighet

Läs mer

Linköping University Tentamen TEN1 vt 2011 Kurs TMMV09 Johan Hedbrant 2011-05-25

Linköping University Tentamen TEN1 vt 2011 Kurs TMMV09 Johan Hedbrant 2011-05-25 Liköpig Uiversity etame EN vt 0 Joha edbrat 0-05-5 eoridel. I kg helt torr ved fis eligt e valig formel 9. MJ eergi. Om dea mägd ved ligger i fukt lagom läge väger de kg, där hälfte av vikte är fukt. Om

Läs mer

Hur månfa indianer...? och andra gåtor Lärarmaterial. Vad handlar boken om? Mål från Lgr 11: Att arbeta med gåtor. Lek med ord och bokstäver

Hur månfa indianer...? och andra gåtor Lärarmaterial. Vad handlar boken om? Mål från Lgr 11: Att arbeta med gåtor. Lek med ord och bokstäver Lärarmaterial sida 1 Författare: Keld Peterse Vad hadlar boke om? Här får ma täka till! Ka du lösa gåtora? Mål frå Lgr 11: Lässtrategier för att förstå och tolka texter samt för att apassa läsige efter

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

Många tror att det räcker

Många tror att det räcker Bästa skyddet Måga vet ite hur familje drabbas ekoomiskt om ågo dör eller blir allvarligt sjuk. Här berättar Privata Affärer vilket skydd du har och hur du ka förbättra det. Av Aika Rosell och Igrid Kidahl

Läs mer

Laboration 2. returnerar true om det är omöjligt för roboten att göra move() utan att. exekveringsfel erhålls, annars returnera false.

Laboration 2. returnerar true om det är omöjligt för roboten att göra move() utan att. exekveringsfel erhålls, annars returnera false. Laboration 2. I denna laboration skall ni programmera en robot som modelleras av den givna klassen Robot. En robot vistas i en enkel värld, som modelleras av klassen RobotWorld. Världen består av ett rutmönster

Läs mer

Stöde skolas elevhälsa Handlingsplan läsåret 2013/2014

Stöde skolas elevhälsa Handlingsplan läsåret 2013/2014 Stöde skolas elevhälsa Hadligspla läsåret 2013/2014 Stöde skola, 860 13 Stöde 060 658 33 20 Sudsvalls kommu Iehållsförteckig ELEVHÄLSOPLAN FÖR STÖDE SKOLA... 3 STÖDE SKOLAS VISION...3 ELEVHÄLSA PÅ STÖDE

Läs mer

Chapter 4: Writing Classes/ Att skriva egna klasser.

Chapter 4: Writing Classes/ Att skriva egna klasser. Chapter 4: Writing Classes/ Att skriva egna klasser. I dessa uppgifter kommer du att lära dig om hur man definierar egna objekt genom att skriva klasser. Detta är grunden för att förstå objekt orienterad

Läs mer

Utvecklingsmiljö för Java med stöd för kontraktsprogrammering

Utvecklingsmiljö för Java med stöd för kontraktsprogrammering Datavetenskap Håkan Bergmark och Tony Bergh Utvecklingsmiljö för Java med stöd för kontraktsprogrammering Master s Thesis 2004:02 Utvecklingsmiljö för Java med stöd för kontraktsprogrammering Håkan Bergmark

Läs mer

Remiss Remissvar lämnas i kolumnen Tillstyrkes term och Tillstyrkes def(inition) och eventuella synpunkter skrivs i kolumnen Synpunkter.

Remiss Remissvar lämnas i kolumnen Tillstyrkes term och Tillstyrkes def(inition) och eventuella synpunkter skrivs i kolumnen Synpunkter. 1(10) Svar lämat av (kommu, ladstig, orgaisatio etc.): Remiss Remissvar lämas i kolume Tillstyrkes term och Tillstyrkes (iitio) och evetuella sypukter skrivs i kolume Sypukter. Begreppe redovisas i Socialstyrelses

Läs mer

Tentamen i EG2050/2C1118 Systemplanering, 14 mars 2009, 8:00 13:00, Q21, Q22

Tentamen i EG2050/2C1118 Systemplanering, 14 mars 2009, 8:00 13:00, Q21, Q22 Tetame i EG2050/2C1118 Systemplaerig, 14 mars 2009, 8:00 13:00, Q21, Q22 Tillåta hjälpmedel Vid dea tetame får följade hjälpmedel avädas: Miiräkare uta iformatio med akytig till kurse. E hadskrive, ekelsidig

Läs mer

Programmering Emme-makro rvinst_ic.mac version 2

Programmering Emme-makro rvinst_ic.mac version 2 Uppdragsr: 10109320 2008-08-27 Seh Svalgård PM Programmerig Emme-makro rvis_ic.mac versio 2 Iehållsföreckig Förusäigar...2 Beräkigsuryck...2 Daabaser...4 Marisplaser...4 Aropsparamerar...6 Udaa...6 L:\705x\_SAMSAM\3_Dokume\36_PM\PM

Läs mer

DD2310. Javaprogrammering för Pythonprogrammerare. Johan Boye

DD2310. Javaprogrammering för Pythonprogrammerare. Johan Boye DD2310 Javaprogrammering för Pythonprogrammerare Johan Boye James Gosling pappa till Java Hej.java public class Hej { public static void main( String[] args ) { System.out.println( "Hej" ); Java basics

Läs mer

Du står där i kön till incheckningsdisken

Du står där i kön till incheckningsdisken 5 supertua Det är olidligt att resa lågt med e otymplig, ärmast släpbar, dator i packige. Me e riktigt lite dator märks kappt i ryggsäcke, har låg batteritid och är praktisk att jobba med. Vi har testat

Läs mer

Örserumsviken. Förorenade områden Årsredovisning. Ansvar för sanering av förorenade områden. Årsredovisningslagen och god redovisningssed

Örserumsviken. Förorenade områden Årsredovisning. Ansvar för sanering av förorenade områden. Årsredovisningslagen och god redovisningssed Föroreade område Årsredovisig Örserumsvike Birgit Fleig Auktoriserad revisor Sustaiability Director birgit.fleig@se.ey.com 19 september 2005 1 2 Årsredovisigslage och god redovisigssed Föroreade område

Läs mer

Lärarhandledning Att bli kvitt virus och snuva - När Lisa blev av med förkylningen

Lärarhandledning Att bli kvitt virus och snuva - När Lisa blev av med förkylningen Lärarhadledig Att bli kvitt virus och suva - När Lisa blev av med förkylige För ytterligare iformatio kotakta projektledare: Charlotte.Kristiasso@phs.ki.se 1 Iledig Atibiotikaresistes är ett växade problem

Läs mer

Samtal med Karl-Erik Nilsson

Samtal med Karl-Erik Nilsson Samtal med Karl-Erik Nilsso,er Ert av Svesk Tidskrifts redaktörer, Rolf. Ertglud, itejuar här Karl-Erik Nilsso, ar kaslichej på TCO och TCO:s represetat ed i litagarfodsutredige. er e t or så å g. ). r

Läs mer

Bankkonto - övning. Övning 2 Skriv en metod, geträntan, som returnerar räntan.

Bankkonto - övning. Övning 2 Skriv en metod, geträntan, som returnerar räntan. Bankkonto - övning Övningar att göra efter lärardemostration. Filen bankkonto.zip innehåller ett projekt med klassen Bankkonto. Zippa upp denna fil och öppna projektet i BlueJ och skriv vidare på klassen

Läs mer

UML. Klassdiagr. Abstraktion. Relationer. Överskugg. Överlagr. Aktivitetsdiagram Typomv. Typomv. Klassdiagr. Abstraktion. Relationer.

UML. Klassdiagr. Abstraktion. Relationer. Överskugg. Överlagr. Aktivitetsdiagram Typomv. Typomv. Klassdiagr. Abstraktion. Relationer. Översikt Klasshierarkier UML klassdiagram Relation mellan klasser mellan klasser och objekt Association ning ing andling Programmering tillämpningar och datastrukturer 2 UML UML Unified Modeling Language

Läs mer

Digital signalbehandling Fönsterfunktioner

Digital signalbehandling Fönsterfunktioner Istitutioe för data- och elektrotekik Digital sigalbehadlig Fösterfuktioer 2-2-7 Fösterfuktioer aväds för att apassa mätserie vid frekvesaalys via DFT och FFT samt vid dimesioerig av FIR-filter via ivers

Läs mer

Ny lagstiftning från 1 januari 2011

Ny lagstiftning från 1 januari 2011 Ny lagstiftig frå 1 jauari 2011 1. Ny lag lage om allmäyttiga kommuala bostadsaktiebolag 2. Förädrigar i hyreslage De ya lagstiftige - Bakgrud Klicka här för att ädra format på uderrubrik i bakgrude q

Läs mer

Klasshierarkier - repetition

Klasshierarkier - repetition Klasshierarkier - repetition Klasser kan byggas på redan denierade klasser, egna och/eller färdigskrivna, genom: I att klassobjekt används som attribut (instansvariabler): har-relation. Exempel: traksystemet

Läs mer

TDA550 Objektorienterad programvaruutveckling IT, forts. kurs Övning vecka 2

TDA550 Objektorienterad programvaruutveckling IT, forts. kurs Övning vecka 2 TDA550 Objektorienterad programvaruutveckling IT, forts. kurs Övning vecka 2 Pelle Evensen, Daniel Wetterbro 5 november 2009 Sammanfattning Denna vecka ska vi titta på abstrakta klasser kontra interface,

Läs mer

Så här kommer byggherren och entreprenören överens om energianvändningen

Så här kommer byggherren och entreprenören överens om energianvändningen Så här kommer byggherre och etrepreöre överes om eergiavädige Så här kommer byggherre och etrepreöre överes om eergiavädige Sveby står för Stadardisera och verifiera eergiprestada i byggader och är ett

Läs mer

göra med en dator i dag, inklusive inte alltför krävande spel. Om det rycker i speltarmen är det bara att införskaffa ett nytt grafikkort.

göra med en dator i dag, inklusive inte alltför krävande spel. Om det rycker i speltarmen är det bara att införskaffa ett nytt grafikkort. 44 PC FÖR ALLA.9 2007 TEST: STATIONÄR PC KRALLIGA KRUTBURKAR 4 DATORER MED SENASTE TEKNIKEN Vätar du med datorköpet för att du är rädd att dator ska vara gammal reda ia du huit ut ur butike? Satsa i så

Läs mer

Anmäl intresse nu! BRF SKALDEN. bostadsrätter. Antal lägenheter: 47 Säljstart: Hösten 2014 Inflyttning: Prel. 2016 Antal rum: 1 4 rok ca 35 86 kvm

Anmäl intresse nu! BRF SKALDEN. bostadsrätter. Antal lägenheter: 47 Säljstart: Hösten 2014 Inflyttning: Prel. 2016 Antal rum: 1 4 rok ca 35 86 kvm Amäl itresse u! BR SADE bostadsrätter Atal lägeheter: 7 Säljstart: öste Iflyttig: Prel. 6 Atal rum: rok ca 5 8 Alla lägeheter har balkog eller uteplats. iss fis i huset. vadratsmarta lägeheter i cetrala

Läs mer

Java: kort introduktion. Trådar. Något om mutex, Dekkers algoritm och monitorer. Javas ("inbyggda monitor") synchronized.

Java: kort introduktion. Trådar. Något om mutex, Dekkers algoritm och monitorer. Javas (inbyggda monitor) synchronized. 2EMHNWRULHQWHUDG5HDOWLGVSURJUDPPHULQJ Java: kort introduktion. Trådar. Något om mutex, Dekkers algoritm och monitorer. Javas ("inbyggda monitor") synchronized. previous next Java Java är konstruerat på

Läs mer

Inledande programmering med C# (1DV402) Ditt första C#-program med Visual Studio

Inledande programmering med C# (1DV402) Ditt första C#-program med Visual Studio Ditt första C#-program med Visual Studio 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å

Läs mer

Bo Andersson, IF Metall, Sven Bergström, LO, Jörgen Eriksson, Byggnads, Björn Hammar, Teknikföretagen, Björn Samuelson, Sveriges Byggindustrier

Bo Andersson, IF Metall, Sven Bergström, LO, Jörgen Eriksson, Byggnads, Björn Hammar, Teknikföretagen, Björn Samuelson, Sveriges Byggindustrier Säkert truckarbete Prevet är e ideell föreig iom arbetsmiljöområdet med Sveskt Närigsliv, LO och PTK som huvudmä. Vår uppgift är att tillsammas med huvudmäe förmedla kuskap krig arbetsmiljöfrågor och utveckla

Läs mer

7 Sjunde lektionen. 7.1 Digitala filter

7 Sjunde lektionen. 7.1 Digitala filter 7 Sjude lektioe 7. Digitala filter 7.. Flera svar Ett lijärt tidsivariat system ka karakteriseras med ett flertal svar, t.ex. impuls-, steg- och amplitudsvare. LTI-system ka ju äve i de flesta fall beskrivas

Läs mer

Diagnostiskt Prov. Antaganden Om förutsättningar saknas I en uppgift skall rimliga antaganden göras och nedtecknas.

Diagnostiskt Prov. Antaganden Om förutsättningar saknas I en uppgift skall rimliga antaganden göras och nedtecknas. .0.0 DIAGNOSTISKT PROV Tid Klockan 09.00-2.00 Hjälpmedel Inga Antaganden Om förutsättningar saknas I en uppgift skall rimliga antaganden göras och nedtecknas. Rättning Tentamen omfattar 6 poäng Denna tentamen

Läs mer

Svenska Segelflygförbundet Sida 1 av 5. Datum Felmeddelande Källa Företag Användare Grupp. Form, 02 25. Form, 02 25. Form, 02 25.

Svenska Segelflygförbundet Sida 1 av 5. Datum Felmeddelande Källa Företag Användare Grupp. Form, 02 25. Form, 02 25. Form, 02 25. Sveska Sida 1 av 5 Datum Felmeddelade Källa Företag Avädare Grupp 2015-02-26 Ka ej iitiera forme BL_Lo.KuUpp SSF 15:47:01 Sveska Carli 2015-02-26 Coversio from strig "" to type BL_Lo.KuUpp SSF 15:47:00

Läs mer

Solgläntans föräldrakooperativ Kvalitet och måluppfyllelse läsåret 2012/13

Solgläntans föräldrakooperativ Kvalitet och måluppfyllelse läsåret 2012/13 1 s föräldrakooperativ Kvalitet och måluppfyllelse läset 2012/13 Iehåll: Iledig 2 Förutsättigar...2 Bedömig av kvalitet och måluppfyllelse 3 Beslutade mål och åtgärder 6 Slutord 7 Bilaga: Resultat - seaste

Läs mer

Marknaden för PPM-förvaltning

Marknaden för PPM-förvaltning Nu är goda PPM- I dag fis det måga företag som vill placera dia PPM-pegar. Me du ska vara försiktig ofta kostar det mer ä det smakar. Markade för PPM-förvaltig har vuxit kraftigt det seaste året. Nu fis

Läs mer

Dagens program. Programmeringsteknik och Matlab. Objektorienterad programmering. Vad är vitsen med att ha både metoder och data i objekten?

Dagens program. Programmeringsteknik och Matlab. Objektorienterad programmering. Vad är vitsen med att ha både metoder och data i objekten? Programmeringsteknik och Matlab Övning 4 Dagens program Övningsgrupp 2 (Sal Q22/E32) Johannes Hjorth hjorth@nada.kth.se Rum 4538 på plan 5 i D-huset 08-790 69 02 Kurshemsida: http://www.nada.kth.se/kurser/kth/2d1312

Läs mer

Bo Andersson, IF Metall, Sven Bergström, LO, Jörgen Eriksson, Byggnads, Björn Hammar, Teknikföretagen, Björn Samuelson, Sveriges Byggindustrier

Bo Andersson, IF Metall, Sven Bergström, LO, Jörgen Eriksson, Byggnads, Björn Hammar, Teknikföretagen, Björn Samuelson, Sveriges Byggindustrier Säkra materiallyft Prevet är e ideell föreig iom arbetsmiljöområdet med Sveskt Närigsliv, LO och PTK som huvudmä. Vår uppgift är att tillsammas med huvudmäe förmedla kuskap krig arbetsmiljöfrågor och utveckla

Läs mer

AMF. I princip är det bara möjligt att flytta privat sparande och sparande där avtalet tecknats efter den 2 februari i fjol.

AMF. I princip är det bara möjligt att flytta privat sparande och sparande där avtalet tecknats efter den 2 februari i fjol. Välj att flytta dia Utyttja di flytträtt om du ka. Det är Privata Affärers råd u är regeriges tillfälliga flyttstopp hävs de 1 maj. Flyttstoppet ifördes i februari i fjol som e direkt följd av Damarksmålet.

Läs mer

Laboration 1. "kompilera"-ikonen "exekvera"-ikonen

Laboration 1. kompilera-ikonen exekvera-ikonen Programmerade system I1 Syfte Laboration 1. Syftet med denna laboration är dels att göra dej bekant med de verktyg som kan vara aktuella i programmeringsarbetet, dels ge en första inblick i att skriva

Läs mer

n Marknadens minsta och mest robusta FRAinstrument n Marknadens högsta prestanda och användande n Uppfyller alla internationella standarder för

n Marknadens minsta och mest robusta FRAinstrument n Marknadens högsta prestanda och användande n Uppfyller alla internationella standarder för FRAX 101 SFRA Aalysator Markades mista och mest robusta FRAistrumet Markades högsta prestada och avädade av stadardiserad sigalkabel-jordaslutig ger högsta möjliga repeterbarhet Uppfyller alla iteratioella

Läs mer

Produsert for bevegelses hemmede, og er det mest fleksible og variasjonrike alternativ på markedet. Tilpasnings-mulighetene er nesten ubegrensede.

Produsert for bevegelses hemmede, og er det mest fleksible og variasjonrike alternativ på markedet. Tilpasnings-mulighetene er nesten ubegrensede. VÄSTIA DUSJROM Produsert for bevegelses hemmede, og er det mest fleksible og variasjorike alterativ på markedet. Tilpasigs-mulighetee er este ubegresede. HML Hjelpemiddel-leveradøre AS Braderudv. 90, 2015

Läs mer

Laboration 1. "kompilera"-ikonen "exekvera"-ikonen

Laboration 1. kompilera-ikonen exekvera-ikonen Syfte Laboration 1. Objektorienterad programmering, Z1 Syftet med denna laboration är dels att göra dej bekant med de verktyg som kan vara aktuella i programmeringsarbetet, dels ge en första inblick i

Läs mer

Modul 3 - Modularisering

Modul 3 - Modularisering Modul 3 Modularisering MODULARISERING 2 FUNKTIONER 3 Funktionsdefinition 4 Funktionsanrop 5 Funktionskroppen 5 Slumpa funktionen rand() 6 Värdeanrop 6 Variablers räckvidd 8 Referensanrop 8 DELPROGRAM 10

Läs mer

IGCT effektbrytare i megawattklassen för mellanspänningstillämpningar

IGCT effektbrytare i megawattklassen för mellanspänningstillämpningar IGCT effektbrytare i megawattklasse för mellasäigstillämigar Att kostruera utrustig för att bryta effekter i storleksordige megawatt å mellasäigsivå är e svår ugift. De ieboede egeskaera hos de två kiselbaserade

Läs mer

LUNDS TEKNISKA HÖGSKOLA EDAA01 Programmeringsteknik fördjupningskurs Institutionen för datavetenskap HT 2015

LUNDS TEKNISKA HÖGSKOLA EDAA01 Programmeringsteknik fördjupningskurs Institutionen för datavetenskap HT 2015 LUNDS TEKNISKA HÖGSKOLA EDAA01 Programmeringsteknik fördjupningskurs Institutionen för datavetenskap HT 2015 Testning med JUnit 1 Inledning JUnit är ett ramverk för enhetstestning av Javakod. Det är utvecklat

Läs mer

Hej Då, Karel! Programmering. Vårt första Javaprogram. hh.se/db2004. Java. Grundtyper, variabler och arrayer

Hej Då, Karel! Programmering. Vårt första Javaprogram. hh.se/db2004. Java. Grundtyper, variabler och arrayer Programmering hh.se/db2004 Föreläsning 3: Java. Grundtyper, variabler och arrayer Hej Då, Karel! Verónica Gaspes www2.hh.se/staff/vero www2.hh.se/staff/vero/programmering Center for Research on Embedded

Läs mer

Försöket med trängselskatt

Försöket med trängselskatt STATISTISKA CENTRALBYRÅN m 1(5). Nilo Trägelkatt Förlag frå Ehete för pritatitik Ehete för pritatitik förelår att å kallad trägelkatt ka täcka i KI frå och med idex aveede jauari 26. Trägelkatte ave då

Läs mer

Stadsbyggande och farligt gods

Stadsbyggande och farligt gods Stadsbyggade och farligt gods Dialog-pm 2004:2 Aktualiserig av Översiktspla 2000 Malmö Stadsbyggadskotor mars 2004 Dialog-pm 2004:2 Stadsbyggade och farligt gods Sammafattig Dialog-pm 2004:2 Stadsbyggade

Läs mer

Beräkningsvetenskap föreläsning 2

Beräkningsvetenskap föreläsning 2 Beräkningsvetenskap föreläsning 2 19/01 2010 - Per Wahlund if-satser if x > 0 y = 2 + log(x); else y = -1 If-satsen skall alltid ha ett villkor, samt en då det som skall hända är skrivet. Mellan dessa

Läs mer

Salutogena arbetsfaktorer för friska medarbetare - en enkätstudie inom primärvården

Salutogena arbetsfaktorer för friska medarbetare - en enkätstudie inom primärvården Salutogea arbetsfaktorer för friska medarbetare - e ekätstudie iom primärvårde Lia Ejlertsso Bodil Heijbel Göra Ejlertsso Igemar Adersso KRISTIANSTAD UNIVERSITY PRESS Salutogea arbetsfaktorer för friska

Läs mer

KVALITATIV OCH KVANTITATIV SAMMANSÄTTNING

KVALITATIV OCH KVANTITATIV SAMMANSÄTTNING PRODUKTRESUMÉ 1 LÄKEMEDLETS NAMN Vesicare 5 mg filmdragerad tablett Vesicare 10 mg filmdragerad tablett 2 KVALITATIV OCH KVANTITATIV SAMMANSÄTTNING Vesicare 5 mg: E tablett iehåller solifeacisucciat 5

Läs mer

Att deklarera och att använda variabler. Föreläsning 10. Synlighetsregler (2) Synlighetsregler (1)

Att deklarera och att använda variabler. Föreläsning 10. Synlighetsregler (2) Synlighetsregler (1) Föreläsning 10 STRING OCH STRINGBUILDER; VARIABLERS SYNLIGHET Att deklarera och att använda variabler När vi deklarerar en variabel, t ex int x; inför vi en ny variabel med ett namn och en typ. När namnet

Läs mer

Framtidsutredningen 2007 Vad kostar det tillgängliga och trygga Stockholm?

Framtidsutredningen 2007 Vad kostar det tillgängliga och trygga Stockholm? Framtidsutredige 2007 Vad kostar det tillgägliga och trygga Stockholm? I dea rapport kommer stades ekoomiska framtidsutsikter att diskuteras. Klarar stade äve fortsättigsvis av åtagadet att erbjuda e god

Läs mer

1 Uppgift 1. a) Skapar ett Company-objekt med hjälp av den överlagrade konstruktorn. Du kan själv välja värden på instansvariablerna.

1 Uppgift 1. a) Skapar ett Company-objekt med hjälp av den överlagrade konstruktorn. Du kan själv välja värden på instansvariablerna. 1 Uppgift 1 Klassen Company Banken FinanceTrust som tidigare bara haft privatpersoner som kunder vill nu bygga ut sitt datasystem så att även företag kan registreras som kunder. Skriv klassen Company som

Läs mer

Objektorienterad Programmering (TDDC77)

Objektorienterad Programmering (TDDC77) Objektorienterad Programmering (TDDC77) Föreläsning I: kursinfo, att programmera datorer, första programmet Ahmed Rezine IDA, Linköpings Universitet Hösttermin 2015 Outline Hemsida Organization Examination

Läs mer

Alptanäs Mitt i Sveriges IT-centrum

Alptanäs Mitt i Sveriges IT-centrum Alptaäs Mitt i Sveriges IT-cetrum Fatastiskt skyltläge vid Kymligeläke! Välkomme till ett eget hus med fit skyltläge och ärhet till ature. Här möts i av e glasad etré som ibjuder till möte och utställigar.

Läs mer

INNEHÅLL SÄKERHETSINSTRUKTIONER CONTENTS. Säkerhetsinstruktioner 3. n n n n n

INNEHÅLL SÄKERHETSINSTRUKTIONER CONTENTS. Säkerhetsinstruktioner 3. n n n n n BRUKSANVISNING INNEHÅLL CONTENTS SÄKERHETSINSTRUKTIONER Säkerhetsistruktioer 3 Frotpaeles kappar 4-5 Fjärrkotroll 6-7 Källmey 8-9 Radioläge 10-11 Uppspelig 12-13 Iställigar 14-25 EQ-mey 26-27 Specifikatioer

Läs mer

En tablett innehåller 5 mg solifenacinsuccinat, vilket motsvarar 3,8 mg solifenacin. Hjälpämne: laktosmonohydrat (107,5 mg)

En tablett innehåller 5 mg solifenacinsuccinat, vilket motsvarar 3,8 mg solifenacin. Hjälpämne: laktosmonohydrat (107,5 mg) PRODUKTRESUMÉ 1 LÄKEMEDLETS NAMN Vesicare 5 mg filmdragerad tablett Vesicare 10 mg filmdragerad tablett 2 KVALITATIV OCH KVANTITATIV SAMMANSÄTTNING Vesicare 5 mg filmdragerad tablett: E tablett iehåller

Läs mer

Art. 7953. Brugsanvisning

Art. 7953. Brugsanvisning Art. 7953 D GB F NL S I E DK Gebrauchsaweisug Licht- / Wasserspieldüse Operatig Istructios Light ad Waterworks Jet Mode d emploi Buse pour jet d eau avec éclairage Gebruiksaawijzig Licht- / waterspelsproeier

Läs mer

Avtalet End user software licence agreement skall gälla, och finns att läsa på VAIO Info Centre.

Avtalet End user software licence agreement skall gälla, och finns att läsa på VAIO Info Centre. Läs detta först Läs detta först För käedom Dea produkt iehåller dels programvara som ägs av Soy och dels programvara uder lices frå tredje part. Avädig av såda programvara skall ske eligt villkore i det

Läs mer

Geometriska summor. Aritmetiska summor. Aritmetiska talföljder kallar vi talföljder som. Geometriska talföljder kallar vi talföljder som

Geometriska summor. Aritmetiska summor. Aritmetiska talföljder kallar vi talföljder som. Geometriska talföljder kallar vi talföljder som Aritmetiska summor Aritmetiska talföljder kallar vi talföljder som, 4, 6, 8, 10, 1, 14, 000, 1996, 199, 1988, 0.1, 0., 0.3, 0.4, för vilka differese mella på varadra följade tal kostat. Aritmetiska summor

Läs mer

DOKUMENTHANTERINGSPLAN Personal Antagen att gälla från och 2013-01-01 Dnr: 16/13 Handlingsslag. Gallras (=förstöres) Arkivläggs

DOKUMENTHANTERINGSPLAN Personal Antagen att gälla från och 2013-01-01 Dnr: 16/13 Handlingsslag. Gallras (=förstöres) Arkivläggs AFA (arbetsmarkades FörsäkrigsAktiebolag): skade-amäla (TFA=Trygghets Försäkrig vid Arbetsskada), AFA (arbetsmarkades FörsäkrigsAktiebolag): skade-amäla (TFA=Trygghets Försäkrig vid Arbetsskada), kopia

Läs mer

Lösningsförslag övning 2.

Lösningsförslag övning 2. Objektorienterad programmering, Z1 Lösningsförslag övning 2. Uppgift 1. public class SIUnits { public static double yardspermeter = 1.093613; public static double poundperkilo = 2.204623; public static

Läs mer

Maskinvaruguide. VGN-S/VGN-T/VGN-B-serien

Maskinvaruguide. VGN-S/VGN-T/VGN-B-serien Maskivaruguide VG-S/VG-T/VG-B-serie 1 Läs detta först Läs detta först För käedom: 2004 Soy Corporatio. Med esamrätt. Det är förbjudet att uta föregåede skriftligt tillståd kopiera eller översätta dea hadbok

Läs mer

Lite logik. Kap 6: Sid 2

Lite logik. Kap 6: Sid 2 6 Loopar och val Lite logik Val mellan två alternativ Val mellan flera alternativ Sammansatta villkor Boolska variabler Jämför strängar While-loopar Do-loopar For-loopar Kortformer Kap 6: Sid 2 Lite logik

Läs mer

2004 Rune Norberg. Måste elimineras! Hur då? Kapitel 9. Variation Olika typer av data. 2004 Rune Norberg. Kapitel 9

2004 Rune Norberg. Måste elimineras! Hur då? Kapitel 9. Variation Olika typer av data. 2004 Rune Norberg. Kapitel 9 Fe l i t ill verki ge ept Okt Nov Dec ept Okt Nov Dec Högskola Dalara Översikt tatistisk processtyrig Itroduktio till tatistisk Processtyrig (P) aolikhet Normalfördelig Några adra fördeligar Variatio Olika

Läs mer

Testning. 1DV404, HT14 Jesper Andersson Kap 21 + Testing Primer

Testning. 1DV404, HT14 Jesper Andersson Kap 21 + Testing Primer Testning 1DV404, HT14 Jesper Andersson Kap 21 + Testing Primer Testning ü Testningens huvudsakliga syfte är att reducera risker. ü Osäkerhetsfaktorer inom utvecklingen av ny programvara kan få ett projekt

Läs mer

Saltsjötunneln. Saltsjötunneln i korthet. Bil- och tunnelbanelänken för östra Östra Stockholm

Saltsjötunneln. Saltsjötunneln i korthet. Bil- och tunnelbanelänken för östra Östra Stockholm Saltsjötuel i korthet uelbaa till Nacka geom att Blå lije förlägs frå Kugsträdgårde. Norra läke och Södra läke kyts ihop med e tuel uder Saltsjö. Ett sammahållet projekt ger samordigsvister och stordriftsfördelar

Läs mer

Årets bästa skattetips

Årets bästa skattetips Årets bästa skattetips Aika Creutzers råd säker di skatt Årets deklaratio har måga glada yheter. Privata Affärers chefredaktör Aika Creutzer ger dig sia bästa råd till lägre skatt. Förmögehetsskatte är

Läs mer

samt tandvård. De har även hand om kultur, kollektivtrafik och regional utveckling. Dessa ansvarsområden omfattar en större

samt tandvård. De har även hand om kultur, kollektivtrafik och regional utveckling. Dessa ansvarsområden omfattar en större Måadsrapport Jauari 2015 Måadsrapport Juli 2015 Måadsrapport Februari 2015 Måadsrapport Augusti 2015 Måadsrapport Mars 2015 Måadsrapport September 2015 Måadsrapport April 2015 Måadsrapport Oktober 2015

Läs mer

Swing. MER Java Foundation Classes (JFC) Hur lära sig? Vad är farorna. LayoutManagers. Exempel på några av komponenterna

Swing. MER Java Foundation Classes (JFC) Hur lära sig? Vad är farorna. LayoutManagers. Exempel på några av komponenterna MER Java Foundation Classes (JFC) Swing Swing Många klasser Vettigt att lära sig dem utantill - Tror inte det -... men det kan vara bra att ha en liten överblick över vad som finns - Idag (och med fortsättning

Läs mer

Maskinvaruguide. VGN-S-serien

Maskinvaruguide. VGN-S-serien Maskivaruguide VG-S-serie 1 Läs detta först Läs detta först För käedom: 2004 Soy Corporatio. Med esamrätt. Det är förbjudet att uta föregåede skriftligt tillståd kopiera eller översätta dea hadbok och

Läs mer

förebygg.nu Alkohol och sex UNG KREATIVITET onsdag 16 november Kombinationen alkohol och sexualitet är ett ämne som diskuteras alltför lite Sidan 3

förebygg.nu Alkohol och sex UNG KREATIVITET onsdag 16 november Kombinationen alkohol och sexualitet är ett ämne som diskuteras alltför lite Sidan 3 osdag 16 ovember förebygg.u UNG KREATIVITET Vi måste hitta ett sätt att få uga att täka till ett extra varv Sidora 4-5 Alkohol och sex Kombiatioe alkohol och sexualitet är ett Effekter av förebyggade arbete

Läs mer

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

Programmering i C++ EDA623 Objektorienterad programutveckling. EDA623 (Föreläsning 5) HT 2013 1 / 33

Programmering i C++ EDA623 Objektorienterad programutveckling. EDA623 (Föreläsning 5) HT 2013 1 / 33 Programmering i C++ EDA623 Objektorienterad programutveckling EDA623 (Föreläsning 5) HT 2013 1 / 33 Objektorienterad programutveckling Innehåll Grundläggande begrepp Relationer mellan objekt Grafisk representation

Läs mer

Klasser i Java kan ha metoder och egenskaper. Metoder beskriver funktioner som klassen kan utföra. Egenskaper beskriver innehållet i klassen.

Klasser i Java kan ha metoder och egenskaper. Metoder beskriver funktioner som klassen kan utföra. Egenskaper beskriver innehållet i klassen. TT Kapitel 3. Husdjur & Fisk Javaklasser Translation by Leif Lourié Java program består av klasser som beskriver saker (objekt) som finns på riktigt. Även om det finns många olika sätt att skriva program

Läs mer

Programmering B med Visual C++ 2008

Programmering B med Visual C++ 2008 Programmering B med Visual C++ 2008 Innehållsförteckning 1 Repetition och lite nytt...5 I detta kapitel... 5 Programexekvering... 5 Loop... 5 Källkod... 6 Verktyg... 6 Säkerhetskopiera... 6 Öppna, kompilera,

Läs mer

Objekt och klasser - Introduktion. Objekt. SparKonto.java 2. SparKonto.java 1. Konton.java. Ett objekt har: Ett bankkonto

Objekt och klasser - Introduktion. Objekt. SparKonto.java 2. SparKonto.java 1. Konton.java. Ett objekt har: Ett bankkonto Objekt och klasser - Introduktion Objekt Ð Begreppet objekt Ð Hur klasser anvšnds fšr att skapa objekt Ð Fšr-definierade klasser Ð Metoder och parameteršverfšring Ð Definiera klasser Ð Modifierare Ð Statiska

Läs mer

ALM Live: Testfokus bättre mjukvarukvalitét med Visual Studio 2008 Team System

ALM Live: Testfokus bättre mjukvarukvalitét med Visual Studio 2008 Team System ALM Live: Testfokus bättre mjukvarukvalitét med Visual Studio 2008 Team System Magnus Juvas Qwise Om oss: Qwise Vi hjälper systemutvecklingsteam att bli bättre. Vi är experter på ALM och Team System. Vi

Läs mer

Planområdets förutsättningar

Planområdets förutsättningar Plaområts förutsättigar Bjärehalvö är atursköa le av Halladsåse som sticker ut i Kattegatt. Åse bildar gräs mella ladskape Hallad och åe. Halladsåse ligger till största le i åe och sträcker sig frå Örkelljuga

Läs mer

Ett exempel som illustration till Laboration 1

Ett exempel som illustration till Laboration 1 Ett exempel som illustration till Laboration 1 Filen java_average_points.zip innehåller Java-koden till exemplet. Programmets avsikt enligt kravspecifikationen Användaren matar in poäng på en tentamen

Läs mer

INNEHÅLL SÄKERHETSINSTRUKTIONER CONTENTS. Säkerhetsinstruktioner 3. n n n n n

INNEHÅLL SÄKERHETSINSTRUKTIONER CONTENTS. Säkerhetsinstruktioner 3. n n n n n BRUKSANVISNING INNEHÅLL CONTENTS SÄKERHETSINSTRUKTIONER Säkerhetsistruktioer 3 Frotpaeles kappar 4 Fjärrkotroll 6-7 Källmey 8-9 Radioläge 10-11 Uppspelig 12-13 Bluetooth-läge 14-17 Iställigar 18-29 EQ-mey

Läs mer

Funktioner. Programmering. Egendefinierade funktioner i Java. En Java-funktions anatomi. hh.se/db2004. Statiska metoder. Funktioner. resultatvärde.

Funktioner. Programmering. Egendefinierade funktioner i Java. En Java-funktions anatomi. hh.se/db2004. Statiska metoder. Funktioner. resultatvärde. Programmering hh.se/db2004 Föreläsning 7: Funktioner Verónica Gaspes www2.hh.se/staff/vero www2.hh.se/staff/vero/programmering Funktioner Statiska metoder 1 Kan ta 0 eller flera argument. 2 Kan producera

Läs mer

vårt nya hem bomässan 2012

vårt nya hem bomässan 2012 Om ågra år kommer 7 000 persoer bo här i lägeheter och radhus i ya promeadstade Aedal. bomässa 2012 vårt ya hem Höga fösterpartier, eorma badrum me i övrigt väl utyttjade ytor. Så ser tredera ut för dages

Läs mer