Kravspesifisering (2): Validering av kravspek er

Størrelse: px
Begynne med side:

Download "Kravspesifisering (2): Validering av kravspek er"

Transkript

1 Ø Ø SIF Informasjonssystemer Grunnkurs, 2002 Læremål Kravspesifisering (2): Validering av kravspek er Guttorm Sindre, IDI Forstå Kvalitetskriterier for kravspesifikasjoner Viktige steg i prosessen for å validere kravspesifikasjoner Praktiske ferdigheter i å Validere kravspesifikasjoner i samarbeid med andre Men selvsagt ikke perfekt etter dette kurset! Oversikt over forelesningen 1. Hva menes med validering i denne teksten? 2. Kravspek-gjennomganger (reviews) Prosess, deltagere, sjekklister 3. Prototyping + utvikling av brukermanualer 4. Modellvalidering 5. Kravtesting 1. Hva menes med validering i denne teksten? Skiller mellom analyse og validering Beskrevet de riktige kravene? ihht kundens behov! "! # $ #! % & ')( 2 3 * , - 6 ( 7.( 682 3/ 9 : ; < = >? = : 0 1 z{ }8~ { ƒ ˆ Š Œ Ž Š ˆ š œ ž Ÿ š ª «± ² ³ ± ³ µ Beskrevet kravene riktig? ihht standarder / retningslinjer A)B C D E F B GB H I J K L M N OQP R S T S U L R h)i j k l m i ni o p q r s t u vw x y Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ñ Ð Ó Ô Ñ Õ Ö VW X Y Z [ W \W ] ^ _ ` a b c d a e c f g ¹Qº» ¼ ¼ ½ ¾ À Á  ¾ Ã Ä Å Æ Feil, løsninger, hovedproblem Input og output til aktiviteten (fig 4.1) Feil som kan oppdages i kravspek Manglende samsvar med kvalitetsstandarder Dårlig formulerte / tvetydige krav Feil i analysemodeller / problembeskrivelser Kravkonflikter / feil som ikke ble oppdaget tidligere Løsning: fikse problemene før dokumentet vedtas Rene dokumentproblemer: enkelt Rette feilen i dokumentet Manglende forståelse: verre Nødvendig med ny problemanalyse / kravinnhenting? Hovedproblem mhp validering av kravspek øúùîû ü ý þ ùîÿ ù!" # $% & ' $( & ) % $* +, -./ :9 ;=<>?<@:A B C D E F G8D H F I J ÚÜÛ Ý Þß àâá ã ßQä å æçèý éëê ì íîíîïñðîòîó ô õ ö Ikke noe å sammenligne med (kun kundens behov ) 1

2 L N M Validering krever tid! 2. Kravspek-gjennomganger (reviews) Har et kravdokument Ser ferdig ut Dessuten langt, tidkrevende å lese, mange ulike personer må involveres Fristende å storme videre til design aldri tid til å gjøre noe skikkelig, alltid tid til å gjøre det om igjen Dette kan føre til Merarbeid på senere stadier: Omgjøring av krav omgjøring av design Heller: finne mest mulig feil før kravspek vedtas Spare arbeid Redusere irritasjon (i prosjektet, eller hos kunden) Lese igjennom dokumentet for å finne feil Også aktuelt for design, kode etc. Ofte mer effektivt enn testing! Hvorfor?? Krav kan ikke testes, review et vanlig valg Review-prosessen (jfr fig 4.2) Selve møtet 1. Planlegg review Velg deltagere, finn tid og sted 2. Distribuer dokumenter Kravspek ++ distribueres til deltagere 3. Forbered review Deltagere ser igjennom materialet hver for seg Konflikter? Utelatelser? Avvik fra standarder? Hold review-møte Diskusjon av individuelle kommentarer Beslutninger om tiltak 5. Oppfølging av tiltak 6. Revider kravspek-dokumentet Ordstyrer bør ikke ha vært involvert i å lage kravspek-dokumentet Sekretær: notere problemer og vedtak Underveis: Kravansvarlig presenterer ett og ett krav Spør om kommentarer / problemer Problemer samles opp, diskuteres Enighet om aksjoner Anslått tidsforbruk krav per time, samme for forberedelse Dvs: 400 krav validert av 4 persons team: 50 timeverk O Mulige aksjoner som kan vedtas Forhåndssjekking (4.1.1) 1. Oppklaring Kravet er dårlig formulert, eller detaljer er utelatt. Forbedre formuleringen. 2. Manglende informasjon Innhent mer info fra interessenter / andre kilder 3. Konflikt Noen krav er i konflikt med hverandre. Interessenter må forhandle seg frem til en løsning. 4. Urealistisk krav Kravet kan ikke implementeres med gitt teknologi / innen gitte rammer. Må spørre interessenter om kravet skal slettes eller forenkles. Formål: redusere arbeidet til reviewere Fjerne banale feil før review, så denne kan konsentrere seg om mer alvorlige feil Rask sjekk, 1 person Skrivefeil, dokumentformat š p qkr ls mt n o œ ž Ÿ š u v w x y z { } ~} } ƒ Œ Œ Ž ˆ ƒ Š ³ µ ³ ª «µ ±² P Q R S TUQ V Q W XY Z [ \ ] ^ _ ` a Mulige resultat Returnere dokumentet til kravspek-teamet Videresende til review med feil markert b c d e fg h cg i d cj 2 K

3 Å velge deltagere til review (4.1.2) Sjekklister for review Bør ideelt ha Representant(er) for brukere og kunde Ekspert(er) på problemområdet Designer(e) Kravutvikler(e) Fordeler med personer med ulik bakgrunn Ulik kunnskap, ulike evner Kan i fellesskap oppdage flere problemer Ulike grupper kan få forståelse for hverandres behov, redusert krangel ved kravkonflikter Anbefalt gruppestørrelse: 3-10 Evt også møtes på nettet? (ikke nevnt i boka) Mer generelle enn for kode Bør være forståelige for brukere / kunder Gjerne organisasjonsspesifikke basert på prosjekttype og erfaringer Ikke for lang! (< 10 punkter) Eksempel Overordnede kvalitetsmål (fig 4.4) Konkrete spørsmål som kan stilles (fig 4.5) Overordnede kvalitetsmål (1) Overordnede kvalitetsmål (2) Forståelighet Kan leserne forstå hva kravet betyr? Redundans Unødig gjentak av info? Kompletthet Krav som mangler? Info som mangler ihht dok.format? Tvetydighet Begreper / fraser som kan tolkes på flere måter? Vær særlig obs på terminologi avhengig av fagfelt Konsistens Motsigelser mellom krav? Organisering Fornuftig struktur på dokumentet? Annen struktur bedre for forståelse? Samsvar med standarder Er dok. i samsvar med standarder? Evt avvik rettferdiggjort? Sporbarhet Lenker mellom relaterte krav? Lenker til bakgrunnsinfo for avgjørelser? Konkrete spørsmål (fig 4.5) 3. Prototyping (4.2) Unik id (sporbarhet, samsv. Std) Terminologi definert (forståelighet) Krav selv-inneholdt (forståelighet, kompletthet) Begrep brukt ulikt (tvetydighet) Samme tjeneste etterspurt (konsistens, redundans) flere steder? Ulike krav? Referanser til stede? (kompletthet) Relaterte krav gruppert? Eller ref. til hverandre? (organisering, sporbarhet) Vanskelig å forstå krav bare ved å lese dem Prototyper: viser eksempler på kjøring Eliminere misforståelser Ideer til nye krav Valideringsprototype Mål: gi forsmak på realistisk praktisk systembruk Lurt hvis man alt har en innhentingsprototype Ellers neppe verdt kostnad Må være mer komplett enn innhentingsprototype Dvs. videreutvikling nødvendig L M 3 ¹

4 Aktiviteter i prototypebasert validering 1. Velg testere Sluttbrukere med ulike jobber Ikke teknologi-entusiaster 2. Lag test-scenarier Tilfeldig lek med prototypen lite effektivt Må dekke div. vanlige arbeidsoppgaver Sekvenser av handlingssteg som skal utføres 3. Utfør scenarier La bruker jobbe uten hjelp, men observer! 4. Dokumentér problemer / endringsbehov rapportskjema N Annen bruk av prototyper Basis for utvikling av systemtester Handlingssteg her ~ scenarier for prototypebruk (eksekverbar) Back-to-back testing mot ferdig system (eksekverbar) nødleveranse Hvis system ikke blir ferdig innen fastsatt tid Men farlig fristelse! altfor mange prosjekter ender opp med å levere noe som egentlig skulle være en bruk-ogkast prototype... Metoder for prototyping (kap 3) Papir-prototype Magisk ( Wizard of Oz ) prototype Eksekverbar prototype O Utvikling av brukermanualer (4.2.1) 4. Modellvalidering Kan gjøres allerede for prototype Bør inneholde flg info: Hvilken funksjonalitet som er implementert Hvordan denne kan nås gjennom UI Hvilke deler som ikke er implementert Hvordan man skal komme opp etter kræsj Om nødvendig: installasjonsinstrukser Tidlig skriving av brukermanual Nyttig også uten prototype Framtvinger reformulering av krav Forklaringsproblemer: symptom på kravproblemer Systemmodeller inngår gjerne som del av kravspek-dok. F.eks. Prosess-, info-, use case-, objektmodeller Disse bør også valideres Er hver modell internt konsistent? Er ulike modeller konsistente med hverandre? Stemmer modellene med problemområdet / kundens behov? Teknikker for modellvalidering Review, omformuleringer Manuelt... Semi-automatisert... Automatisk Omformulering: DFD tekst 5. Kravtesting (4.4) Navn på prosess Inputs, kilder Navn på hver inn-flyt, og hvor denne kommer fra Selve transformasjonen Hva som gjøres for å konvertere inputs til outputs Outputs Navn på hver ut-flyt, og hvor denne går Kontrollflyt Evt unntaks- eller kontrollinformasjon som er inkludert i modellen Konkret eksempel: fig Betydning: Ikke å teste kravet (først mulig etter implementasjon) Men å vurdere om det er testbart......ved å foreslå mulige tester (test cases) Spørsmål Hvilket bruksscenario kan teste kravet? Inneholder kravet nok info til å definere test? En test nok, eller trengs flere? Kan kravet omformuleres så det blir klarere hva slags tester som er nødvendig? Problemer med å formulere test er symptom på problem med selve kravet 4 º

5 ¼ Rapportskjema for kravtesting Oppsummering Bør inneholde flg info: 1. Kravets ID 2. Relaterte krav (ref.) 3. Testbeskrivelse 4. Kravproblemer 5. Kommentarer, anbefalinger Noen krav er vanskelige å foreslå tester for 1. Systemkrav (dvs systemet som helhet) 2. Eksklusive krav (som sier hva som ikke skal skje) 3. Noen ikke-funksjonelle krav ½ F.eks. Pålitelighet, sikkerhet,... Har gått igjennom Hva krav-validering er Noen retningslinjer for god kravspek Noen teknikker for krav-validering Neste gang OO og krav 5»

DRIFTSANALYSER 2012/2013 FORELØBIGE RESULTATER

DRIFTSANALYSER 2012/2013 FORELØBIGE RESULTATER DRIFTSANALYSER FORELØBIGE RESULTATER A B C D E F C G H E I J K L B K F G K! " # $ %! & ' ( ) ( * + #, -! &!. & ) /! ( / ) - 0 1 - ' #.! ( ( * ' 1 2 ( (! 3 4 " (! - 5 6!! 7 % ' # 7 4 " (! - 1 2 # 7 4 8-1

Detaljer

Bolk om Kravspesifisering

Bolk om Kravspesifisering Bolk om Kravspesifisering Guttorm Sindre, IDI Læremål Forstå Hva en kravspesifikasjon er, og hva den bør inneholde? Hvorfor god kravspesifikasjon er viktig i IS - utviklingsprosjekter Hvordan man går fram

Detaljer

Målet med dette notatet er å dokumentere at det er funnet løsmasser ved grunnen og å dokumentere miljøgiftkonsentrasjonen i sedimentene.

Målet med dette notatet er å dokumentere at det er funnet løsmasser ved grunnen og å dokumentere miljøgiftkonsentrasjonen i sedimentene. NOTAT Oppdrag 1110630 Grunner Indre Oslofjord Kunde Kystverket Notat nr. 001 Dato 07.01.2015 Til Fra Kopi Kristine Pedersen-Rise Tom Øyvind Jahren [Navn] Sedimentundersøkelse ved Belgskjærbåen Kystverket

Detaljer

STRATEGOS B. Målskjema. Serie nr.: Bruker Navn: Adresse: Kontaktpersoner. E-post: E-post: Levering Avd. Bruker Annet: Adresse:

STRATEGOS B. Målskjema. Serie nr.: Bruker Navn: Adresse: Kontaktpersoner. E-post: E-post: Levering Avd. Bruker Annet: Adresse: STRATEGOS B Målskjema Kunde: Ordredato: Bestillings nr. (HMS): Serie nr.: Selger: Ordre nr.: Innkjøps nr. (Handicare): Bruker Navn: Adresse: Postnr.: Telefon (priv.): Mobil: Poststed: Telefon (arb.): E-post:

Detaljer

Handi-Lift EA7 Målskjema

Handi-Lift EA7 Målskjema Handi-Lift EA7 Målskjema Dato: Monteringsdato: Vår ref.: Bestillings nr.: Kunde (HMS): Utprøvingsnr.: Bruker Navn: Bruker nr.: Fødselsdato: Adresse: Postnr.: Poststed: Telefon (priv.): Telefon (arb.):

Detaljer

Godkjenning av møteinnkalling

Godkjenning av møteinnkalling ! " # $ % & ' ( ) * * + *, -. / 0 1 ) + * * ' - 2 2 + *, 3 " 4 3 5 4 " # 5! " # $ % & ' ( ) * * + *, -. 6 7 % 1 % ' % 2 2 8 7 - / 0 1 ) 5 3 4 3 " 4 " # 9 :! " # ; 7 + ) * 1 ) 7 + *, % / < - / / ) * < 2

Detaljer

Testobservator for kjikvadrattester

Testobservator for kjikvadrattester ST0202 Statistikk for samfunnsvitere Bo Lindqvist Institutt for matematiske fag 2 Kap. 11: Anvendelser av kjikvadratfordelingen: Kjikvadrattester Situasjon: Et tilfeldig utvalg av n individer er trukket

Detaljer

Målskjema. Serie nr.: Bruker Navn: Adresse: Kontaktpersoner. E-post: E-post: Levering Adresse:

Målskjema. Serie nr.: Bruker Navn: Adresse: Kontaktpersoner. E-post: E-post: Levering Adresse: Strategos B Målskjema Kunde: Selger: Ordredato: Ordre nr.: Bestillings nr. (HMS): Innkjøps nr. (Handicare): Serie nr.: Bruker Navn: Adresse: Postnr.: Poststed: Telefon (priv.): Telefon (arb.): Mobil: Kontaktpersoner

Detaljer

Handi-Lift EA7 Målskjema

Handi-Lift EA7 Målskjema Handi-Lift EA7 Målskjema Dato: Monteringsdato: Vår ref.: Bestillings nr.: Kunde (HMS): Utprøvingsnr.: Bruker Navn: Bruker nr.: Fødselsdato: Adresse: Postnr.: Poststed: Telefon (priv.): Telefon (arb.):

Detaljer

Tegn og tekst. Et representert tegn kan vises på flere måter. Noen definisjoner. Enda noen definisjoner. \yvind og ]se N{rb}? a a a.

Tegn og tekst. Et representert tegn kan vises på flere måter. Noen definisjoner. Enda noen definisjoner. \yvind og ]se N{rb}? a a a. o o {rb} rprr på r år o prpp rpro r r rr rpro o r o or α r o or bor brp or b rr på ppr r r r r r rrr år på o oroooro o r or o br å r r pår r r orør p o b b år r å r o o o rprrr o p o rprrr o or op r r

Detaljer

Perceived semantic. quality. Semantic quality. Syntactic. quality. guttens alder er grønn: gutt.alder = grønn

Perceived semantic. quality. Semantic quality. Syntactic. quality. guttens alder er grønn: gutt.alder = grønn Z \ W Y X [ E F G H I G J K L I M F N M O H P Q F R F J S H TUTVR O R S M R F! "! #%$ & '! %$ ( ) * ' & $ ' +,$ -,* ) & $ '%'. * / & 0 1 ' * 0' * 3 4, +65 Participant knowledge Physical Perceived semantic

Detaljer

Netlife Sans er vår egen skrifttype. Den inneholder alle de visuelle elementene til identiteten vår. Den er tegnet i fire vekter, med en egen vekt

Netlife Sans er vår egen skrifttype. Den inneholder alle de visuelle elementene til identiteten vår. Den er tegnet i fire vekter, med en egen vekt Netlife Sans er vår egen skrifttype. Den inneholder alle de visuelle elementene til identiteten vår. Den er tegnet i fire vekter, med en egen vekt for underlinjer. Netlife Sans Ligaturer www www Netlife

Detaljer

Godkjenning av møteinnkalling

Godkjenning av møteinnkalling ! "! # $ % & ' ( ) * * + *, -. / 0 1 ) + * * ' - 2 2 + *, 3 4 5 6 3 5! # 7! "! # $ % & ' ( ) * * + *, -. 8 9 % 1 % ' % 2 2 : 9 - / 0 1 )!! 5! 3 5! 4 ;! "! # < 9 + ) * 1 ) 9 + *,. ) & 9 5 % : : ) * 1 2

Detaljer

Offentlig utvalg for punktskrift, OUP Norsk standard for 8-punktskrift punktskrift 24. oktober 2004 sist endret

Offentlig utvalg for punktskrift, OUP Norsk standard for 8-punktskrift punktskrift 24. oktober 2004 sist endret Offentlig utvalg for punktskrift, OUP Norsk standard for 8-punktskrift punktskrift 24. oktober 2004 sist endret 19.10.2007 Desimal Hex Beskrivelse Tegnets utseende Punktkode 0 0000 4578

Detaljer

'f( '?jfj(f{) Pa vegne av styret i Lenningen L(Ilypelag. Til Andelseiere og sponsorer i Lenningen L0ypelag!

'f( '?jfj(f{) Pa vegne av styret i Lenningen L(Ilypelag. Til Andelseiere og sponsorer i Lenningen L0ypelag! Til Andelseiere og sponsorer i Lenningen L0ypelag! Det ble valgt et helt nytt styre i Lenningen L(Ilypelag pa Arsm(lltet 7 oktober i ar. Protokoll fra m(lltet f(lliger vedlagt. Det ble fremlagt et budsjett

Detaljer

Handi-Lift ML7 Målskjema

Handi-Lift ML7 Målskjema Handi-Lift ML7 Målskjema Dato: Monteringsdato: Vår ref.: Bestillings nr.: Kunde (HMS): Utprøvingsnr.: Salgsordre Tilbud Utprøving Resirkulering Bruker Navn: Bruker nr.: Fødselsdato: Adresse: Postnr.: Ordre

Detaljer

L ; D = B M B N I < G H = D = F C M E N < D ; <? ; < = H M = < F E < M B = B C O P E < E F D < Q K

L ; D = B M B N I < G H = D = F C M E N < D ; <? ; < = H M = < F E < M B = B C O P E < E F D < Q K $ ) $ * % +, - $ $ % + $ + $ * % $. $ / $ * $ $ 0 0 $ - 1, 2 $ 3 $ 0 4 /, 5 4 0 0 $ 0 $ 3. 0 6 $ $ 7. + $ - $ 8 + $ 9 : ; < = > < =? < ; @ A @? B C < C D = < E F G H = I F C D < JE < > < D E? H J< = :

Detaljer

PDF created with pdffactory Pro trial version

PDF created with pdffactory Pro trial version [ ² Ú»» ³»»² ¾ ²» ¹» ô Ì ± « Forord Ò ; ±¹ ²» ³«¹»» òòò [ ²»² ª ; µ«² ¹» ¼» º± îðïéô ¹ «²²»² ¼»»» ¼» µ±³³» ² ³³» ² º± ¾ ²» ¹» «¹«±³ ¹ ( ¼» ¾»²¼ ²¹»»²»» ; ²» ò Ê»² : ¼»» ª µ ¹ ±¾¾ ±¹ ¼»² µ ª º± ª» ¹±¼ ò

Detaljer

Kravspesifisering (4): Use Cases. Hvorfor passer use cases til krav? Tema / læremål. Gjettekonkurranse: Hva er det mest fundamentale.

Kravspesifisering (4): Use Cases. Hvorfor passer use cases til krav? Tema / læremål. Gjettekonkurranse: Hva er det mest fundamentale. Tema / læremål Use cases Hva er en use case? Hvorfor passer use cases til kravspesifisering? Mens OO- eller prosessmodellering ikke gjør det...? Use case diagrammer (kort repetisjon) Tekstlige use cases

Detaljer

Dagens tema: INF2100. Utvidelser av Minila array-er. tegn og tekster. Flass- og Flokkode. prosedyrer. Prosjektet struktur. feilhåndtering.

Dagens tema: INF2100. Utvidelser av Minila array-er. tegn og tekster. Flass- og Flokkode. prosedyrer. Prosjektet struktur. feilhåndtering. Dagens tema: Utvidelser av Minila array-er tegn og tekster Flass- og Flokkode array-er prosedyrer Prosjektet struktur feilhåndtering del 0 Dag Langmyhr,Ifi,UiO: Forelesning 6. september 2005 Ark 1 av 19

Detaljer

Godkjenning av møteinnkalling

Godkjenning av møteinnkalling ! " # $ % & ' ( ( ) ( * +, -. / ' ) ( ( % + 0 0 ) ( * 1! 2 2! 3! " # $ % & ' ( ( ) ( * +, 4 5 # / # % # 0 0 6 5 + -. / ' 1 2 7 8 2! 9 1!! : ), ) 0 # - ; < $ = - + ( ( ' ( = < / 5 ' $ ( ) ( * +, 4 ' 5 =

Detaljer

GJENNOMGANG UKESOPPGAVER 9 TESTING

GJENNOMGANG UKESOPPGAVER 9 TESTING GJENNOMGANG UKESOPPGAVER 9 TESTING INF1050 V16 KRISTIN BRÆNDEN 1 A) Testing viser feil som du oppdager under kjøring av testen. Forklar hvorfor testing ikke kan vise at det ikke er flere gjenstående feil.

Detaljer

PDF created with pdffactory Pro trial version

PDF created with pdffactory Pro trial version [ ² Ú»» ³»»² ¾ ²» ¹» ô λ¹²¾² Forord Ü»²²» ²»² ¹» ¼» º ²«¼»»³¾» îðïéò a» ª ¼»»» ô ª ¼» ¾»² ² ³³» ² º± ¾ ²» ¹»²ò Ü»²²» µ ª ¾ «µ» ¼ ¾ ¹±¼ µ»² ³»¼ô ±¹ îðïè ª ²² ± ¼» ¼»²²» ªb» ³»¼»¹» ²»² ª ò»»³¾» îðïê ¼¼»

Detaljer

GJENNOMGANG UKESOPPGAVER 2 PROSESSMODELLER OG SMIDIG PROGRAMVAREUTVIKLIG

GJENNOMGANG UKESOPPGAVER 2 PROSESSMODELLER OG SMIDIG PROGRAMVAREUTVIKLIG GJENNOMGANG UKESOPPGAVER 2 PROSESSMODELLER OG SMIDIG PROGRAMVAREUTVIKLIG INF1050 V16 HVA ER EN SYSTEMUTVIKLINGSPROSESS? De aktivitetene som utføres for å utvikle et IT-system Eksempler på aktiviteter:

Detaljer

Tegn og tekst. Om tegn og glyfer. Tegnkoder og kodetabeller Kode Noe som representerer noe annet. Et representert tegn kan vises på flere måter

Tegn og tekst. Om tegn og glyfer. Tegnkoder og kodetabeller Kode Noe som representerer noe annet. Et representert tegn kan vises på flere måter r s s {rb} ærb p br brp r bs srr på ppr sr sr ss r r r rrr år på s s s sr rr s ss r r s brs å sr r pår rss r rør sp b b år rss å r s s s rprsr ss på r år prspp rprss r rs rr rprss r s r α r s r br s rprsrr

Detaljer

PDF created with pdffactory Pro trial version

PDF created with pdffactory Pro trial version [ ² Ú»» ³»»² ¾ ²» ¹» ô ß«¹»²¼ ¼»² Forord Ÿ ² îðïé ¹»² ¾» µ ª»» ª ¾ ²» ¹»² ±»ô»»² ±² ª ¾ ²» ¹»²ô µ µ» ± ² ²¹» ±¹ ª»¼ ¹±¹ µ» ¾» ¼ò Ð ² ¾» ¼» ¾ ²» ¹»²» ¾ ¹¹» ± ºa ¹»²¼» ³»æ ó Î ³³» ² º± ¾ ²» ¹»² ²² ± ¼ ±¹

Detaljer

Innkalling er sendt til: Namn Funksjon Representerer

Innkalling er sendt til: Namn Funksjon Representerer Fitjar kommune Møteinnkalling Utval: Eldrerådet Møtestad: Møterom 2. etasje, Fitjar rådhus Dato: 29.10.2018 Tid: 11:00 Grunngjeve forfall vert å melda til kundetorget på tlf 53 45 85 00, som syt for innkalling

Detaljer

Innkalling er sendt til: Namn Funksjon Representerer

Innkalling er sendt til: Namn Funksjon Representerer Fitjar kommune Møteinnkalling Utval: Råd for funksjonshemma Møtestad: Møterom 2. etasje, Fitjar rådhus Dato: 08.04.2019 Tid: 14:00 Grunngjeve forfall vert å melda til kundetorget på tlf 53 45 85 00, som

Detaljer

Validering og verifisering. Kirsten Ribu

Validering og verifisering. Kirsten Ribu Validering og verifisering Kirsten Ribu 2005 1 I dag Validering og verifisering Inspeksjon Testing 2 Noen ord om prosjektet Sjekk kurssidene jevnlig. Endringer forekommer (forelesningsplanen) Hvordan fungerer

Detaljer

ﺪ ﻩ ﻋﺍ ﻮﹶ ﻭ ﻗ ﻪ ﹾﻘ ﹾﻟ ﻔ ﺍ ﹺﻝ ﻮ ﹸﺃ ﺻ ﹸ ﻣ ﺔ ﻮﹸ ﻈ ﻣ ﻨ $ ﺡﺮﺷ! " ' (# $% & )*! +,!* -

ﺪ ﻩ ﻋﺍ ﻮﹶ ﻭ ﻗ ﻪ ﹾﻘ ﹾﻟ ﻔ ﺍ ﹺﻝ ﻮ ﹸﺃ ﺻ ﹸ ﻣ ﺔ ﻮﹸ ﻈ ﻣ ﻨ $ ﺡﺮﺷ!  ' (# $% & )*! +,!* - م ن ة ظو م ل ا ا ل صو ق ف ه و ع وا ق و ه د $ شرح ٢ الا ول] [الدرس :$, : $ $, : ; $, موقع التف ري غ للدرو س الع لمية والبحوث الشرعي ة Ï Î Í Ì ٣,,,,,, : :, :,, :,, : $,,,,,, : :,, :,,:ÑÐ, :,,,, :,, :,,,,,,,,

Detaljer

Oversikt over forelesningen. DFD sentrale konsepter. Intro til Dataflytdiagrammer (DFD) Marakas, kap. 5

Oversikt over forelesningen. DFD sentrale konsepter. Intro til Dataflytdiagrammer (DFD) Marakas, kap. 5 1 2 Oversikt over forelesningen Institutt for datateknikk og informasjonsvitenskap Guttorm Sindre Intro til Dataflytdiagrammer (DFD) Marakas, kap. 5 DFD, intro Sentrale konsept Diagramnotasjon, dialekter

Detaljer

Efficiency, Integrity, Reliability, Surviveability, Usability. Correctness, Maintainability, Verifiability

Efficiency, Integrity, Reliability, Surviveability, Usability. Correctness, Maintainability, Verifiability "! # $ & ' )()# * +, -. / 0 1-2 3 4 56 7 1-8 6 3 3-1 99 : 6 ; 9 < 9= >? > @ A 6 / 5-1 8-1 3 B 6 1 = A 9 >? C D? 6 E6-2 < F 4 F GH +! # + I # + $ $ J $ KML N O P Q R Q S P Q T U N O VWX Q X Y Z Opprinnelig

Detaljer

Business modelling is not process modelling Gordijn/Akkermans/van Vliet. : Den fysiske ytring med kontekst og referanse

Business modelling is not process modelling Gordijn/Akkermans/van Vliet. : Den fysiske ytring med kontekst og referanse ! " # %$%& ' " ( ) * ) * + " #, -. / 0 1-2 3 4 56 7 1-8 6 3 3-1 99 : 6 ; 9 < 9= >? > @ A 6 / 5-1 8-1 3 B 6 1 = A 9 >? C D E# ) " + & # F & ) " ( G? H I6. H / ; I 5/ 2 3 4 6-1 5 Boka kap 2.2.7 Language,

Detaljer

Î Ö ØØ Ò Ú Ö

Î Ö ØØ Ò Ú Ö Î Ö ØØ Ò Ú Ö Ò Ø Ø Ò ÓÒ Ö ÆÆÎ Ñ ØÓ Ò Ú Ò ÑÓ ÐÐ Ò Î Ø Ú Ò Ò ÙÖ Ó Ò ÓÖÑ ÓÒ Ø Ô Ö Ò ÓÒ Ö Ò Ô Ø Ð = ÙÖ ÒØ ÐÐ Öµ ¼ = Ë ¼ ÒØ ÐÐ Öµ ½µ Ö Ø Ö ÙÐØ Ø ÔÖº ÈË ÖÒ Ò Ô Ö Ö µ ÈË Ø = Ö Ø Ö ÙÐØ Ø Ø ÒØ ÐÐ Ö Ø ¾µ ÈÖ ¹ ÖÒ

Detaljer

Tom Heine Nätt og Christian F. Heide. Datasikkerhet

Tom Heine Nätt og Christian F. Heide. Datasikkerhet Tom Heine Nätt og Christian F. Heide Datasikkerhet KAPITTEL 1! " # $ % & ' & ( ) * + *, & - * '. ' / 0. + 1 ' 2 ) 3 & ( 4 5 6 7 6 8 9 : ; < = 8 9 > 7? > @ ) A (. ),. 1 ( A,, 1 ( & B C D E C - F, *, D.

Detaljer

USER GUIDE. RRD Silencioso

USER GUIDE. RRD Silencioso USER GUIDE RRD Silencioso!"#$%&'()*+, -,,$.//01$02$%&'()*+,3()4 USER GUIDE 56789:;?@ =9=8 :?B69C>=:6? >D 9EFG:9E@ ii USER GUIDE H IJKLMNOPKQMJRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRS

Detaljer

Prototyping og kommunikasjon med brukere

Prototyping og kommunikasjon med brukere Inf 1510: Bruksorientert design Prototyping og kommunikasjon med brukere 04.04.2016, Rune Rosseland Oversikt Brukerinvolvering Hva er brukerens motivasjon for å bidra? Hva skal brukerens rolle være? Hvordan

Detaljer

Læringsmål og pensum. Utvikling av informasjonssystemer. Oversikt. Systemutvikling Systemutvikling i seks faser Femstegs prosedyre for programmering

Læringsmål og pensum. Utvikling av informasjonssystemer. Oversikt. Systemutvikling Systemutvikling i seks faser Femstegs prosedyre for programmering 1 2 Læringsmål og pensum TDT4110 Informasjonsteknologi grunnkurs: Uke 38 Utvikling av informasjonssystemer Læringsmål Kunne seks faser for systemanalyse og design Kunne femstegs prosedyre for programmering

Detaljer

Uttrykkskraft for konseptuelle modelleringsspråk Metamodellering, ontologi

Uttrykkskraft for konseptuelle modelleringsspråk Metamodellering, ontologi !#" $ % & ' () * + + %, -!. / 0 1 2 3 / 4 5 7 8 9 3 / : 8 5 5 / 3 ; ; < 8 = ; > ;? @ A @ B C 8 1 7 / 3 : / 3 5 D 8 3? C ; @ A E F GH % ", ' H %JI ' "K () LM / 7 < N 5 O / 1 : / 3 P 8 N P / = 8 Q Q8 3 7

Detaljer

Unicode. Unikt vakkert eller unisont håpløst? En vandring gjennom tegnkodingens historie. Dag Lamgmyhr, Ifi/UiO Ark 1 av 23

Unicode. Unikt vakkert eller unisont håpløst? En vandring gjennom tegnkodingens historie. Dag Lamgmyhr, Ifi/UiO Ark 1 av 23 Unicode Unikt vakkert eller unisont håpløst? En vandring gjennom tegnkodingens historie Dag Lamgmyhr, Ifi/UiO Ark 1 av 23 Hva er tegnkoding? Tegnkoding er bare å definere en tabell over hvilke tegn man

Detaljer

Dagens tema INF1070. Vektorer (array er) Tekster (string er) Adresser og pekere. Dynamisk allokering

Dagens tema INF1070. Vektorer (array er) Tekster (string er) Adresser og pekere. Dynamisk allokering Dagens tema Vektorer (array er) Tekster (string er) Adresser og pekere Dynamisk allokering Dag Langmyhr,Ifi,UiO: Forelesning 23. januar 2006 Ark 1 av 23 Vektorer Alle programmeringsspråk har mulighet til

Detaljer

P ² Ö³, ƒ. ƒ μ² 1,. ƒô Ï,. Ô² Ô ³ 2. ƒ ŒŒ - Š ˆ ˆ ƒ ˆ Ÿ. ˆ Š œš ˆ ƒ. ƒ Š. ² μ Ê ² μ ± Ö ² μ Éμ Ö

P ² Ö³, ƒ. ƒ μ² 1,. ƒô Ï,. Ô² Ô ³ 2. ƒ ŒŒ - Š ˆ ˆ ƒ ˆ Ÿ. ˆ Š œš ˆ ƒ. ƒ Š. ² μ Ê ² μ ± Ö ² μ Éμ Ö P18-2007-163. ² Ö³, ƒ. ƒ μ² 1,. ƒô Ï,. Ô² Ô ³ 2 Œ Œ ƒ Œ ƒ ƒ ŒŒ - Š ˆ ˆ ƒ ˆ Ÿ ˆŸ ˆŸ ˆ Š œš ˆ ƒ ˆŸ Œ ƒ Š ƒ Š ² μ Ê ² μ ± Ö ² μ Éμ Ö 1 É Ö ÒÌ ² μ Œμ μ²ó ±μ μ μ Ê É μ μ Ê - É É, ² - Éμ 2 ƒμ μ-μ μ É É ²Ó Ò

Detaljer

Notater: INF1510. Veronika Heimsbakk 20. mai 2015

Notater: INF1510. Veronika Heimsbakk 20. mai 2015 Notater: INF1510 Veronika Heimsbakk veronahe@ifi.uio.no 20. mai 2015 Innhold 1 Bruk 3 1.1 Begrepet «bruk»......................... 3 1.2 Begrepet «behov»........................ 3 1.2.1 Maslows behovspyramide................

Detaljer

Læringsplattform for IT-fag basert på HTML5 utviklet i CakePhp

Læringsplattform for IT-fag basert på HTML5 utviklet i CakePhp Læringsplattform for IT-fag basert på HTML5 utviklet i CakePhp { En selvstendig plattform som kan brukes til å formidle kurs på nett med dagsaktuell teknologi. Oppgave 5, av Fredrik Johnsen Oppgavestiller

Detaljer

ST0202 Statistikk for samfunnsvitere

ST0202 Statistikk for samfunnsvitere ST0202 Statistikk for samfunnsvitere Bo Lindqvist Institutt for matematiske fag 2 Kap. 11: Anvendelser av kjikvadratfordelingen: Kjikvadrattester Situasjon: Et tilfeldig utvalg av n individer er trukket

Detaljer

I# w ,F3<#""" wxy2t {r u v$ 0 Y 4 } ~ Â ` - é$8 UX#' ] d Ñ \ ] J. I \ ] O,+R:,!" {%O DM%M5#' ] J*CO!

I# w ,F3<# wxy2t {r u v$ 0 Y 4 } ~ Â ` - é$8 UX#' ] d Ñ \ ] J. I \ ] O,+R:,! {%O DM%M5#' ] J*CO! !!"1!6"! 2! '1! &8!& & $& & & W>XY W>6 ()W>$ - / (3 JHH H 2 2 + / ( 3< / > / :("82 / B $ )! / 2 2 +("82 P/C ) " / ("82 C8 / $& / ("82 /' ) " / ("82 E ) * + / (" 82 / '? " ("82 )*+ / ("82W $ J( /' / JH

Detaljer

Alle har en kreativ muskel

Alle har en kreativ muskel KREATIVITET «Skape noe nytt som gir en reell merverdi til sluttbrukere» Innovasjonskurs NTNU, 1999-2001 Alle har en kreativ muskel Naturgitte evner - og trening 2007 2015 2018 UVWX YU Z[\WX]!!" # $% %#

Detaljer

Kravspesifikasjon med UML use case modellering. Erik Arisholm 25.02.2009

Kravspesifikasjon med UML use case modellering. Erik Arisholm 25.02.2009 Kravspesifikasjon med UML use case modellering Erik Arisholm 25.02.2009 Unified Modeling Language (UML) Notasjon som støtter opp under modellbasert systemutvikling objektorientert analyse ( hva systemet

Detaljer

Kravspek: Mål-orientering

Kravspek: Mål-orientering Kravspek: Mål-orientering Guttorm Sindre, IDI Mål-orientert kravmodellering Utgangspunkt: mål (som er mer abstrakt enn krav) F.eks forretningsmål for organisasjonen Fokuserer på HVORFOR et system skal

Detaljer

Kirsten Ribu

Kirsten Ribu Validering og verifisering Kirsten Ribu 03.03.04 1 I dag Validering og verifisering Prototyping Inspeksjon Testing 2 Validering og verifisering Å sørge for at et datasystem tilfredsstiller brukerens behov

Detaljer

Kravhåndtering. INF1050: Gjennomgang, uke 03

Kravhåndtering. INF1050: Gjennomgang, uke 03 Kravhåndtering INF1050: Gjennomgang, uke 03 Kompetansemål Kravhåndtering Anvende metoder og teknikker for å Innhente / Analysere / Spesifisere krav Ulike typer krav Funksjonelle krav Ikke-funksjonelle

Detaljer

Systemutvikling (Software Engineering) TDT 4110 IT Grunnkurs Professor Guttorm Sindre

Systemutvikling (Software Engineering) TDT 4110 IT Grunnkurs Professor Guttorm Sindre Systemutvikling (Software Engineering) TDT 4110 IT Grunnkurs Professor Guttorm Sindre Læringsmål og pensum Mål Lære å lage større og sammensatte programmer Pensum Pythonboka kap. 1-9, 12 Teorikapitlet

Detaljer

C C H. Forklar trippelbindingen ved betraktning av hybridisering av karbonatomene og atom- og molekylorbitaler.

C C H. Forklar trippelbindingen ved betraktning av hybridisering av karbonatomene og atom- og molekylorbitaler. P! #" %$& & &')(%* " -*..0/.2.3547683:9- ;7? @>; 4AA. B;.!/ 6 ; - BEF %G 6 >A 6.0IJ!/ K MLN.?QP)R7SUTATVAẄ YX >Z0 7? J[!A 62\ ] L.?QP^RBSUTBV`_aWYR +$ bdcfegihbdk lmelyno^p)orq ctsbdhle!c nvuwe!lycxc

Detaljer

Vektorer. Dagens tema. Deklarasjon. Bruk

Vektorer. Dagens tema. Deklarasjon. Bruk Dagens tema Dagens tema Deklarasjon Vektorer Vektorer (array-er) Tekster (string-er) Adresser og pekere Dynamisk allokering Alle programmeringsspråk har mulighet til å definere en såkalte vektor (også

Detaljer

Digitale ferdigheter og digital dømmekraft Voksenopplæring Buskerud 16. august 2016

Digitale ferdigheter og digital dømmekraft Voksenopplæring Buskerud 16. august 2016 Digitale ferdigheter og digital dømmekraft Voksenopplæring Buskerud 16. august 2016 Min plan for dagen Hva er digital kompetanse og hvorfor er det så viktig? Digitale verktøy og ressurser Digital klasseledelse

Detaljer

Tom Røise 9. Februar 2010

Tom Røise 9. Februar 2010 Forelesning IMT2243 9. Februar 2010 Tema : Kravspesifisering : prosessen og produktet Viewpoint en myk tilnærming Pensum : Kap. 6 og 7 i Sommerville, Kravspesifisering Kravspesifisering = arbeidet med

Detaljer

Lage større programmer (Python, relatert til teoridelen om Software Engineering ) TDT 4110 IT Grunnkurs Professor Guttorm Sindre

Lage større programmer (Python, relatert til teoridelen om Software Engineering ) TDT 4110 IT Grunnkurs Professor Guttorm Sindre Lage større programmer (Python, relatert til teoridelen om Software Engineering ) TDT 4110 IT Grunnkurs Professor Guttorm Sindre Læringsmål og pensum Mål Lære å lage større og sammensatte programmer Kunne

Detaljer

LED arbeidslys. Katalog Kontakt: Rakkestad Stavanger Side 1 12/02/17

LED arbeidslys. Katalog Kontakt: Rakkestad Stavanger Side 1 12/02/17 LED arbeidslys Katalog 2017 www.kamled.no post@kamled.no Kontakt: Rakkestad 97660606 - Stavanger 91390246 Side 1 12/02/17 LRD2137 og LRD2138 LED arbeidslys Arbeidslys med plastbrakett Godkjenninger: CE,

Detaljer

Presentasjon 1, Requirement engineering process

Presentasjon 1, Requirement engineering process Presentasjon 1, Requirement ing process Prosessodeller Hvorfor bruke prosessmodeller? En prosessmodell er en forenklet beskrivelse av en prosess En prosessmodell er vanligvis lagd ut fra et bestemt perspektiv

Detaljer

Design, protoyping og konstruksjon. INF 1500; introduksjon 9l design, bruk og interaksjon 4 oktober 2010

Design, protoyping og konstruksjon. INF 1500; introduksjon 9l design, bruk og interaksjon 4 oktober 2010 Design, protoyping og konstruksjon INF 1500; introduksjon 9l design, bruk og interaksjon 4 oktober 2010 Oversikt Prototyping og konstruksjon Konseptuel design Fysisk design Generere protoyper Verktøy støfe

Detaljer

Tegn og tekst. Posisjonssystemer. Logaritmer en kort repetisjon. Bitposisjoner og bitmønstre. Kapittel August 2008

Tegn og tekst. Posisjonssystemer. Logaritmer en kort repetisjon. Bitposisjoner og bitmønstre. Kapittel August 2008 Posisjonssystemer 10 5 (100 000) 10 4 (10 000) 10 3 (1 000) 10 2 (100) 10 1 (10) 10 0 (1) Tegn og tekst \yvind og ]se N{rb}? 2 7 (128) 2 6 (64) 2 5 (32) 2 4 (16) 2 3 (8) 2 2 (4) 2 1 (2) 2 0 (1) Kapittel

Detaljer

VEDLEGG 1 KRAVSPESIFIKASJON

VEDLEGG 1 KRAVSPESIFIKASJON VEDLEGG 1 KRAVSPESIFIKASJON INNHOLDSFORTEGNELSE Forord... 2 1 Systembeskrivelse... 2 2 Mål for systemet... 3 3 Funksjonelle krav... 4 4 Ikke-funksjonelle krav... 5 5 Use-case diagram... 6 6 Rammekrav...

Detaljer

Prototyping. TDT4180, vår Yngve Dahl IDI, NTNU NTNU

Prototyping. TDT4180, vår Yngve Dahl IDI, NTNU NTNU Prototyping TDT4180, vår 2017 Yngve Dahl IDI, NTNU NTNU Hva er prototype? En forenklet representasjon av en designløsning. KonkreAsering av design-idéer. Verktøy for tesang og gjenstand for Albakemelding

Detaljer

Forord. Det er i kostnadsberegningen ikke tatt med kostnader til grunnerverv, VA og elektro. Antatt kostnad fra fv. 155 Osloveien er 1,6 mill.

Forord. Det er i kostnadsberegningen ikke tatt med kostnader til grunnerverv, VA og elektro. Antatt kostnad fra fv. 155 Osloveien er 1,6 mill. Forord Det er i kostnadsberegningen ikke tatt med kostnader til grunnerverv, VA og elektro. Antatt kostnad fra fv. 155 Osloveien er 1,6 mill. kr Antatt kostnad alternativ vei er 8.38 mill. kr Kvernstua

Detaljer

"!$#&%(' )*+%,"-. / 0&1,1,2&3,34 1,576 PORQRSTPU OV W STRX 8:9;9=< E,F G H I J&K,K,F&E,EC K,L7M. Y Z[RY \;]^R_a` b \cdy e;fgzy hre;f

!$#&%(' )*+%,-. / 0&1,1,2&3,34 1,576 PORQRSTPU OV W STRX 8:9;9=< E,F G H I J&K,K,F&E,EC K,L7M. Y Z[RY \;]^R_a` b \cdy e;fgzy hre;f $FF..H0VV 88 5#H0T6X:rHW9H0V8 PORQRSTPU OV W STRX Y Z[RY \;]^R_a` b \cdy e;fgzy hre;f "!$#&%(' )*+%,"-. / 0&1,1,2&3,34 1,576 8:9;9=< >?@?(ABABADC E,F G H I J&K,K,F&E,EC K,L7M Â Í Access - Les requêtes

Detaljer

GJENNOMGANG UKESOPPGAVER 7 REPETISJON

GJENNOMGANG UKESOPPGAVER 7 REPETISJON GJENNOMGANG UKESOPPGAVER 7 REPETISJON INF1050 V16 KRISTIN BRÆNDEN DAGENS TEMA Oppgaver hentet fra tidligere eksamensoppgaver om temaene vi har gått gjennom til nå DAGENS PLAN Gjennomgang av oppgaver Repetisjon

Detaljer

Kravspesifisering (5): Use Cases, forts. 1.1 identifiser/oppsummer hver u.c. Tema / læremål. 1. Del opp i detaljerte use cases

Kravspesifisering (5): Use Cases, forts. 1.1 identifiser/oppsummer hver u.c. Tema / læremål. 1. Del opp i detaljerte use cases Tema / læremål Hvordan skrive gode tekstlige use cases? Primært basert på P12 kap 5: The Filled Iteration 1. Del opp i detaljerte use cases 2. Lag fylte (filled) use cases 3. Samle og dokumentere ikke-funksjonelle

Detaljer

Modellering av krav. INF1050: Systemutvikling 11. februar 2015. Universitetslektor Yngve Lindsjørn

Modellering av krav. INF1050: Systemutvikling 11. februar 2015. Universitetslektor Yngve Lindsjørn INF1050: Systemutvikling 11. februar 2015 Modellering av krav Universitetslektor Yngve Lindsjørn INF1050 ->Systemutvikling-> Modellering av krav / Yngve Lindsjørn 1 Temaer i dagens forelesning Modellering

Detaljer

Modellering av krav. INF1050: Systemutvikling 07. februar Førstelektor Yngve Lindsjørn

Modellering av krav. INF1050: Systemutvikling 07. februar Førstelektor Yngve Lindsjørn INF1050: Systemutvikling 07. februar 2017 Modellering av krav Førstelektor Yngve Lindsjørn INF1050 ->Systemutvikling-> Modellering av krav / Yngve Lindsjørn 1 Temaer i dagens forelesning Modellering av

Detaljer

Dagens tema. C-programmering. Nøkkelen til å forstå C-programmering ligger i å forstå hvordan minnet brukes.

Dagens tema. C-programmering. Nøkkelen til å forstå C-programmering ligger i å forstå hvordan minnet brukes. Dagens tema C-programmering Nøkkelen til å forstå C-programmering ligger i å forstå hvordan minnet brukes. Adresser og pekere Parametre Vektorer (array-er) Tekster (string-er) Hvordan ser minnet ut? Variabler,

Detaljer

Livsløpstesting av IT-systemer

Livsløpstesting av IT-systemer Livsløpstesting av IT-systemer Testing, validering og evaluering Teste Undersøke ved hjelp av tester om systemet fungerer slik det er beskrevet Validere Bekrefte hvordan systemet virkelig fungerer, om

Detaljer

Kvalitetskrav til løsninger

Kvalitetskrav til løsninger Prosjektoppgaven Kvalitetskrav til løsninger Noen retningslinjer for å styre beslutningene deres finnes i form av hva brukere forlanger av software (og hardware): Brukbarhet. - Produktet skal være selvforklarende

Detaljer

Innkalling er sendt til: Namn Funksjon Representerer Arvid Ole Refvik

Innkalling er sendt til: Namn Funksjon Representerer Arvid Ole Refvik Fitjar kommune Møteinnkalling Utval: Eldrerådet Møtestad: Møterom 2. etg., Fitjar rådhus Dato: 20.05.2019 Tid: 11:00 Grunngjeve forfall vert å melda til kundetorget på tlf 53 45 85 00, som syt for innkalling

Detaljer

SAKSLISTE SIGDAL KOMMUNE

SAKSLISTE SIGDAL KOMMUNE SAKSLISTE SIGDAL KOMMUNE Styre/råd/utvalg: Eldrerådet Møtested: Kommunestyresalen Møtedato: 03.03.2015 Tid: 14:00 Det innkalles med dette til møte i Eldrerådet Saker til behandling: Saksnr. Arkivsaksnr.

Detaljer

ÒÒÓÙÒ Ö Ñ Û Ø Ö Ù Ò ÝÐ ØØ Ò ÝÒ ÖÓÒ Þ ÌÖ Ò Ø ÓÒ ØÓÛ Ö Ø ÙÒ Ð Ø Ö Ð Ô Ö ÒØ Ö Þ Ö ÒØ º Ö Þ Ò ºÞ ÒØ Ö ÓÖ ÓÒÓÑ Ê Ö Ò Ö Ù Ø Ù Ø ÓÒ Ó ÖÐ ÍÒ Ú Ö ØÝ Þ Æ Ø ÓÒ Ð

ÒÒÓÙÒ Ö Ñ Û Ø Ö Ù Ò ÝÐ ØØ Ò ÝÒ ÖÓÒ Þ ÌÖ Ò Ø ÓÒ ØÓÛ Ö Ø ÙÒ Ð Ø Ö Ð Ô Ö ÒØ Ö Þ Ö ÒØ º Ö Þ Ò ºÞ ÒØ Ö ÓÖ ÓÒÓÑ Ê Ö Ò Ö Ù Ø Ù Ø ÓÒ Ó ÖÐ ÍÒ Ú Ö ØÝ Þ Æ Ø ÓÒ Ð ÒÒÓÙÒ Ö Ñ Û Ø Ö Ù Ò ÝÐ ØØ Ò ÝÒ ÖÓÒ Þ ÌÖ Ò Ø ÓÒ ØÓÛ Ö Ø ÙÒ Ð Ø Ö Ð Ô Ö ÒØ Ö Þ Ö ÒØ º Ö Þ Ò ºÞ ÒØ Ö ÓÖ ÓÒÓÑ Ê Ö Ò Ö Ù Ø Ù Ø ÓÒ Ó ÖÐ ÍÒ Ú Ö ØÝ Þ Æ Ø ÓÒ Ð Ò ½ Ù Ù Ø ¾ ¾¼¼ ½ Ì Ú Û ÜÔÖ Ö Ö ÑÝ ÓÛÒ Ò Ó ÒÓØ Ò Ö

Detaljer

IN 147 Program og maskinvare

IN 147 Program og maskinvare Dagens tema Mer om C Et eksempel til (med diverse forklaringer) Representasjon av tegn og logiske verdier Vektorer Statusverdi Innhenting av definisjoner Inkrementering og dekrementering av variable for-setningen

Detaljer

Ã Ô ½ Ë Ð Ô Ø Ô Ø Ð ØÖÙ ØÙÖ

Ã Ô ½ Ë Ð Ô Ø Ô Ø Ð ØÖÙ ØÙÖ Ã Ô ½ Ë Ð Ô Ø Ô Ø Ð ØÖÙ ØÙÖ Ò Ø Ø Ê ÒØ ØØ ÓÖ Ð Ò Î Ö Ò Ú Ö ÒØ ØØ ÓÖ Ð Ò Ê Ô Ø Ð Ö Ò ÓÖ Ò ÓÔÔ ÊË È Ö ÓÒ ØØ Ö ÌÓÐ ØÒ Ò ÇÔØ Ñ Ð Ô Ø Ð ØÖÙ ØÙÖ Ñ ØØ Ö Ê ÒØ ØØ ÓÖ Ð Ò Ø ÐØ Ö ÒØ Ö Ö Ö ÒØ Ö Ö Á ÓÐ ÖØ Ö ØØ Ø Ò

Detaljer

Datamaskinen LC-2. Dagens tema. Tall i datamaskiner Hvorfor kan LC-2 lagre tall i intervallet ? Hvorfor er det akkurat celler i lageret?

Datamaskinen LC-2. Dagens tema. Tall i datamaskiner Hvorfor kan LC-2 lagre tall i intervallet ? Hvorfor er det akkurat celler i lageret? Dagens tema Datamaskinen LC-2 En kort repetisjon Binære tall Litt om tallsystemer generelt Binære tall Heksadesimale og oktale tall Programmering av LC-2 Maskinkode Assemblerkode Kjøring av LC-2-programmer

Detaljer

Dagens tema. Datamaskinen LC-2 En kort repetisjon. Binære tall Litt om tallsystemer generelt. Binære tall. Heksadesimale og oktale tall

Dagens tema. Datamaskinen LC-2 En kort repetisjon. Binære tall Litt om tallsystemer generelt. Binære tall. Heksadesimale og oktale tall Dagens tema Datamaskinen LC-2 En kort repetisjon Binære tall Litt om tallsystemer generelt Binære tall Heksadesimale og oktale tall Programmering av LC-2 Maskinkode Assemblerkode Kjøring av LC-2-programmer

Detaljer

GJENNOMGANG OBLIGATORISK OPPGAVE 1

GJENNOMGANG OBLIGATORISK OPPGAVE 1 GJENNOMGANG OBLIGATORISK OPPGAVE 1 INF1050 V16 KRISTIN BRÆNDEN 1 Systemet for utleie av markasykler ønsker a benytte seg av en eksisterende betalingsløsning, og valget har falt pa det samme betalingssystemet

Detaljer

DRI2001 h04 - Forelesning Systemutvikling og nettsteder

DRI2001 h04 - Forelesning Systemutvikling og nettsteder Systemutvikling utvikling av offentlig nettsteder DRI2001 forelesning 20.10 Litt om eksperimentell systemutvikling og prototyping Systemutviklingsprosessene og utvikling av [offentlige] nettsteder Fasene

Detaljer

Ì ÊÁË ÈÖÓ Ö Ñ ÜÔÐÓÖ Ö Ë ÓÒ ËØ ØÙ Ê ÔÓÖØ ÏÓÐ Ò Ë Ö Ò Ö ÏÓÐ Ò ºË Ö Ò ÖÖ º Ùº Ø Ê Ö ÁÒ Ø ØÙØ ÓÖ ËÝÑ ÓÐ ÓÑÔÙØ Ø ÓÒ ÊÁË µ ÂÓ ÒÒ Ã ÔÐ Ö ÍÒ Ú Ö ØÝ Ä ÒÞ Ù ØÖ

Ì ÊÁË ÈÖÓ Ö Ñ ÜÔÐÓÖ Ö Ë ÓÒ ËØ ØÙ Ê ÔÓÖØ ÏÓÐ Ò Ë Ö Ò Ö ÏÓÐ Ò ºË Ö Ò ÖÖ º Ùº Ø Ê Ö ÁÒ Ø ØÙØ ÓÖ ËÝÑ ÓÐ ÓÑÔÙØ Ø ÓÒ ÊÁË µ ÂÓ ÒÒ Ã ÔÐ Ö ÍÒ Ú Ö ØÝ Ä ÒÞ Ù ØÖ Ì ÊÁË ÈÖÓ Ö Ñ ÜÔÓÖ Ö Ë ÓÒ ËØ ØÙ Ê ÔÓÖØ ÏÓ Ò Ë Ö Ò Ö ÏÓ Ò ºË Ö Ò ÖÖ º Ùº Ø Ê Ö ÁÒ Ø ØÙØ ÓÖ ËÝÑ Ó ÓÑÔÙØ Ø ÓÒ ÊÁË µ ÂÓ ÒÒ Ã Ô Ö ÍÒ Ú Ö ØÝ Ä ÒÞ Ù ØÖ ØØÔ»»ÛÛÛºÖ º Ùº Ø ÏÓ Ò Ë Ö Ò Ö ØØÔ»»ÛÛÛºÖ º Ùº Ø ½»½ Ó Ò

Detaljer

Grunnleggende testteori

Grunnleggende testteori 1 Grunnleggende testteori Error-Fault-Failure 2 Error : når en programmerer koder feil eller utelater kode (evt. miljøpåvirkning) årsaken til en fault Fault (defect eller bug): feil i kode kan lede til

Detaljer

Jernbaneverkets erfaringer med implementering av RAMS

Jernbaneverkets erfaringer med implementering av RAMS Jernbaneverkets erfaringer med implementering av RAMS Terje Sivertsen, seksjonsleder signal Infrastruktur Teknikk, Premiss og utvikling Jernbaneverket RAMS-seminar, NJS, Oslo, 18. april 2007 1 Innhold

Detaljer

Miljøtekniske Grunnundersøkelser og Tiltaksplan Forurenset Grunn

Miljøtekniske Grunnundersøkelser og Tiltaksplan Forurenset Grunn Statens Vegvesen Region Nord Miljøtekniske Grunnundersøkelser og Tiltaksplan Forurenset Grunn Kartlegging av søppelplass, Skjervøy kommune Planlegging ny fylkesveg 866 Langbakken 2014-01-31 Oppdragsnr.:

Detaljer

Dagens tema INF1070. Vektorer (array-er) Tekster (string-er) Adresser og pekere. Dynamisk allokering

Dagens tema INF1070. Vektorer (array-er) Tekster (string-er) Adresser og pekere. Dynamisk allokering Dagens tema Vektorer (array-er) Tekster (string-er) Adresser og pekere Dynamisk allokering Dag Langmyhr,Ifi,UiO: Forelesning 17. januar 2005 Ark 1 av 23 Vektorer Alle programmeringsspråk har mulighet til

Detaljer

Funksjonskravene er delt opp i to deler, krav til spillsekvens og generelle funksjonskrav.

Funksjonskravene er delt opp i to deler, krav til spillsekvens og generelle funksjonskrav. Kravspesifikasjon I dette kapittelet foreligger kravspesifikasjonen som ble utformet tidlig i prosjektprosessen. Dette er den opprinnelige kravspesifikasjonen. Det har igjennom prosjektprosessen vært naturlig

Detaljer

Kravspesifisering (3): Forhold til OO Analyse og Design

Kravspesifisering (3): Forhold til OO Analyse og Design Dagens tema / læremål Kravspesifisering (3): Forhold til Analyse og Design Guttorm Sindre, IDI Problemanalyse, kravspesifisering og design Forstå forskjeller mellom disse tre Forstå hvor modellering passer

Detaljer

Notat for oblig 2, INF3/4130 h07

Notat for oblig 2, INF3/4130 h07 Notat for oblig 2, INF3/4130 h07 Dag Sverre Seljebotn 15. oktober 2007 Jeg har skrivd et noe langt notat for oblig 2 som interesserte kan se på. Merk at dette er kun for å gi et par tips (for oppgave 3

Detaljer

Navn pa plan: R46 Hanestad fjelltak

Navn pa plan: R46 Hanestad fjelltak Í Î Ï Ð Ñ Ò Ó Ï Ô! " #! $ "! % &! % '! ( ( )! * %! ) $ + ', -. / 0 1 2 3 / 4 2 0 2 5 3 / 6. 7 0 / 4 8 5 3 / 9 4 8 2 7. 7 : ; < = 3 > 2? 6 4. 8 @ A. / 6. 7 B 7 3 6 0 A C 0 / : 6 0 > 2 0 / 0 7 5 3 / D 9

Detaljer

P ²Êϱ 1,..Šμ ² ±μ 1,.. μ Î 1,2 ˆ ˆŸ. ² μ Ê ² μ Ì μ ÉÓ. É μ ±, Ì μé μ Ò É μ Ò ² μ Ö. ÍÒ Œμ ±μ ±μ μ μ Ê É μ μ Ê É É ³. Œ..

P ²Êϱ 1,..Šμ ² ±μ 1,.. μ Î 1,2 ˆ ˆŸ. ² μ Ê ² μ Ì μ ÉÓ. É μ ±, Ì μé μ Ò É μ Ò ² μ Ö. ÍÒ Œμ ±μ ±μ μ μ Ê É μ μ Ê É É ³. Œ.. .. ²Êϱ 1,..Šμ ² ±μ 1,.. μ Î 1,2 ˆ ˆ Œ ˆ ˆŸ Š ˆ : ˆ ˆ ˆ ˆ? P14-2011-18 ² μ Ê ² μ Ì μ ÉÓ. É μ ±, Ì μé μ Ò É μ Ò ² μ Ö 1 Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê, μ Ö 2 ÊÎ μ- ² μ É ²Ó ± É ÉÊÉ Ö μ Ë ± ³... ±μ ²Ó- ÍÒ Œμ ±μ ±μ

Detaljer

Ó³ Ÿ , º 6Ä7(176Ä177).. 823Ä Œ. Œ ²±μ,,.. É ²,.. μ ²Ó,.. Íμ,.. ŠÊÉÊ μ,.. μ ±μ,.. ÒÏ

Ó³ Ÿ , º 6Ä7(176Ä177).. 823Ä Œ. Œ ²±μ,,.. É ²,.. μ ²Ó,.. Íμ,.. ŠÊÉÊ μ,.. μ ±μ,.. ÒÏ Ó³ Ÿ. 2012.. 9, º 6Ä7(176Ä177).. 823Ä837 Œ ˆŠ ˆ ˆ Š ƒ Š ˆŒ Š Œ ƒ Š Š Š ˆŒ ˆ ˆ. Œ. Œ ²±μ,,.. É ²,.. μ ²Ó,.. Íμ,.. ŠÊÉÊ μ,.. μ ±μ,.. ÒÏ Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê μë ± Ê É É ³.. Š² ³ É Ì ±μ μ, μë Ö μ Éμ É μ μ

Detaljer

(a 1, a 2, a 3, a 4 ) ³Æ s 10. a 1 a 2 a 3 a 4 a 1 a 2 a 3 a 4. ( a 1 a 2 a 3 a 4 a 1 a 2 a 3 a 4) (a 1 a 2 a 3 a 4 a 1 a 2 a 3 a 4)

(a 1, a 2, a 3, a 4 ) ³Æ s 10. a 1 a 2 a 3 a 4 a 1 a 2 a 3 a 4. ( a 1 a 2 a 3 a 4 a 1 a 2 a 3 a 4) (a 1 a 2 a 3 a 4 a 1 a 2 a 3 a 4) 5 à ¹¾½ 5.1 ÇÉ» Â Â Þ Kripke Ù M =< S,, I, L > ½ Đ ÞÒ S «É S 2 n Ä ĐÞ n Ê Æ Å n = 4 ÄÝ s 0, s 1, s 2,... (a 1, a 2, a 3, a 4 ) ³Æ s 10 ȹÌĐÞ ÁÆ Ü Đ ³¹Á Ü Ô Ô Ü Ä Ü Á Æ ÔÆ ¹ Ä¹Ì Å Á a 1 a 2 a 3 a 4 Æ s

Detaljer

Grunnleggende testteori. Etter Hans Schaefer

Grunnleggende testteori. Etter Hans Schaefer Grunnleggende testteori Etter Hans Schaefer Industri- og softwareprodukt Industriprodukt Fysisk produkt Testes under produksjon og til slutt om produktet oppfyller kravene Tilpasses, endres, redesignes,

Detaljer

Velkommen til INF2100. Bakgrunnen for INF2100. Hva gjør en kompilator? Prosjektet. Jeg er Dag Langmyhr

Velkommen til INF2100. Bakgrunnen for INF2100. Hva gjør en kompilator? Prosjektet. Jeg er Dag Langmyhr Kursopplegg Velkommen til INF2100 en en for INF2100 Jeg er (dag@ifi.uio.no). Dagens tema: Hva går kurset ut på? for kurset Hvordan gjennomføres kurset? Hvordan får man det godkjent? Pause (med registrering

Detaljer

UKEOPPGAVER 2: SYSTEMUTVIKLINGSPROSESSER OG PROSJEKTARBEID INNSPILL TIL SVAR

UKEOPPGAVER 2: SYSTEMUTVIKLINGSPROSESSER OG PROSJEKTARBEID INNSPILL TIL SVAR INF 1050 UKEOPPGAVER 2: SYSTEMUTVIKLINGSPROSESSER OG PROSJEKTARBEID INNSPILL TIL SVAR Oppgave 1 a) Foranalyse: Foranalysen kan med fordel gjøres i to trinn. Den første er å undersøke finansiering og øvrige

Detaljer

Innkalling er sendt til: Namn Funksjon Representerer Arvid Ole Refvik

Innkalling er sendt til: Namn Funksjon Representerer Arvid Ole Refvik Fitjar kommune Møteinnkalling Utval: Eldrerådet Møtestad: Møterom 2. etg., Fitjar rådhus Dato: 16.09.2019 Tid: 11:00 Grunngjeve forfall vert å melda til kundetorget på tlf 53 45 85 00, som syt for innkalling

Detaljer

Test og kvalitet To gode naboer. Børge Brynlund

Test og kvalitet To gode naboer. Børge Brynlund Test og kvalitet To gode naboer Børge Brynlund To gode naboer som egentlig er tre Kvalitetssikring, kvalitetskontroll og testing Kvalitet I Betydningen Kvalitet er den viktigste faktoren for å avlede langsiktig

Detaljer

"!$#&% '()#* +, -.$/*/*0$1*12 /*354 NMPOPQRNS MT U QRPV 68797;: < C*D E F G H$I*I*D$C*CA I*J5K. W XYPW Z9[\P]_^ ` ZabW c9dexw fpc9d

!$#&% '()#* +, -.$/*/*0$1*12 /*354 NMPOPQRNS MT U QRPV 68797;: < C*D E F G H$I*I*D$C*CA I*J5K. W XYPW Z9[\P]_^ ` ZabW c9dexw fpc9d $FF..H0VV 88 )R4U7P2X:O D,L U7H0V8 NMPOPQRNS MT U QRPV W XYPW Z9[\P]_^ ` ZabW c9dexw fpc9d "!$#&% '()#* +, -.$/*/*0$1*12 /*354 68797;: < =>=&?@?@?BA C*D E F G H$I*I*D$C*CA I*J5K Ý Ý ö Access - Les formulaires

Detaljer