Kravspesifisering (2): Validering av kravspek er
|
|
- Maria Isaksen
- 7 år siden
- Visninger:
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 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
DetaljerBolk 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
DetaljerMå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
DetaljerSTRATEGOS 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:
DetaljerHandi-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.):
DetaljerGodkjenning 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
DetaljerTestobservator 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
DetaljerMå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
DetaljerHandi-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.):
DetaljerTegn 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
DetaljerPerceived 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
DetaljerNetlife 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
DetaljerGodkjenning 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
DetaljerOffentlig 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!
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
DetaljerHandi-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
DetaljerL ; 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< = :
DetaljerPDF created with pdffactory Pro trial version
[ ² Ú»» ³»»² ¾ ²» ¹» ô Ì ± « Forord Ò ; ±¹ ²» ³«¹»» òòò [ ²»² ª ; µ«² ¹» ¼» º± îðïéô ¹ «²²»² ¼»»» ¼» µ±³³» ² ³³» ² º± ¾ ²» ¹» «¹«±³ ¹ ( ¼» ¾»²¼ ²¹»»²»» ; ²» ò Ê»² : ¼»» ª µ ¹ ±¾¾ ±¹ ¼»² µ ª º± ª» ¹±¼ ò
DetaljerKravspesifisering (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
DetaljerDagens 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
DetaljerGodkjenning 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 =
DetaljerGJENNOMGANG 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.
DetaljerPDF created with pdffactory Pro trial version
[ ² Ú»» ³»»² ¾ ²» ¹» ô λ¹²¾² Forord Ü»²²» ²»² ¹» ¼» º ²«¼»»³¾» îðïéò a» ª ¼»»» ô ª ¼» ¾»² ² ³³» ² º± ¾ ²» ¹»²ò Ü»²²» µ ª ¾ «µ» ¼ ¾ ¹±¼ µ»² ³»¼ô ±¹ îðïè ª ²² ± ¼» ¼»²²» ªb» ³»¼»¹» ²»² ª ò»»³¾» îðïê ¼¼»
DetaljerGJENNOMGANG 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:
DetaljerTegn 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
DetaljerPDF created with pdffactory Pro trial version
[ ² Ú»» ³»»² ¾ ²» ¹» ô ß«¹»²¼ ¼»² Forord Ÿ ² îðïé ¹»² ¾» µ ª»» ª ¾ ²» ¹»² ±»ô»»² ±² ª ¾ ²» ¹»²ô µ µ» ± ² ²¹» ±¹ ª»¼ ¹±¹ µ» ¾» ¼ò Ð ² ¾» ¼» ¾ ²» ¹»²» ¾ ¹¹» ± ºa ¹»²¼» ³»æ ó Î ³³» ² º± ¾ ²» ¹»² ²² ± ¼ ±¹
DetaljerInnkalling 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
DetaljerInnkalling 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
DetaljerValidering 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ﺪ ﻩ ﻋﺍ ﻮﹶ ﻭ ﻗ ﻪ ﹾﻘ ﹾﻟ ﻔ ﺍ ﹺﻝ ﻮ ﹸﺃ ﺻ ﹸ ﻣ ﺔ ﻮﹸ ﻈ ﻣ ﻨ $ ﺡﺮﺷ! " ' (# $% & )*! +,!* -
م ن ة ظو م ل ا ا ل صو ق ف ه و ع وا ق و ه د $ شرح ٢ الا ول] [الدرس :$, : $ $, : ; $, موقع التف ري غ للدرو س الع لمية والبحوث الشرعي ة Ï Î Í Ì ٣,,,,,, : :, :,, :,, : $,,,,,, : :,, :,,:ÑÐ, :,,,, :,, :,,,,,,,,
DetaljerOversikt 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
DetaljerEfficiency, 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! " # $ % & ^Pv`!$ x âîv7ç È'Ç È b j k Æ' z{3 b jkæ b ÇÈÉÊ&( )! c q r É. xy+ - Êlm l D E ` &! D E â î #" ' #$ '#! v( D/Ev A B x y&?
! " )*+,-/ 0 $$ "#2!$3456578 56 34 " 56!< >?@ABCDE,-
DetaljerBusiness 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Î Ö ØØ Ò Ú Ö
Î Ö ØØ Ò Ú Ö Ò Ø Ø Ò ÓÒ Ö ÆÆÎ Ñ ØÓ Ò Ú Ò ÑÓ ÐÐ Ò Î Ø Ú Ò Ò ÙÖ Ó Ò ÓÖÑ ÓÒ Ø Ô Ö Ò ÓÒ Ö Ò Ô Ø Ð = ÙÖ ÒØ ÐÐ Öµ ¼ = Ë ¼ ÒØ ÐÐ Öµ ½µ Ö Ø Ö ÙÐØ Ø ÔÖº ÈË ÖÒ Ò Ô Ö Ö µ ÈË Ø = Ö Ø Ö ÙÐØ Ø Ø ÒØ ÐÐ Ö Ø ¾µ ÈÖ ¹ ÖÒ
DetaljerTom 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.
DetaljerUSER 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
DetaljerPrototyping 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
DetaljerLæ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
DetaljerUttrykkskraft 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
DetaljerUnicode. 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
DetaljerDagens 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
DetaljerP ² Ö³, ƒ. ƒ μ² 1,. ƒô Ï,. Ô² Ô ³ 2. ƒ ŒŒ - Š ˆ ˆ ƒ ˆ Ÿ. ˆ Š œš ˆ ƒ. ƒ Š. ² μ Ê ² μ ± Ö ² μ Éμ Ö
P18-2007-163. ² Ö³, ƒ. ƒ μ² 1,. ƒô Ï,. Ô² Ô ³ 2 Œ Œ ƒ Œ ƒ ƒ ŒŒ - Š ˆ ˆ ƒ ˆ Ÿ ˆŸ ˆŸ ˆ Š œš ˆ ƒ ˆŸ Œ ƒ Š ƒ Š ² μ Ê ² μ ± Ö ² μ Éμ Ö 1 É Ö ÒÌ ² μ Œμ μ²ó ±μ μ μ Ê É μ μ Ê - É É, ² - Éμ 2 ƒμ μ-μ μ É É ²Ó Ò
DetaljerNotater: 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................
DetaljerLæ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
DetaljerST0202 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
DetaljerI# 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
DetaljerAlle 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]!!" # $% %#
DetaljerKravspesifikasjon 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
DetaljerKravspek: 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
DetaljerKirsten 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
DetaljerKravhå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
DetaljerSystemutvikling (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
DetaljerC 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
DetaljerVektorer. 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å
DetaljerDigitale 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
DetaljerTom 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
DetaljerLage 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
DetaljerLED 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,
DetaljerPresentasjon 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
DetaljerDesign, 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
DetaljerTegn 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
DetaljerVEDLEGG 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...
DetaljerPrototyping. 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
DetaljerForord. 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
$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
DetaljerGJENNOMGANG 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
DetaljerKravspesifisering (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
DetaljerModellering 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
DetaljerModellering 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
DetaljerDagens 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,
DetaljerLivslø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
DetaljerKvalitetskrav 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
DetaljerInnkalling 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
DetaljerSAKSLISTE 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ÒÒÓÙÒ Ö Ñ Û Ø Ö Ù Ò ÝÐ ØØ Ò ÝÒ ÖÓÒ Þ ÌÖ Ò Ø ÓÒ ØÓÛ Ö Ø ÙÒ Ð Ø Ö Ð Ô Ö ÒØ Ö Þ Ö ÒØ º Ö Þ Ò ºÞ ÒØ Ö ÓÖ ÓÒÓÑ Ê Ö Ò Ö Ù Ø Ù Ø ÓÒ Ó ÖÐ ÍÒ Ú Ö ØÝ Þ Æ Ø ÓÒ Ð
ÒÒÓÙÒ Ö Ñ Û Ø Ö Ù Ò ÝÐ ØØ Ò ÝÒ ÖÓÒ Þ ÌÖ Ò Ø ÓÒ ØÓÛ Ö Ø ÙÒ Ð Ø Ö Ð Ô Ö ÒØ Ö Þ Ö ÒØ º Ö Þ Ò ºÞ ÒØ Ö ÓÖ ÓÒÓÑ Ê Ö Ò Ö Ù Ø Ù Ø ÓÒ Ó ÖÐ ÍÒ Ú Ö ØÝ Þ Æ Ø ÓÒ Ð Ò ½ Ù Ù Ø ¾ ¾¼¼ ½ Ì Ú Û ÜÔÖ Ö Ö ÑÝ ÓÛÒ Ò Ó ÒÓØ Ò Ö
DetaljerIN 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Ã Ô ½ Ë Ð Ô Ø Ô Ø Ð ØÖÙ ØÙÖ
Ã Ô ½ Ë Ð Ô Ø Ô Ø Ð ØÖÙ ØÙÖ Ò Ø Ø Ê ÒØ ØØ ÓÖ Ð Ò Î Ö Ò Ú Ö ÒØ ØØ ÓÖ Ð Ò Ê Ô Ø Ð Ö Ò ÓÖ Ò ÓÔÔ ÊË È Ö ÓÒ ØØ Ö ÌÓÐ ØÒ Ò ÇÔØ Ñ Ð Ô Ø Ð ØÖÙ ØÙÖ Ñ ØØ Ö Ê ÒØ ØØ ÓÖ Ð Ò Ø ÐØ Ö ÒØ Ö Ö Ö ÒØ Ö Ö Á ÓÐ ÖØ Ö ØØ Ø Ò
DetaljerDatamaskinen 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
DetaljerDagens 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
DetaljerGJENNOMGANG 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
DetaljerDRI2001 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Ì ÊÁË ÈÖÓ Ö Ñ ÜÔÐÓÖ Ö Ë ÓÒ ËØ ØÙ Ê ÔÓÖØ ÏÓÐ Ò Ë Ö Ò Ö ÏÓÐ Ò ºË Ö Ò ÖÖ º Ùº Ø Ê Ö ÁÒ Ø ØÙØ ÓÖ ËÝÑ ÓÐ ÓÑÔÙØ Ø ÓÒ ÊÁË µ ÂÓ ÒÒ Ã ÔÐ Ö ÍÒ Ú Ö ØÝ Ä ÒÞ Ù ØÖ
Ì ÊÁË ÈÖÓ Ö Ñ ÜÔÓÖ Ö Ë ÓÒ ËØ ØÙ Ê ÔÓÖØ ÏÓ Ò Ë Ö Ò Ö ÏÓ Ò ºË Ö Ò ÖÖ º Ùº Ø Ê Ö ÁÒ Ø ØÙØ ÓÖ ËÝÑ Ó ÓÑÔÙØ Ø ÓÒ ÊÁË µ ÂÓ ÒÒ Ã Ô Ö ÍÒ Ú Ö ØÝ Ä ÒÞ Ù ØÖ ØØÔ»»ÛÛÛºÖ º Ùº Ø ÏÓ Ò Ë Ö Ò Ö ØØÔ»»ÛÛÛºÖ º Ùº Ø ½»½ Ó Ò
DetaljerGrunnleggende 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
DetaljerJernbaneverkets 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
DetaljerMiljø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.:
DetaljerDagens 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
DetaljerFunksjonskravene 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
DetaljerKravspesifisering (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
DetaljerNotat 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
DetaljerNavn 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
DetaljerP ²Êϱ 1,..Šμ ² ±μ 1,.. μ Î 1,2 ˆ ˆŸ. ² μ Ê ² μ Ì μ ÉÓ. É μ ±, Ì μé μ Ò É μ Ò ² μ Ö. ÍÒ Œμ ±μ ±μ μ μ Ê É μ μ Ê É É ³. Œ..
.. ²Êϱ 1,..Šμ ² ±μ 1,.. μ Î 1,2 ˆ ˆ Œ ˆ ˆŸ Š ˆ : ˆ ˆ ˆ ˆ? P14-2011-18 ² μ Ê ² μ Ì μ ÉÓ. É μ ±, Ì μé μ Ò É μ Ò ² μ Ö 1 Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê, μ Ö 2 ÊÎ μ- ² μ É ²Ó ± É ÉÊÉ Ö μ Ë ± ³... ±μ ²Ó- ÍÒ Œμ ±μ ±μ
DetaljerÓ³ Ÿ , º 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)
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
DetaljerGrunnleggende 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,
DetaljerVelkommen 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
DetaljerUKEOPPGAVER 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
DetaljerInnkalling 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
DetaljerTest 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
$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