Oversikt over forelesningen. Kvalitetssikring i IS-utv. (1) Motivasjon for kvalitetssikring
|
|
- Cecilie Nygaard
- 7 år siden
- Visninger:
Transkript
1 1 2 Oversikt over forelesningen Institutt for datateknikk og informasjonsvitenskap Guttorm Sindre Kvalitet av modeller (ikke i bok) + Mer om Dataflytdiagrammer (DFD) Marakas, kap. 5 Kvalitetssikring av modeller Motivasjon for kvalitetssikring Ulike typer kvalitetssikringsaktiviteter Semiotisk kvalitetsrammeverk (spesielt relevant for øving 5) Mer om DFD (Marakas kap 5) Hvordan lage gode DFD? DFD vs. Flytkart Prosesslogikk I morgen: Mer om DFD (eks.oppg.) + kap 7. TDT4175 Informadsjonssystemer 3 4 Motivasjon for kvalitetssikring Ofte forlangt i kontrakt eller nødvendig for sertifisering (f.eks., ISO9000) Uansett nyttig for å få gode løsninger og fornøyde kunder Hva er kvalitet? Produktkvalitet vs. prosesskvalitet Funksjonalitet, anvendbarhet, ytelse, datakorrekthet, nøyaktighet, pålitelighet, sikkerhet, trygghet, interoperabilitet, vedlikeholdbarhet, Systemløsning stemmer med spesifiserte krav Krav i overenstemmelse med kundens behov Viktig å finne feil tidlig Økte kostnader jo lenger feilen trekkes med i utviklingen Kvalitetssikring i IS-utv. (1) Testing Kun aktuelt for kjørbar kode Fins ulike typer testing Mathematiske teknikker Korrekthetsbevis: hvis spesifikasjon i formelt logisk språk Beregninger F.eks. av tidsforbruk, algoritmekompleksitet Simulering F.eks., ytelsesvurdering, finne flaskehalser Gjennomgang av dokumenter Gjøres manuelt Aktuelt både for kode og dokumentasjon
2 5 6 Kvalitetssikring i IS-utv. (2) Verifisering Doing the thing right Stemmer design, kode, test planer, med kravene? Validering Doing the right thing Stemmer systemet (eller kravene) med kundens reelle behov? Dvs., dokumenter / produkter i senere faser Kan sammenholdes med kravdokumenter Kravdokumentene selv Lite å sammenligne disse med annet enn evt. strategidokumenter, men disse ofte vage Kvalitetssikring vanskeligere men minst like viktig Felle: tendens til overfokus på format heller enn innhold Velkjente review-teknikker Formalitetsspektret (Wiegers, 2002) Most formal Inspection Team Review Walkthrough Pair Progr. (Pair Modelling?) Peer Deskcheck, Passaround Ad hoc review Least formal 7 Forskjeller (Wiegers 2002) 8 Mer forskjeller (Wiegers 2002) Review Type Planning Correction Preparation Meeting Verification Characteristic Leader Inspection Moderator Team Review Mod / Author Walkthrough Author Inspection Team Review Presenter Granularity Recorder? Reader Small chunks Moderator Pages/sections Author Author s pref. Continuous Walkthrough Pair Prog/ Modeling Passaround Documented Procedure? Spec. Roles for Participants? Checklists? Data analyzed Ad hoc review Product appraisal determined?
3 9 10 Semiotisk kvalitetsrammeverk Syntactisk kvalitet Interpretation (I) Pragmatic quality Q: Følger modellen språkets grammatikk? Mål: syntaktisk korrekthet, M \ L = Ø To typer feil: Syntaktisk ugyldighet (a) Syntaktisk inkompletthet (b) Domain (D) Semantic quality Model (M) Syntactic quality Language (L) (a) Generelt rammeverk for å evaluere kvaliteten av konseptuelle modeller (Lindland et al, 1994) Ser på modellen som en mengde setninger Sammenligner denne med tre andre mengder (b) Semantisk kvalitet Q: Stemmer modellen overens med den delen av virkeligheten (problemdomenet) som vi prøver å modellere? Mål: Validitet (gyldighet): M \ D = Ø Kompletthet: D \ M = Ø Kan sjelden oppnås 100%; må tenke kost/nytte Pragmatisk kvalitet Q: Forstår interessentene hva modellen sier? Mål: forståelse (I = M) dvs., modellen blir korrekt oppfattet NB: Forstått forståelig Kan sjelden oppnås 100% Må igjen tenke kost/nytte Ulike deler av modellen kan være relevant for ulike interessenter
4 13 Total kvalitet Hvor god er modellen i forhold til hensikten med modelleringen, i.e. Analysemodell: Dokumentere og forstå eksisterende system Analysere problemer med eksisterende system Kravmodell Gi en god fremtidig løsning for organisasjonen Dokumentere kravene på en måte som er forståelig for designere, testere etc. Total kvalitet er ikke nødvendigvis snittet av syntaktisk, semantisk og pragmatisk kvalitet Oppgave: finn syntaktiske, semantiske og pragmatiske feil i neste slide 14 Student karakterer FAGDATA studentlister oppg studnr 5. Finn karakter besv Datoer, Målformer Ant. oppmeldte karakterer STUDENTDATA 1. Forbered eksamen oppg oppg 3. Gjennomfør eksamen fremmøteinfo oppg.frist, målformer oppgaver Ø-poeng besv Faglærer karakterer 2. Forbered sensur sensurlister mulige sensorer sensurliste oppg, LF 4. Gjør arbeid Tilbud om sensuroppdrag, respons besv besv poeng poeng Sensor Vitass Faglærer Spesielle utfordringer relatert til Ø5 Oppdiktet case Ikke noe reelt problemdomene, ingen virkelige interessenter Syntactisk kvalitet: ikke noe problem Semantisk kvalitet: vurder Konsistens innen om mellom ulike modeller Datakonservering Flytbalansering Konsistens mellom modeller og tekst Konsistens mellom det konsulentgruppa kom fram til og det som dere som kundegruppe ga uttrykk for Sunn fornuft Pragmatisk kvalitet: vurder Forstår du selv modellene og teksten? Er det deler av dokumentet som tok uforholdsmessig lang tid å forstå? Er det deler av dokumentet som du forstår, men som du Hvordan lage gode DFD? (1) Følg syntaksretningslinjer Tab 5-1 rmal leseretning: venstre topp høyre bunn Etabler klar systemgrense hva er innefor /utenfor? Intern prosess: ikke inkluder utførende mennesker / org.enheter som eksterne entiteter Klare, distinkte prosesser Selvforklarende navn Problem med å finne godt navn? Symptom på at selve prosessen er inkoherent?
5 17 18 Hvordan lage gode DFD? (2) Flytkart, notasjon (ANSI-standard) Vær klar på formål med modellen Vil bestemme fokus, hvor mye man dekomponerer, etc. Hva trengs dekomponeres? Prosesser som er komplekse, har mye flyt inn og ut Tenk HVA, ikke HVORDAN Særlig mhp logiske diagrammer Tenk DATAFLYT, ikke kontrollflyt Flytkart: mer fokus på kontroll, mer detaljert fysisk Fig Flytkart, eksempel (Fig 5-9) Steg for utvikling av DFD Fig Informasjonsinnhenting (f.eks intervju,...) 2 Del inn aktiviteter 3 Modeller separate aktiviteter 4 Lag preliminært kontekstdiagram 5 Lag preliminært toppnivå (nivå-0) diagram 6 Dekomponer til nivå 1, 2 osv. 7 Kombiner og juster nivå 0-n diagrammene 8 Lag endelig diagram (sjekk konsistens)
6 21 22 Analyse og bruk av DFD Kontinuerlig verifisering og validering Er DFD'ene konsistente? Sjekk innhold av DFD Med brukere / domeneeksperter For ny/ønsket situasjon: Med uttrykte målsetninger for systemet (strategi) Modellkvalitet Kan vurderes på syntaktisk, semantisk og pragmatisk nivå Modellering av prosesslogikk Kan ikke dekomponere DFD i all evighet Max 7 nivåer anbefalt, men stopp gjerne før f.eks., hvis prosessen er blitt så banal at dens indre logikk lett kan beskrives Ulike representasjonsformer for prosesslogikk: Strukturert engelsk Beslutningstrær og beslutningstabeller Tilstandsdiagrammer Structured English En slags pseudokode Navn fra DFD brukes som «variable» Sentrale elementer: sekvens, valg, repetisjon Hver prosess må ha kun et inngangspunkt og et utgangspunkt i koden Syntaks vist i Tab 5-2 Bør være enkelt for dere, går derfor ikke i detalj Structured English, eksempel Process ID Table 5-3 Structured English Multiply GROSS_PAY by FED_TAX_RATE and store in EMP_TAX_DEDUCT IF EMP_NONTAX_DEDUCT > 0 THEN append EMP_NONTAX_DEDUCT to employee data Multiply GROSS_PAY by.01 and store in EMP_RETIRE Multiply CURR_EMP_VACATION by EMP_DAY_RATE and store in EMP_VACATION_PAY.
7 25 26 Tilhørende DFD Beslutningstabeller og -trær Viser beslutningslogikk og mulige utfall for en prosess: Tabell: Prosessregler, betingelser, aksjoner FORDEL: Kan være lettere å lese enn strukturert engelsk hvis flere ulike betingelser spiller inn ULEMPE: tabellen kan bli unødig stor og glissen (dvs. mange irrelevante ruter) hvis de ulike betingelsene ikke er helt uavhengige Tre: beslutningspunkter (noder), starter fra roten og utover (rekkefølge på beslutninger), ender i aksjoner (løvnoder) FORDEL vs glisne tabeller hvis beslutninger er innbyrdes avhengige Fig 5-10 (jfr Tab 5-3) 27 Eksempel, strukturert engelsk Tab 5-4 Structured English Process Description IF Driver_Age < 25 THEN IF Accident_Free = N THEN Surcharge = 0.20 IF Driver_Gender = F THEN Surcharge = 0.10 IF Driver_Educ = N THEN Surcharge = 0.15 IF College = N THEN Surcharge = 0.12 IF HS_GPA < 3.25 THEN Surcharge = 0.10 IF HS_GPA >= 3.25 THEN Surcharge = 0.07 IF Accident_Free = Y THEN Surcharge = 0.00 IF Accident_Free = N THEN Surcharge = Samme m. tabell Tab 5-5 Driver Age 25 yrs 25 < 25 < 25 < 25 < 25 < 25 < 25 + yrs + yrs yrs yrs yrs yrs yrs Accident Free Y N N Y Y Y Y Y Driver Gender Female Male Male Male Male Driver s Education College (attending /completed) High School GPA 20% 15% 12% 10% 7% N Y Y Y N Y Y < X X X X X X X X
8 29 30 Samme m. tre: Tilstandsdiagrammer Lært tidligere i andre fag? Diskret matematikk, MMI, Systemutvikling,...? Går derfor ikke inn på dette Se evt boka for forklaring Fig Kriterier for valg av representasjon Tab 5-7 Primary Criteria 1=Best 2=Better 3= Good Transformation of conditions or actions into specific sequence. Structured English Decision Table Decision Tree State- Transition Portraying complex logic sequences. Portraying simple logic sequences. Making basic decisions Determining conditions or actions. Checking logic consistency and completeness. Ease of Manipulation Compactness Portraying temporal logic sequences
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
DetaljerLØSNINGSFORSLAG TDT 4175 INFORMASJONSSYSTEMER Lørdag 24. mai 2008 Tid: kl. 0900-1300
Side 1 av 9 BOKMÅL NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSVITENSKAP Faglig kontakt under eksamen: Guttorm Sindre Tlf: 7359 4479 / 9343 0245 LØSNINGSFORSLAG
DetaljerTom Røise 2/28/2007. IMT2243 : Systemutvikling 1. Forelesning IMT2243 1. mars 2007. Tema : Litteratur : Strukturert analyse. Strukturert analyse
Forelesning IMT2243 1. mars 2007 Tema : Litteratur : Art.saml. Punkt 9 : Kap. 9. SASD - modellen, E. Andersen Metoden går ut på å anvende et sett teknikker i arbeidet med å lage gode systemmodeller /beskrivelser
DetaljerOppgave 1. Modelleringsperspektiver og modelleringsspråk (40%) Alle underoppgavene teller likt
NORGES TEKNISK- NATURVITENSKAPELIGE UNIVERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSVITENSKAP Side 1 av 2 Faglig kontakt under eksamen: Navn: Hallvard Trætteberg Tlf.: 7359 3443 Hjelpemidler: Ingen
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
DetaljerUKE 13 Mer UML modellering. Gruppetime INF1055 Julie Hagen Nilsen & Maria Stolinski
UKE 13 Mer UML modellering Gruppetime INF1055 Julie Hagen Nilsen & Maria Stolinski Hva skal vi i dag? Objektorientert design - kapittel 5 og 7 UML modellering Aktivitetsdiagrammer Klassediagram Ukesoppgaver
DetaljerLykke til! Eksamen i fag TDT4140 Systemutvikling 28.11.2012 9.00. NTNU Norges teknisk-naturvitenskapelige universitet
Side 1 av 10 NTNU Norges teknisk-naturvitenskapelige universitet BOKMÅL Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap Sensurfrist:
DetaljerKirsten Ribu - Høgskolen i Oslo 05.05.04
Prosessmodellering Strukturert analyse og design et overblikk Gurholt & Hasle, kapittel 10 Kirsten Ribu - Høgskolen i Oslo 05.05.04 1 Perspektiver på modellering Datamodellering var lenge den mest brukte
DetaljerOppgave 1 Referent Modell (20%)
BOKMÅL Side 1 av 5 NORGES EKNISK- NAURVIENSKAPELIGE UNIVERSIE INSIU FOR DAAEKNIKK OG INFORMASJONSVIENSKAP KONINUASJONS EKSAMEN I FAG SIF 8035 INFORMASJONSSYSEMER orsdag 10. august 2000 Løsningsforslag
DetaljerPython: Valg og betingelser. TDT4110 IT Grunnkurs Professor Guttorm Sindre
Python: Valg og betingelser TDT4110 IT Grunnkurs Professor Guttorm Sindre Læringsmål og pensum Mål Kunne forstå og bruke if-setninger sammenlikning av strenger nøstede beslutningsstrukturer betingelser
DetaljerPlenumsregning 1. MAT1030 Diskret Matematikk. Repetisjon: Algoritmer og pseudokode. Velkommen til plenumsregning for MAT1030
MAT1030 Diskret Matematikk Plenumsregning 1: Kapittel 1 Mathias Barra Matematisk institutt, Universitetet i Oslo Plenumsregning 1 16. januar 2009 (Sist oppdatert: 2009-02-02 14:21) MAT1030 Diskret Matematikk
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Plenumsregning 1: Kapittel 1 Mathias Barra Matematisk institutt, Universitetet i Oslo 16. januar 2009 (Sist oppdatert: 2009-02-02 14:21) Plenumsregning 1 MAT1030 Diskret Matematikk
DetaljerForelesning 25. MAT1030 Diskret Matematikk. Litt repetisjon. Litt repetisjon. Forelesning 25: Trær. Dag Normann
MAT1030 Diskret Matematikk Forelesning 25: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo Forelesning 25 27. april 2010 (Sist oppdatert: 2010-04-27 14:16) MAT1030 Diskret Matematikk 27. april
DetaljerKONTINUASJONSEKSAMEN I FAG 78052 SYSTEMERING 2 Torsdag 24. august 2000 Tid: kl 0900-1300
NORGES TEKNISK- NATURVITENSKAPELIGE UNIVERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSVITENSKAP Faglig kontakt under eksamen: Navn: Hallvard Trætteberg Tlf.: 7359 3443 Hjelpemidler: Ingen tillatte hjelpemidler.
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 25: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 27. april 2010 (Sist oppdatert: 2010-04-27 14:15) Forelesning 25 MAT1030 Diskret Matematikk 27. april
DetaljerSIF 8035 Informasjonssystemer Våren Øving 2 DFD-modellering. Innlevering: Mandag 12. februar
SIF 8035 Informasjonssystemer Våren 2001 Øving 2 DFD-modellering Innlevering: Mandag 12. februar I denne oppgaven skal dere gjøre en strukturert analyse av den vedlagte oppgavebeskrivelsen for Fias Fjernundervisning.
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 33: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo 26. mai 2008 Innledning Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske
DetaljerInnledning. MAT1030 Diskret matematikk. Kapittel 11. Kapittel 11. Forelesning 33: Repetisjon
Innledning MAT1030 Diskret matematikk Forelesning 33: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo 26. mai 2008 Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske
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
DetaljerEKSAMEN I FAG SYSTEMERING 2 LØSNINGSFORSLAG Mandag 18. mai 1998 Tid: kl
NORGES TEKNISK- NATURVITENSKAPELIGE UNIVERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSVITENSKAP Side 1 av 2 Faglig kontakt under eksamen: Navn: Hallvard Trætteberg Tlf.: 7359 3443 EKSAMEN I FAG 78052
DetaljerKap. 12 Analysemodellering (Analysis Modeling)
Kap. 12 Analysemodellering (Analysis Modeling) Strukturert analyse er en av de mest brukte brukte modelleringsmetoder i analysen. Den andre er objektorientert analyse. 12.1 Kort historikk Strukturert analyse
DetaljerStatisk semantisk analyse - Kap. 6
Statisk semantisk analyse - Kap. 6 Generelt om statisk semantisk analyse Attributt-grammatikker Symboltabell Datatyper og typesjekking 3110/4110-2004 5110-2009 3/3/2009 1 Generelt om semantisk analyse
DetaljerUKE 11 UML modellering og use case. Gruppetime INF1055
UKE 11 UML modellering og use case Gruppetime INF1055 Hva skal vi i dag? Analyse og design - kapittel 5 og 7 UML modellering Ukesoppgaver 3: Modellering av krav UML UML Kompetansemål Modellering av krav
DetaljerStatisk semantisk analyse - Kap. 6
Statisk semantisk analyse - Kap. 6 Generelt om statisk semantisk analyse Attributt-grammatikker Symboltabell Datatyper og typesjekking 3/15/11 1 Generelt om semantisk analyse Oppgave: Sjekke alle krav
DetaljerVelkommen til plenumsregning for MAT1030. MAT1030 Diskret matematikk. Repetisjon: Algoritmer og pseudokode. Eksempel fra boka. Eksempel
Velkommen til plenumsregning for MAT1030 MAT1030 Diskret matematikk Plenumsregning 1: Kapittel 1 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 17. januar 2008 Torsdager 10:15 12:00 Gjennomgang
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 27: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 30. april 2008 Oppsummering Mandag så vi på hvordan vi kan finne uttrykk og termer på infiks form,
DetaljerSyntax/semantics - I INF 3110/ /29/2005 1
Syntax/semantics - I Program program execution Compiling/interpretation Syntax Classes of langauges Regular langauges Context-free langauges Scanning/Parsing Meta models INF 3/4-25 8/29/25 Program
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Plenumsregning 1: Kapittel 1 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 17. januar 2008 Velkommen til plenumsregning for MAT1030 Torsdager 10:15 12:00 Gjennomgang
DetaljerKONTINUASJONSEKSAMEN I FAG 78052/45161 SYSTEMERING 2 Onsdag 18. august 1999 Tid: kl
NORGES TEKNISK- NATURVITENSKAPELIGE UNIVERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSVITENSKAP Side 1 av 3 Faglig kontakt under eksamen: Navn: Hallvard Trætteberg Tlf.: 7359 3443 Hjelpemidler: Ingen
DetaljerEksamensoppgave i TDT4120 Algoritmer og datastrukturer
Institutt for datateknikk og informasjonsvitenskap Eksamensoppgave i TDT0 Algoritmer og datastrukturer Faglig kontakt under eksamen Magnus Lie Hetland Telefon 98 5 99 Eksamensdato 9. august, 07 Eksamenstid
DetaljerForelesning 27. MAT1030 Diskret Matematikk. Bevistrær. Bevistrær. Forelesning 27: Trær. Roger Antonsen. 6. mai 2009 (Sist oppdatert: :28)
MAT1030 Diskret Matematikk Forelesning 27: Trær Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 27 6. mai 2009 (Sist oppdatert: 2009-05-06 22:28) MAT1030 Diskret Matematikk 6.
DetaljerINF2820 Datalingvistikk V gang, Jan Tore Lønning
INF2820 Datalingvistikk V2014 13. gang, 10.4.2014 Jan Tore Lønning I dag Introduksjon til semantikk Formell semantikk grunnideene Logikk i NLTK 2 Semantikk Semantikk= studiet av mening Lingvistisk semantikk
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 27: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 4. mai 2010 (Sist oppdatert: 2010-05-04 14:11) Forelesning 27 MAT1030 Diskret Matematikk 4. mai 2010
DetaljerProsessmodellering. Strukturert design med dataflytdiagrammer (DFD) Gurholt & Hasle Kapittel 10. Kirsten Ribu Høgskolen i Oslo
Prosessmodellering Strukturert design med dataflytdiagrammer (DFD) Gurholt & Hasle Kapittel 10 Kirsten Ribu Høgskolen i Oslo 1 Perspektiver på modellering De strukturerte metodene SA/SD sammen med datamodellering
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 26: Trær Roger Antonsen Institutt for informatikk, Universitetet i Oslo 5. mai 2009 (Sist oppdatert: 2009-05-06 22:27) Forelesning 26 MAT1030 Diskret Matematikk 5.
DetaljerMAT1030 Forelesning 25
MAT1030 Forelesning 25 Trær Dag Normann - 27. april 2010 (Sist oppdatert: 2010-04-27 14:16) Forelesning 25 Litt repetisjon Vi har snakket om grafer og trær. Av begreper vi så på var følgende: Eulerstier
DetaljerProsjektrettet systemarbeid
Prosjektrettet systemarbeid Funksjonsmodellering Faglærer: Kjell Toft Hansen Funksjonsmodellering Fra prosjektets brukerkravdokument: Kap. 3.1 Krav til funksjoner Kravene til funksjoner beskriver hva bruker
DetaljerMAT1030 Diskret matematikk
Oppgave 1.1 MAT1030 Diskret matematikk Plenumsregning 2: Ukeoppgaver fra kapittel 1 & 2 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 24. januar 2008 Modifiser algoritmen fra 1.2.1 slik at
DetaljerMAT1030 Plenumsregning 1
MAT1030 Plenumsregning 1 Kapittel 1 Mathias Barra - 16. januar 2009 (Sist oppdatert: 2009-02-02 14:21) Plenumsregning 1 Velkommen til plenumsregning for MAT1030 Fredager 12:15 14:00 Vi vil gjennomgå utvalgte
DetaljerEksamen i fag SIF8018 Systemutvikling. Fredag 25. mai 2001 kl
Side av 9 NTNU Norges teknisk-naturvitenskapelige universitet BMÅL Fakultet for fysikk, informatikk og matematikk Institutt for datateknikk og informasjonsvitenskap Sensurfrist:. juni Eksamen i fag SIF808
DetaljerForelesning 33. Repetisjon. Dag Normann mai Innledning. Kapittel 11
Forelesning 33 Repetisjon Dag Normann - 26. mai 2008 Innledning Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske repetisjonen av MAT1030. Det som gjensto var kapitlene 11 om trær og
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Plenumsregning 2: Ukeoppgaver fra kapittel 1 & 2 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 24. januar 2008 Oppgave 1.1 Modifiser algoritmen fra 1.2.1 slik at
DetaljerTom Røise 26.02.2007. IMT2243 : Systemutvikling 1. IMT2243 Systemutvikling 26. februar 2007. Klassediagrammet. Klasse
IMT2243 Systemutvikling 26. februar 2007 Tema : Domenemodellering og Kravspeken - Repetisjon konseptuelle klassediagram - Eksempler - konseptuelle klassediagram (IHID løsningen og OL-Veiviseren) - Maler
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
DetaljerSemantisk Analyse del I
Semantisk Analyse del I Attributtgrammatikker Kapittel 6.1-6.2 26.02.2013 1 Statisk semantisk analyse kapittel 6: Innhold Generelt om statisk semantisk analyse Attributt-grammatikker (kapittel 6.1-6.2)
DetaljerNasjonale retningslinjer for karaktersetting i matematikk i GLUutdanningene. Andreas Christiansen Ole Enge Beate Lode
Nasjonale retningslinjer for karaktersetting i matematikk i GLUutdanningene Andreas Christiansen Ole Enge Beate Lode Retningslinjer for karaktersetting Vi prøver å finne svar på to utfordringer: - Hva
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
DetaljerEksamen i fag TDT4140 Systemutvikling. 6. juni, 2006 kl 0900-1300
Side 1 av 10 NTNU Norges teknisk-naturvitenskapelige universitet BOKMÅL Fakultet for fysikk, informatikk og matematikk Institutt for datateknikk og informasjonsvitenskap Sensurfrist: 27. juni, 2006 Eksamen
DetaljerTest of English as a Foreign Language (TOEFL)
Test of English as a Foreign Language (TOEFL) TOEFL er en standardisert test som måler hvor godt du kan bruke og forstå engelsk på universitets- og høyskolenivå. Hvor godt må du snake engelsk? TOEFL-testen
DetaljerObjektorientering og UML. INF1050: Gjennomgang, uke 06
Objektorientering og UML INF1050: Gjennomgang, uke 06 Kompetansemål Objektorientert design Objektdesign og ansvarstilordning Bruk av UML Fokus på klassediagrammer Designmodeller Designmønstre ( design
DetaljerTDT4110 Informasjonsteknologi, grunnkurs Uke 35 Introduksjon til programmering i Python
TDT4110 Informasjonsteknologi, grunnkurs Uke 35 Introduksjon til programmering i Python Professor Guttorm Sindre Institutt for datateknikk og informasjonsvitenskap Læringsmål og pensum Mål Vite hva et
DetaljerFIAS Fjernundervisning
SIF 8035 Informasjonssystemer Våren 2001 Øving 2 DFD-modellering Løsningsforslag OPPGAVE 1 - TOPPNIVÅ DFD Undervisningsutvalg Vurderinger Fagplan FIAS Fjernundervisning Invitasjon Vurderinger (fra UU)
DetaljerFakultet for informasjonsteknologi, Løsning på kontinuasjonseksamen i TDT4190 Distribuerte systemer 19. august 2006,
Side 1 av 8 NTNU Norges teknisk-naturvitenskapelige universitet Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap Løsning på kontinuasjonseksamen
DetaljerEksamensoppgave i TDT4120 Algoritmer og datastrukturer
Eksamensoppgave i TDT4120 Algoritmer og datastrukturer Faglig kontakt under eksamen Magnus Lie Hetland Tlf. 91851949 Eksamensdato 11. august 2014 Eksamenstid (fra til) 0900 1300 Hjelpemiddelkode D. Ingen
DetaljerSystem integration testing. Forelesning Systems Testing UiB Høst 2011, Ina M. Espås,
System integration testing Forelesning Systems Testing UiB Høst 2011, Ina M. Espås, Innhold Presentasjon Hva er integration testing (pensum) Pros og cons med integrasjonstesting Når bruker vi integration
DetaljerRepetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon
Repetisjon og mer motivasjon MAT030 Diskret matematikk Forelesning 22: Grafteori Roger Antonsen Matematisk Institutt, Universitetet i Oslo 4. april 2008 Først litt repetisjon En graf består av noder og
DetaljerKapittel 3: Litt om representasjon av tall
MAT1030 Diskret Matematikk Forelesning 3: Litt om representasjon av tall Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 3: Litt om representasjon av tall 26. januar 2010 (Sist oppdatert:
DetaljerVektede grafer. MAT1030 Diskret matematikk. En kommunegraf. En kommunegraf. Oppgave
MAT1030 Diskret matematikk Forelesning 24: Grafer og trær Dag Normann Matematisk Institutt, Universitetet i Oslo 21. april 2008 Vi har snakket om grafer og trær. Av begreper vi så på var Eulerkretser og
DetaljerKort om evaluering og testing av It-systemer. Hvordan vurdere, verdsette, velge og teste?
Kort om evaluering og testing av It-systemer Hvordan vurdere, verdsette, velge og teste? Evaluere - Bokmålsordboka Evaluere Vurdere, verdsette, gi karakter for. Vurdere Bedømme, verdsette. Bedømme Dømme
DetaljerHvordan komme i gang med ArchiMate? Det første modelleringsspråket som gjør TOGAF Praktisk
Hvordan komme i gang med ArchiMate? Det første modelleringsspråket som gjør TOGAF Praktisk Logica 2012. All rights reserved No. 3 Logica 2012. All rights reserved No. 4 Logica 2012. All rights reserved
DetaljerSIE 4005, 9/10 (4. Forelesn.)
SIE 4005, 9/10 (4. Forelesn.) Tredje forelesning: 8.1 The control unit 8.2 Algorithmic state machines 8.3 Design example: Binary multiplier 8.4 Hardwired Control Fjerde forelesning: litt repetisjon 8.4
DetaljerEksamensdato: 31. mai 2017 Eksamenstid 14:30-18:30 Hjelpemidler: Ingen. Les denne forsiden nøye. Oppgaven består av fire deler.
Eksamensdato: 31. mai 2017 Eksamenstid 14:30-18:30 Hjelpemidler: Ingen Les denne forsiden nøye Oppgaven består av fire deler. Del 1 flervalgsspørsmål 15 flervalgsspørsmål 2 poeng for hvert riktige svar
DetaljerUNIVERSITETET I OSLO
Bokmål Kandidat nummer: UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Prøveeksamen i: INF1050 Eksamensdag: 0. mai, 2011 Tid for eksamen: 00:00 00:00 Oppgavesettet er på 6 sider Vedlegg:
DetaljerForbrytelse og straff
Forbrytelse og straff Læringsmål: Kodeforståelse, hvordan tenke om oppsett av if-setninger Kunne forstå og rette typiske feil med if-setninger Starting Out with Python: Kap. 3.1-3.2 I denne oppgaven skal
DetaljerOppgaver til kodegenerering etc. INF-5110, 12. mai, 2015
Oppgaver til kodegenerering etc. INF-5110, 12. mai, 2015 Oppgave 1: Vi skal se på koden generert av TA-instruksjonene til høyre i figur 9.10 i det utdelte notatet, side 539 a) (repetisjon fra forelesningene)
DetaljerINF2810: Funksjonell Programmering. Dataabstraksjon og Trerekursjon
INF2810: Funksjonell Programmering Dataabstraksjon og Trerekursjon Stephan Oepen & Erik Velldal Universitetet i Oslo 15. februar, 2013 Tema 2 Forrige uke Høyere-ordens prosedyrer: Prosedyrer som argumenter
DetaljerKravspesifisering (2): Validering av kravspek er
Ø Ø SIF 8035 - Informasjonssystemer Grunnkurs, 2002 Læremål Kravspesifisering (2): Validering av kravspek er Guttorm Sindre, IDI Forstå Kvalitetskriterier for kravspesifikasjoner Viktige steg i prosessen
DetaljerLæringsmål og pensum. if (be): else (not_to_be):
1 TDT4110 Informasjonsteknologi grunnkurs: Tema: Betingelser og logiske uttrykk - 3rd edition: Kapittel 3 Professor Alf Inge Wang 2 if (be): else (not_to_be): 3 Læringsmål og pensum Mål Lære å bruke og
DetaljerTDT4110 IT Grunnkurs Høst 2012
TDT4110 IT Grunnkurs Høst 2012 Norges teknisk naturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap Auditorieøving 2 Navn: Linje: Brukernavn: Oppgavesettet inneholder 5 oppgaver.
DetaljerEksamen I En Digital Verden Hva slags funksjon bør eksamen ha i en helhetlig sluttvurdering i fremtidens skole?
Eksamen I En Digital Verden Hva slags funksjon bør eksamen ha i en helhetlig sluttvurdering i fremtidens skole? Per Kristian Larsen-Evjen, avdelingsdirektør Utdanningsdirektoratet Rammer. Begrensninger
DetaljerKravspesifiseringsprosessen
IMT2243: 18.februar 2010 DAGENS : Metoder for å få kartlagt de Funksjonelle kravene Strukturert Analyse den gamle måten og gjøre det på (dette foilsettet + wikipedia-omtalen er eneste pensum innen SA)
DetaljerINF3430/4431. VHDL byggeblokker og testbenker
INF3430/4431 VHDL byggeblokker og testbenker Entity/architecture Innhold Strukturelle design (nettliste) Generics Configurations Operatorer-Operator prioritet (precedence) Datatyper Bit / IEEE1164 std_ulogic
DetaljerEksamensoppgave i TDT4120 Algoritmer og datastrukturer
Eksamensoppgave i TDT4120 Algoritmer og datastrukturer Faglig kontakt under eksamen Magnus Lie Hetland Tlf. 918 51 949 Eksamensdato 12. august, 2014 Eksamenstid (fra til) 0900 1300 Hjelpemiddelkode D.
DetaljerINF2820 Datalingvistikk V gang, Jan Tore Lønning
INF2820 Datalingvistikk V2016 13. gang, 20.4.2016 Jan Tore Lønning I dag Introduksjon til semantikk Formell semantikk grunnideene Logikk i NLTK 2 Semantikk Semantikk= studiet av mening Lingvistisk semantikk
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:
DetaljerKvalitet av konseptuelle modeller
Oversikt over forelesningen Kvalitet av konseptuelle modeller Hva menes med kvalitet? Rammeverk for å evaluere modellkvalitet (Kapittel 3) odellkvalitet Introduksjon til språkkvalitet John Krogstie 1.
DetaljerLØSNINGSORSLAG TDT 4175 INFORMASJONSSYSTEMER Lørdag 9. juni 2007 Tid: kl. 0900-1300
Side 1 av 8 BOKMÅL NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSVITENSKAP Faglig kontakt under eksamen: Guttorm Sindre Tlf: 7359 4479 / 9343 0245 LØSNINGSORSLAG
DetaljerKONTINUASJONSEKSAMEN I EMNE TDT4195 BILDETEKNIKK ONSDAG 13. AUGUST 2008 KL. 09.00 13.00
Side 1 av 5 NTNU Norges teknisk-naturvitenskapelige universitet Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap KONTINUASJONSEKSAMEN
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
DetaljerPython: Løkker. TDT4110 IT Grunnkurs Professor Guttorm Sindre
Python: Løkker TDT4110 IT Grunnkurs Professor Guttorm Sindre Læringsmål og pensum Mål Forstå hvorfor vi trenger løkker i programmering Ha kjennskap to ulike typer løkker (while-løkke, for-løkke) Og vite
DetaljerKirsten Ribu - Høgskolen i Oslo 05.05.04
Prosessmodellering Strukturert analyse og design et overblikk Gurholt & Hasle, kapittel 10 Kirsten Ribu - Høgskolen i Oslo 05.05.04 1 Prosessrapporten Prosessrapporten skal beskrive valg av systemutviklings-prosess,
Detaljer1. Hvilke type krav angår sikkerhet og pålitelighet?
1. Hvilke type krav angår sikkerhet og pålitelighet? a) Funksjonelle b) Ikke-funksjonelle Svar: b), IS side 88, lærebok s.96 2. Verdien av etnografi er at den hjelper til å oppdage som reflekterer hvordan
DetaljerForelesning 30: Kompleksitetsteori
MAT1030 Diskret Matematikk Forelesning 30: Kompleksitetsteori Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 30: Kompleksitetsteori 19. mai 2009 (Sist oppdatert: 2009-05-19
DetaljerModellering av brukstilfeller og forretningsprosesser. Kurs i standarder, Oslo, 12. juni 2018
Modellering av brukstilfeller og forretningsprosesser Kurs i standarder, Oslo, 12. juni 2018 Modellering av brukstilfeller Innhold Kort innføring i brukstilfeller Elementer i Use Case diagram Relevante
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
DetaljerOppsummering : IMT2243 Systemutvikling. Hensikt med kurset. Innfallsvinkel : Tom Røise 30.04.2007. IMT2243 : Systemutvikling 1
Oppsummering : IMT2243 Systemutvikling Målformuleringen i emnebeskrivelsens : Studentene skal ha forståelse for grunnleggende administrative og teknologiske aspekter ved spesifisering, utvikling, innføring
DetaljerMAT1030 Diskret matematikk
MAT30 Diskret matematikk Plenumsregning 6: Ukeoppgaver fra kapittel Roger Antonsen Matematisk Institutt, Universitetet i Oslo. februar 008 Oppgave. Skriv følgende mengder på listeform. (a) Mengden av alle
DetaljerALGORITMER OG DATASTRUKTURER
Stud. nr: Side 1 av 6 NTNU Norges teknisk-naturvitenskapelige universitet BOKMÅL Fakultet for informasjonsteknologi matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap AVSLUTTENDE
DetaljerSystemutviklingen er ferdig når et system er operativt. Med operativt menes når systemet blir brukt av brukerne på et faktisk arbeidssted.
Presentasjon nummer 5 The changing system and the nature of maintenance Silde 1 Gruppen introduseres Slide 2 The changing system and the nature of maintenance The Changing system Systemutviklingen er ferdig
Detaljer1. Hvilke type krav angår sikkerhet og pålitelighet?
1. Hvilke type krav angår sikkerhet og pålitelighet? a) Funksjonelle b) Ikke-funksjonelle Svar: b) 2. Verdien av etnografi er at den hjelper til å oppdage som reflekterer hvordan folk faktisk jobber a)
DetaljerEKSAMEN. Evaluering av IT-systemer. Eksamenstid: kl 0900 til kl 1300
EKSAMEN Emnekode: ITL24006 Dato: 4. desember 2007 Hjelpemidler: Emne: Evaluering av IT-systemer Eksamenstid: kl 0900 til kl 1300 Faglærer: Ingen, heller ikke kalkulator eller mobiltelefon Kåre Sorteberg
DetaljerKombinatorikk. MAT1030 Diskret Matematikk. Oppsummering av regneprinsipper
MAT1030 Diskret Matematikk Forelesning 22: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo Kombinatorikk 14. april 2010 (Sist oppdatert: 2010-04-14 12:43) MAT1030 Diskret Matematikk 14.
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 22: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo 14. april 2010 (Sist oppdatert: 2010-04-14 12:42) Kombinatorikk MAT1030 Diskret Matematikk 14.
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
DetaljerTDT4110 Informasjonsteknologi grunnkurs: Tema: Betingelser og logiske uttrykk. - 3rd edition: Kapittel 3. Professor Alf Inge Wang
1 TDT4110 Informasjonsteknologi grunnkurs: Tema: Betingelser og logiske uttrykk - 3rd edition: Kapittel 3 Professor Alf Inge Wang 2 if (be): else (not_to_be): 3 Læringsmål og pensum Mål Lære å bruke og
DetaljerINF Repetisjon: Hvordan bygge treet og analysere? 8. september Typisk situasjon. De problematiske syntaks-diagrammene
Dagens tema: INF 2100 8. september 2004 Mer om strukturen i treet og hvordan bygge det Testing av at navn er deklarert og brukt riktig Arbeid i gruppene neste uke: Oppgaver relevant for dette stadiet i
DetaljerPlanleggingsfasen.. Estimering av kostnader i IT-prosjekter. Gjennomføringen. Hvor gode er vi til å planlegge (estimere kostnader) ihht Standish Group
Planleggingsfasen.. Estimering av kostnader i IT-prosjekter Magne Jørgensen Industriell Systemutvikling Institutt for Informatikk 1 2 Gjennomføringen. Hvor gode er vi til å planlegge (estimere kostnader)
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Plenumsregning 6: Ukeoppgaver fra kapittel 5 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 21. februar 2008 Oppgave 5.1 Skriv følgende mengder på listeform. (a) Mengden
DetaljerINF2820 Datalingvistikk V2017 Forelesning 1.2 Jan Tore Lønning
INF2820 Datalingvistikk V2017 Forelesning 1.2 Jan Tore Lønning ENDELIGE TILSTANDSMASKINER OG REGULÆRE SPRÅK 19. januar 2017 2 Fysisk modell En tape delt opp i ruter. I hver rute står det et symbol. En
DetaljerForelesning 25. MAT1030 Diskret Matematikk. Litt repetisjon. Litt repetisjon. Forelesning 25: Trær. Roger Antonsen
MAT1030 Diskret Matematikk Forelesning 25: Trær Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 25 29. april 2009 (Sist oppdatert: 2009-04-29 00:28) MAT1030 Diskret Matematikk
Detaljer