? A 6 / 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" name="description"> ? A 6 / 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">

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

Save this PDF as:
 WORD  PNG  TXT  JPG

Størrelse: px
Begynne med side:

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

Transkript

1 "! # $ & ' )()# * +, -. / : 6 ; 9 < 9= >? A 6 / 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 kvalitetsrammeverk, med empirisk evaluering KH[ O P P Q N Q \ U ] ^ \ _ Q N O V` Q \ Q P ^ T Q VVU N O VWX Q X a b O c WX X Q V d e Z Modellkvalitet Z Introdukson til språkkvalitet KHb N O VWX Q X O N U \ O N P ^ T Q VVQ \ Replace this text with file name 1 2 fg!h# & & I $ $ J + # (i! D - B k 3 l m : l 1 - ; k B 4 : 3 n l B : F E o 8 n6 B 3 n p q q r 9 - : / s s 6 E3 6 s 6 ; B 1 F : o 9A tgu v v v r Hw 1 k B / / x y ; o < 6 / / 5 / 2 r C 2 6 / 3 B F l 6 1 : 6 ; l 1 - ; k B o z 5 E r C 2 6 / 3 B F l 6 1 : 6 ; B 1 F : 3 l B F 3 { - / s - ; 6 EE o < F : Er 0 : F E E; 4 5 E k E5 B s B 6 / 5: m 6 1 o } 5/ ; EF / ; = A 4 F s l 6 1 r H~?. 6 k F E54 y 4. F 4 F / 6 ; 6 8 5/ 6 ; 53 / k 6 k F E 54 y ~ z ƒ J $! & + * & + # * '! * J $ # + $ + H : ; 4 8 k / ; 6 4 Efficiency, Integrity, Reliability, Surviveability, Usability H : ; 6 1 B - / k B 3 { - / ; / Correctness, Maintainability, Verifiability H : - 1 E ; 6 4 m 4 5 El F : 5; k 4 : 5B E6 3 y s 6 4 Expandability, Flexiblity, Interoperability, Portability, Reuseability 3 4 ƒ J $! & + $Š! + & I! # $" Œ 0 - s l E B 4 D m 6 E52 q - ; F / / 4 C / 4 y ; 52 M { 6 / 1 k B F 1 Ž F n Œg () $ # $ + *Š'! $ J" h $! + & I! # $" #

2 Gh& & + $ $ JŠ+ ("() +!MI # +! )()# * + ƒ ' $ J" h h' h# Ig + # " H# * ƒ (Š& + šh$ h# I h ' "œ + () # +! < F / 56 E q - - ; y = k sha 5/ ; 1 6 =? 6 1{ 6 w 1 F : 5B = ž 1 / 6 A x E: Replace this text with file name 8 GH + Ÿ# I F 1. F l l 1 - F. 6 3 k E4 3 Does the framework provide reliable and valid basis for evaluating the of models Is the framework likely to be adopted in practice " H # * ƒ ' # $Š H# * ¹ ³ º»» ¼ ± º ½ ³ ² ª «ª ³ ² ² µ ªª ª ªª ±º ¼ º ¼ ± º ½ ± ² ² «ª ² «¾ ³ À ± ³ ² ª Á 9 10  + Œ J $ + & # $Šß *)à + á Ý Ð ÑÎÒÞ ÒË Ð Ì ÎÕ PEOU1 194 third year IS students Participants trained how to use the framework 1. Modelling Task 2. Evaluation Task 3. Post-task Survey Performance Based Variables Perception Based Variables Ø Ë Ê ÑÒÙ Ê Ì ÎÐ Ô Ú ÑÊ Ð ÎÙ Ê Ì Î ØË Ê ÑÒÙ Ê Ì ÎÐ Ô Ú Ð ÕÛ Õ É Ê Ë Ê Ì Í Ê Ì Î Ï Ð ÑÒÐÓ ÔÊ Õ Ö D1 = Syntactic Quality D2 = Semantic Quality D3 = Pragmatic Quality D4 = Overall Quality D5 = Perceived Ease of Use D6 = Perceived Usefulness D7 = Intention to Use random assignment process models reviews survey responses Ð ÎÊ ÑÒÐ ÔÕ Ã ÃÄÅÆ ÄÅÆÇ ÇÈ È Case #1 20 different cases in textual form Web-based Evaluation System PEOU2 PEOU3 PEOU4 PEOU5 PU1 PU2 PU3 PU4 PU5 PU6 PU7 PU8 Perceived Ease of Use Perceived Usefulness Intention to Use ITU1 ITU2 ITU

3 ý ý ý H $"+ ' âmã ä åæç è æåæéê ë ì ç åê í æí î ï ð é ñ ð ì í æí é ä ì é ò í ä ð ó é ô ä ó õ ç ö ä ð õ ø è ê ç åå â ù ç åæú æéê ë ì ç åê í æí î û Completeness: The three level found to be complete (for this kind of use, i.e. with an obectively given domain) û Necessity: All three levels necessary û Independence: The three levels independant âmüì é ä õ ç ñ é æð ì Semantic Quality Syntactic Quality Pragmatic Quality H $"+ ' h # $ $ ' q F / y / 4. 6 s - ; 6 E3 s F ; 6 q F / y / l ; q l ; þ y l 6 5/ ; 5 F 4 6 ; 7 F l F / k / ; F s 6 þ - 1 B Easy to use Useful 9 / 4 6 / 4 5- / 4 - k 3 6 > 6 6 ; l 6 5F E 53 F 4 5- / F s 6 þ - 1 B ÿ! + *" * Jh + á * + () * ("() $ $ $ J + "!! + < 6 B B 6 1 F 1 6 : y l 6 1 s - ; 6 EE6 1 o 0 1 F : 3 l B F 3 { - / ; / ; 52 l 1 - ; k B 4 r < 6 B B 6 1 F 1 6 s - ; 6 EE6 1 5 : l 1 m B? 5 E8 6 E; F s s 6 / 3 F E F : 2 - ; / 3 B F l 6 1 Hw EF / ; B : F E : 6 ; l = : 6 1 B 4 x y = 3 l 1 m B = - 2 s - ; 6 EE Hw EF / ; 6 1 B : F E s m E - 2 s 5; E m / m ; s m E6 / 6 7 F ; B - / k l 1 - E6 s 3 4 5E E5/ / / F B 4 53 B 6 l 1 - E6 s 3 4 5EE 5/ ÿ ƒ hf š Â ("() +!MI # + I # + h "! D - 1 s - ; 6 EE / E4 0 F / k 4 : 5; s l B B / 5/ E; 4 5 E 4 y l 6 1 s - ; 6 E E s k 4 : 5B E6 3 = 6 E E s - ; 6 EE l E E6 3 l 1 m B A B 5EE6 1 B : F E s m E - 2 s 5; E m / m ; 6 k E5B 6 s m E6 / 6 A z F m s k E52 2 { x / 8-1 s 6 EE ; 53 B k 3 { - / F : B : F E F 3 l 6 B 4 6 / 6 A B 5EE6 1 s 6 EE- s B : F E l m k E5 B 4 / 5: m F l m F 3 l 1 m B : 54 6 / 3 B F l 3 6 s 5-4 5B B Hw F l m F 4 s - ; 6 EE k E4 F 4 F : 6 / 3-3 5F E B - / k B 3 { - / 3 l ƒ () $ + *" $"()# * + $ J! Interesseområde Mål for modellering Mennesker Modellering Representasonsmetode Eksempel på mål: Lag en kravspesifikason for en ny internettbank for å betene kundene i bank X. ÿ # ( á + '! )! + ("() +! ž ž B 4 x s k 4 : 5 B E6 1 6 E E6 1 s m E; E o ; 6 E6 1 F : r s - ; 6 EE6 / n 0 F / : / B 6 E4 l / 6 1 o l k E 5B k s r = 2 1 k l l 6 1 = 6 E E6 1 ; F 4 F 3 y s 6 1 n } < shb F / k y B B s - ; 6 EE6 1 5/ l 1 m B 6 4 q < sh6 1 k y B 4 5 s - ; 6 EE6 / < < s B F / sh; - s 6 / < 6 / 6 B 3 l E B k / / 3 B F l 6 / 4 5E ; F E6 F B 4 x 1 6 / sh; 6 E4 F 1 9 < s l k E 5B k sh4 - E B 6 1 s - ; 6 E E6 / 4 5 E m 5/ / 6. - E; 6? < shk E5 B 6 ; F 4 F : 6 1 B 4 x y 4 - EB 6 1 s - ; 6 EE6 / 4 5E m 5/ / 6. - E; 6 ž EE6 ; / 6 6 / ; { 6 / / - s s - ; 6 E E6 1 5/ 2 3 F B 4 5: / Verktøy

4 A F B ( + * )() $ $! Jh! + $ ) šm C / k / ; k l l 6 F : ; s. F 1 5 / F : ; s EF s - ; 6 E E o 5/ / r E5 B 6 4 y l / / o 3 4 F B 6. - E; r 5 6 / 3 y s k 4 : 5B E 5/ 2 3 B - / 4 6 B 3 4 n Systemutviklere Brukere og deres ledere (brukerrepresentanter) Ÿ + ' +! $"()# * Hw F l m s - ; 6 EE6 / s F / 4 5 B B 6 / 4 5E 3 l 1 m B shs - ; 6 E E6 / B 1 6 : F / 3 B 5 EE6 s 6 EE- sh; sh6 1 6 B 3 l E k y B 4-2 ; s F s l E k y B 4 Språk: Setningslogikk Eksplisitt modell: A, A -> B Implisitt modell: B Totalmodell: A, B, A -> B Gh& & * $ J" h* # () $ I # + # *"! + & I! # $ 7 1 5s 1 ; - s 6 / 6 4 < E n 3 - sh3 y s 6 4 s m E; En 9 F / B 6 B 3 6 s l 6 E6 4 5/ / 6 8 F ; ; 6 F 3 l 6 B 4 6 / sh / E4 F / 6 1 B { 6 / B / s 4 o 8 n 6 B 3 n D 5/ F / 3 F : 4 F E6 E- : 6 / r C B / ; 6 B - / 4 6 B F : F E E6 1 6 ; s Ex 3 / 5/ 2 6 / l m 6 4. x y F / 53 F 3 { - / 3 6 EE6 1 5/ 8-1 s F 3 { - / 3 3 y s / 5: m n < 6 / F / 53 F 3 { - / 6 EE6 : 51 B 6 E / 5 F / B 6 / o8 n6 B 3 n 6 B / ; 6 1 k 4 5/ k / ; 5/ 2 F : B - / 4 - k 4 3 B r 4 : 5B E5 / 2 3 B - / 4 6 B 3 4 w / 3 5 / E Ex 3 / 5 / 2 6 / B / y E k k F 3 { - / 6 / 5 l 1-3 { 6 B n < 6 / F / 53 F 3 { - / 6 EE6 : 51 B 6 E / 8-1 l 1-3 { 6 B F / 53 F 3 { - / 6 / = EF / 4 F / / / F : s m E s - ; 6 EE6 1 5 / 2 21 fg! '! $ J! # $! + I # + ()# * + $ J!#" $& (' $!*) $,+$-. / $$ 2. + / 5$$. 6 $87. $!. /9. 3:! ; '!5 22 fg! )'! $ J * # () $ + + $ * $ I # + () # $ ("'! $ J /6+<! /<6+<! 9 6+ = 6+ = 9 Kravspesifikason: Man ser kun på den eksternt observerbare oppførsel til data-systemet Design: Man ser også på den interne oppbygging av det tekniske systemet 6+< $ $ Â ()() +!MI # + ()# *! Modeling domain CD Modeller explicit knowledge Physical Semantic CE explicit knowledge Goals of modelling Organizational Model externalization Empirical Technical pragmatic Technical Perceived semantic pragmatic Syntactic Er modellen av høy kvalitet? Hva må eg vite for å kunne si mer om dette? Language extension

5 K Kan K Kan H# *! (Š& I # + ) ' + + )'!! &! + PERSON N WRITES M PAPER Språk: ER Primærdomene: Konferanseorganisering Utviklingskontekst: Design av databaseløsning TITLE LANGUAGE œ!h! / $G'HJI = Setter krav til språkene som er brukt 6$92 Persistens Tilgengelighet man uttrykke ønsket kunnskap? deltagerne bruke språkene effektivt? -> Egnede språk og språktilpasningsmekanismer -> Databasefunksonalitet (repository) ƒ (Š& +!h! $ $ Ergonomi Graf og dokument-layout Lesbarhet Informasonsteori! $$ $ Expressive economy Bruk av uthevelser 7! (Automatisk) graf-layout, beregning av lesbarhetsindeks, grammatikksekk, evaluering av fargebruk. ƒ! (Š& & h* + J"J + I # ' ÿ $!!h! + 5$ 21H I = Syntaktisk ugyldighet Syntaktisk ufullstendighet! $$ $ Formell syntaks 7! Feilforhindring Feildetekson Feilkorrekson (automatisk eller via forslag ( spellcheck ) ) ƒ! (Š& & h $!! ' J * J

6 ƒ! (Š& & h $!! ' I ' $ * J ÿ () $!h! $ Gyldighet: M\D =Ø Kompletthet: D\M = Ø 2! L9$L!; $$ $ $$ 7 L!M$$! $$N! 9JL! ƒ! (Š& & h () $! ' J * J + J ()!h! $ $O59$ 6I 2! $$ $$!$O 22N P 9$5 5O + 5! $$ 7 55N! $N 65!;55!$Q$ $N ƒ! (Š& & I + + $ Jg ÿ & +! I + ƒ! (Š& & I + + $ Jg H# * I

7 ƒ! (Š& & h + $ I # + () # $ Gh& & I () $!h! $ Oppfattet gyldighet: I\K = Ø Oppfattet kompletthet: K\I = Ø Feasibility P $$!$ 5! 2Q!$O55 P 5 $!!$ $ $$!Q $2 $$5$$$ $ $$ $! L!L ÿ #! $ /2 5;$ ; $$ :$!!P9$2 L9$L2!$! $!$ 6! 55 2 $!! 55 O2!$ 5 P + 5 NQO$ 5 $2$! 2O 5$ $$ 7 $!M$$ 92$ H# *! (Š& h "! + ("() +! I J ' + R ST S U T g' $ $! &! " $$!! $ $2! 5 $! $$V 5 H' I = " $J 5 'H I = 7! Identifisering av interessenter Identifisering av kunnskapskilder Forskning og undersøkelser Utvelgelse av deltagere Opplæring av deltagere ÿ & +!! Utvelgelse/avgrensning 41 av problem 42 5 $$ $ $$5Q$$5$ $ 5$N 5 5 $ $! $ O $ $ $5 )$ $ 5 5$$ 2$ $ $ 7 7

8 Z Oppfattet \ W Y X [ ` ] _ ^ a ÿ & +!! I # + # *"! + ("() +! Modeling domain Participant knowledge Knowledge externalizability appropriateness / Participant language knowledge appropriateness Model externalization Domain appropriateness Technical 43 Technical appropriateness Comprehensibility appropriateness Language extension # # +! # + + ("() +! Knowledge Modeling domain b Participant Perceived knowledge semantic Semantic Physical Empirical Model externalization Pragmatic Technical 44 Pragmatic Domain appropriateness Knowledge externalizeability appropriateness/ Participant language knowledge appropriateness Syntactic Comprehensibility appropriateness Language extension Technical appropriateness }~ ~ cde < ƒ fghg i klmnnmopqr st pqukov swxkqwwywzmv mo{gg '!$959!$! 5 N!$! 2$ $!$5 $$ $ Fysisk Empirisk Syntaktisk Semantisk Pragmatisk Sosial (Organisasonell) semantisk $ ' 55 5!$ $$!$ 5!$ N $ 45 Replace cde fghg i klmnnmopqr st pqukov swxkqwwywzmv mo{gg Š Œ ƒ Š<Ž ƒ ~ ƒ ŒŒƒ ƒ ŒŒƒ 66 2 '! + +6 /V$ 66 < this text with file name

Kvalitet av konseptuelle modeller

Kvalitet 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.

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

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

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

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

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

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

PDF created with pdffactory Pro trial version

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

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

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

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

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

PDF created with pdffactory Pro trial version

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

Detaljer

PDF created with pdffactory Pro trial version

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

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

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

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

Kravspesifisering (2): Validering av kravspek er

Kravspesifisering (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

Detaljer

KONTINUASJONSEKSAMEN I FAG 78052 SYSTEMERING 2 Torsdag 24. august 2000 Tid: kl 0900-1300

KONTINUASJONSEKSAMEN 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.

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

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ Ÿ Œ œ ˆ ˆ Š Œ. .. ³μ. μ ± Ë ²Ó Ò Ö Ò Í É Å ˆˆ Ô± ³ É ²Ó μ Ë ±, μ, μ Ö Œ Œ ˆˆ 79 ˆ Š ˆ

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ Ÿ Œ œ ˆ ˆ Š Œ. .. ³μ. μ ± Ë ²Ó Ò Ö Ò Í É Å ˆˆ Ô± ³ É ²Ó μ Ë ±, μ, μ Ö Œ Œ ˆˆ 79 ˆ Š ˆ ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ 01.. 4.. 1 Ÿ Œ œ ˆ ˆ Š Œ ˆˆ ˆÄ ˆƒƒ Œˆ Œ Š.. ³μ μ ± Ë ²Ó Ò Ö Ò Í É Å ˆˆ Ô± ³ É ²Ó μ Ë ±, μ, μ Ö ˆ 70 Ÿ Œ œ ˆ ˆ Š Œ ˆˆ ˆÄ 7 ˆ ˆ IFW- ˆˆ ˆ Œ Œ Œ ˆˆ 79 Š ˆ 80 ˆ Š ˆ 81 E-mail: neznamov@vniief.ru

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

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

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

Kvalitet av modelleringsspråk

Kvalitet av modelleringsspråk Kvalitet av modelleringsspråk Oversikt over forelesningen Språkkvalitet som del av kvalitetsrammeverket Evaluation of Object-oriented Modelling languages: A comparison between OML and UML Prasse - Brukt

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

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

Velkommen til INF2100

Velkommen til INF2100 Kursopplegg Velkommen til INF2100 Jeg er (dag@ifi.uio.no). Dagens tema: Hva går kurset ut på? Bakgrunn for kurset Hvordan gjennomføres kurset? Hvordan får man det godkjent? Pause (med registrering av fremmøte)

Detaljer

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

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

Detaljer

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

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

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

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

Velkommen til INF2100

Velkommen til INF2100 Kursopplegg Velkommen til INF2100 Jeg er (dag@ifi.uio.no). Dagens tema: Hva går kurset ut på? Bakgrunn for kurset Hvordan gjennomføres kurset? Hvordan får man det godkjent? Pause (med registrering av fremmøte)

Detaljer

v2w x y z { v2~ x x z x x x ƒ S F< E: >U V A C U C > h G T : U E T AAC > H C A r

v2w x y z { v2~ x x z x x x ƒ S F< E: >U V  A C U C > h G T : U E T AAC > H C A r Œ 0 Œ åde Œ mer!! *)+,.- / 0 / 12! +. 9 = D FF FI F K L K M N N FK L P Q R2 S Q V W Y Z S2^ V vorfor modellere, vorfor ta faget vgrenning av faget intereeområde S W I = V Y a bc V Y S2^ YY V FN d Y W =

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

EXAM IN COURSE TDT4252 MODELING OF INFORMATION SYSTEMS- ADVANCED COURSE

EXAM IN COURSE TDT4252 MODELING OF INFORMATION SYSTEMS- ADVANCED COURSE Page 1 of 8 NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE Contact during the exam: John Krogstie Ph: 93 41 75 51 EXAM IN COURSE TDT4252 MODELING OF INFORMATION

Detaljer

LØSNINGSSKISSE- EXAM IN COURSE TDT4250 MODELLING OF INFORMATION SYSTEMS

LØSNINGSSKISSE- EXAM IN COURSE TDT4250 MODELLING OF INFORMATION SYSTEMS Page 1 of 17 NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE Contact during the exam: Hallvard Trætteberg Ph: 73 59 34 43/91 89 72 63 LØSNINGSSKISSE- EXAM

Detaljer

ˆ ˆŒˆ ˆŸ Š Œ ƒˆˆ 60Ä1000 ŒÔ ˆ ˆŠ ˆŸ Ÿ ˆ ˆ ˆ ˆ Š ˆ Š ˆŠˆ

ˆ ˆŒˆ ˆŸ Š Œ ƒˆˆ 60Ä1000 ŒÔ ˆ ˆŠ ˆŸ Ÿ ˆ ˆ ˆ ˆ Š ˆ Š ˆŠˆ Ó³ Ÿ. 2017.. 14, º 1(206).. 144Ä163 ˆ ˆŠ ˆ ˆŠ Š ˆ ˆ ˆŒˆ ˆŸ Š Œ ƒˆˆ 60Ä1000 ŒÔ ˆ ˆŠ ˆŸ Ÿ ˆ ˆ ˆ ˆ Š ˆ Š ˆŠˆ.. É ³μ μ 1,. Œ. ˆ μ,.. ˆ μ,.., ƒ.. Ö μ ƒ É Ê ± É ÉÊÉ Ö μ Ë ± ³... Šμ É É μ ˆ ŠÊ Î Éμ ± É ÉÊÉ, ƒ

Detaljer

LØSNINGSSKISSE- EXAM IN COURSE TDT4250 MODELLING OF INFORMATION SYSTEMS

LØSNINGSSKISSE- EXAM IN COURSE TDT4250 MODELLING OF INFORMATION SYSTEMS Page 1 of 12 NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE Contact during the exam: Hallvard Trætteberg Ph: 73 59 34 43/91 89 72 63 LØSNINGSSKISSE- EXAM

Detaljer

Digital representasjon

Digital representasjon Hva skal jeg snakke om i dag? Digital representasjon dag@ifi.uio.no Hvordan lagre tall tekst bilder lyd som bit i en datamaskin INF Digital representasjon, høsten 25 Hvordan telle binært? Binære tall Skal

Detaljer

Oppgave 1 Referent Modell (20%)

Oppgave 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

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

(a δ,a+δ), (a δ,a+δ) = {x R x a < δ}. (a δ,a+δ)\{a} = (a δ,a) (a,a+δ) = {x R 0 < x a < δ}, f(x) = 2x 1.

(a δ,a+δ), (a δ,a+δ) = {x R x a < δ}. (a δ,a+δ)\{a} = (a δ,a) (a,a+δ) = {x R 0 < x a < δ}, f(x) = 2x 1. ÆÇÌ Ì ÇÅ Ê ÆË Ê Î Ä ÌÁÄ ÊÍà Á ÃÍÊË Ì Å Ì½½½ Î ÍÆÁÎ ÊËÁÌ Ì Ì Á Ê Æ ØØ ÒÓØ Ø Ø ÒÒ ÓÐ Ö ÒÓ ÒÝØØ Ô Ò ÙÑ ÙÖ Ø Å Ì½½½ ÓÖ ÓÐ Ø Ð ÐÖ Ó Ò Ó Ö ÙÒ Ñ ÒØ ÓÑ Ø ÙØ ÝÐÐ Ò ÒÓØ Ø Ø Ð Ã Ô ØØ Ð ½ Ñ Ð ÒØ ÒÒ Ø ÒÓ Ò Ö ÑÔÐ Ö

Detaljer

EKSAMEN I FAG SIF 8060 Modellering av Informasjonssystemer Mandag 21. mai 2001

EKSAMEN I FAG SIF 8060 Modellering av Informasjonssystemer Mandag 21. mai 2001 NORGES TEKNISK- NATURVITENSKAPELIGE UNIVERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSVITENSKAP Side 1 av 3 Faglig kontakt under eksamen: Navn: Hallvard Trætteberg Tlf.: 7359 3443 EKSAMEN I FAG SIF

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

EKSAMEN I FAG SYSTEMERING 2 LØSNINGSFORSLAG Mandag 18. mai 1998 Tid: kl

EKSAMEN 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

Detaljer

Utgangspunkt: kvalitetsrammeverket

Utgangspunkt: kvalitetsrammeverket Utgangspunkt: kvalitetsrammeverket Metoder for å sikre syntaktisk og semantisk kvalitet Boka kap. 4 og 5 Participant knowledge K Physical Perceived semantic Empirical I Guttorm Sindre, IDI Modeling domain

Detaljer

Vår ref.: Saksbehandler: Arkiv: 15/ Frode Mikalsen U43 AKVA Løpenr.: Tlf. dir.innvalg: Deres ref.: Dato: 6880/

Vår ref.: Saksbehandler: Arkiv: 15/ Frode Mikalsen U43 AKVA Løpenr.: Tlf. dir.innvalg: Deres ref.: Dato: 6880/ f f æ Å f f f WÅ Ø Ø Å ØY f W ff f j () f f j æ f f j W f f W j f j (jf æ ) f W æ j f f f j j f f f j f ff f W f W f Ø @f wwwf f W "xff "? f W f f W j H j f f j ()) j f f f j j j f j f f ( ) f j f ff f

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

Oppgave 1. Modelleringsperspektiver og modelleringsspråk (40%) Alle underoppgavene teller likt

Oppgave 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

Detaljer

Digital representasjon

Digital representasjon Hva skal jeg snakke om i dag? Digital representasjon dag@ifi.uio.no Hvordan lagre tall tekst bilder lyd som bit i en datamaskin Hvordan telle binært? Binære tall For å bruke bit (0 og 1) som tall, må vi

Detaljer

En praktisk anvendelse av ITIL rammeverket

En praktisk anvendelse av ITIL rammeverket NIRF 17. april 2012 En praktisk anvendelse av ITIL rammeverket Haakon Faanes, CIA,CISA, CISM Internrevisjonen NAV NAVs ITIL-tilnærming - SMILI NAV, 18.04.2012 Side 2 Styring av tjenestenivå Prosessen omfatter

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

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

ISO Dagens tema. Tegn. Uttrykk. I Minila lagres kun heltall, men de kan tolkes som tegn. Det siste om Minila.

ISO Dagens tema. Tegn. Uttrykk. I Minila lagres kun heltall, men de kan tolkes som tegn. Det siste om Minila. April 1995, DFL, Ifi/UiO Dagens tema Dagens tema Det siste om Minila og tekster Flink maskinen Litt datamaskinhistorie Registre og lagre Instruksjoner Flok kode Flass kode I Minila lagres kun heltall,

Detaljer

dq = c v dt + pdα = 0 dq = c p dt αdp = 0 µ pdα = αdp c p dα = c v dp = c v = D θ = T

dq = c v dt + pdα = 0 dq = c p dt αdp = 0 µ pdα = αdp c p dα = c v dp = c v = D θ = T ÙÖ ½ ÇÔÔ Ø Ò Ò Ò ÓÔÔ Ú º¾½ºÌº ¾¾¼¼ ØÑÓ Ö Ý ¾¼½ Ä Ò Ò ÓÖ Ð Ø Ð ÑÐ Ñ ØØ ÖÑÓÔÔ Ú Ö º¾½ºÌ Î ÒØ Ö Ø ÖÖ ÐÙ Ø Ó Ö Ø Ð Ô Ö Ø Ò Γ ÓÖ ÓÑ Ú Ð Ò µ ÐÐØ Ö Ñ Ò Ö ÒÒ Ø ÖÖ Ø Ò ÙÖ ½µº ÖÑ Ú Ð ÐÙ Ø ÓÑ Ú Ø Ð Ö Γ d µ ÐÐØ Ð

Detaljer

KONTINUASJONSEKSAMEN I FAG 78052/45161 SYSTEMERING 2 Onsdag 18. august 1999 Tid: kl

KONTINUASJONSEKSAMEN 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

Detaljer

EXAM IN COURSE TDT4250 MODEL-DRIVEN DEVELOPMENT OF INFORMATION SYSTEMS

EXAM IN COURSE TDT4250 MODEL-DRIVEN DEVELOPMENT OF INFORMATION SYSTEMS Page 1 of 7 NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE Contact during the exam: John Krogstie Ph: 93 41 75 51 EXAM IN COURSE TDT4250 MODEL-DRIVEN DEVELOPMENT

Detaljer

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ ± É,. ˆ. ˆ ± Ñ Ò É ÉÊÉ Ö ÒÌ ² µ, Ê

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ ± É,. ˆ. ˆ ± Ñ Ò É ÉÊÉ Ö ÒÌ ² µ, Ê ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ 2004.. 35.. 2 Š 621.039.5; 550.837 ƒ ˆŸ Š Œ.. ± É,. ˆ. ˆ ± Ñ Ò É ÉÊÉ Ö ÒÌ ² µ, Ê ˆ 349 Š ƒ ƒˆ Šˆ Œ ˆ ˆ ƒ ˆ Šˆ Š ˆ 350 Ÿ œ Œ Š Œˆ ˆ ˆ ˆ ŠˆŒˆ Œˆ ƒ ˆ Œ ˆ 366 ˆ œ ˆ Š ƒ - ˆ ˆˆ Œ ƒ ƒˆˆ ˆ ƒ

Detaljer

EKSAMEN I FAG 78052 SYSTEMERING 2 Tirsdag 23. mai 2000 Tid: kl 0900-1300

EKSAMEN I FAG 78052 SYSTEMERING 2 Tirsdag 23. mai 2000 Tid: kl 0900-1300 NORGES TEKNISK- NATURITENSKAPELIGE UNIERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSITENSKAP Side 1 av 8 Faglig kontakt under eksamen: Navn: Hallvard Trætteberg Tlf.: 7359 3443 Hjelpemidler: Ingen tillatte

Detaljer

SAKSLISTE SIGDAL KOMMUNE

SAKSLISTE SIGDAL KOMMUNE SAKSLISTE SIGDAL KOMMUNE Styre/råd/utvalg: Sigdal Kommunale råd for mennesker med nedsatt funksjonsevne Møtested: Kommunehuset Møtedato: 03.03.2015 Tid: 10:00 Det innkalles med dette til møte i Sigdal

Detaljer

Prosjektplan v1.3 (final)

Prosjektplan v1.3 (final) Prosjektplan v1.3 (final) gruppe 42: Nils-Kristian Liborg (kap.5), Bente Brevig (kap.5), Tom Olav Bruaas (kap: 3.4, 4.1), Eirik Lied (kap: 3.4, 4.1) Hege Lid Pedersen (dokumentasjon, kap: 1, 2, 3.3, 4.3)

Detaljer

Innovasjonsvennlig anskaffelse

Innovasjonsvennlig anskaffelse UNIVERSITETET I BERGEN Universitetet i Bergen Innovasjonsvennlig anskaffelse Fredrikstad, 20 april 2016 Kjetil Skog 1 Universitetet i Bergen 2 Universitetet i Bergen Driftsinntekter på 4 milliarder kr

Detaljer

Úª ª ÛøƵ ªµ ªÆÚ ± ÊÒÒ Úª ª ÛøƵ ªµ ªÆÚ ±

Úª ª ÛøƵ ªµ ªÆÚ ± ÊÒÒ Úª ª ÛøƵ ªµ ªÆÚ ± ÆøÊ ±Æ ª ªºÆª; Ã Ê ± ± øµ fiß ª øµ ø ºª ª Ù ÿª ª ÿ± ª Ù Õ ªª Ù fl ª øæ fl ªÚÕ ªª ø Ú ± ªÊ Õ(µ øº ± ª ºÆ Õ ÆÚÓ Ô ÔÌÍËÍ ÆÚÔÍËÙ æ ÆÚÔÈ ÏÚ ªº ø Õ(µ øº ± ª ºÆ Õ ÆÚÓ Ô ÔÌÍËÍ ÆÚÔÍËÙ æ ÆÚÔÈ ÏÚ ªº ª ª ±Æ ª ªºÆª;

Detaljer

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

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

Detaljer

EKSAMEN I EMNE TMA4285 TIDSREKKER OG FILTERTEORI 15. desember 2004 Tid: 09:0013:00

EKSAMEN I EMNE TMA4285 TIDSREKKER OG FILTERTEORI 15. desember 2004 Tid: 09:0013:00 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 3 Bokmål Faglig kontakt under eksamen: Arvid Næss 73 59 70 53/ 99 53 83 50 EKSAMEN I EMNE TMA4285 TIDSREKKER OG FILTERTEORI

Detaljer

Examination paper for TDT4252 and DT8802 Information Systems Modelling Advanced Course

Examination paper for TDT4252 and DT8802 Information Systems Modelling Advanced Course Department of Computer and Information Science Examination paper for TDT4252 and DT8802 Information Systems Modelling Advanced Course Academic contact during examination: Phone: Examination date: Examination

Detaljer

Public roadmap for information management, governance and exchange. 2015-09-15 SINTEF david.norheim@brreg.no

Public roadmap for information management, governance and exchange. 2015-09-15 SINTEF david.norheim@brreg.no Public roadmap for information management, governance and exchange 2015-09-15 SINTEF david.norheim@brreg.no Skate Skate (governance and coordination of services in egovernment) is a strategic cooperation

Detaljer

Sjøtorget brygge. Konkurransegrunnlag NY KAI. Prosjektbeskrivelse:

Sjøtorget brygge. Konkurransegrunnlag NY KAI. Prosjektbeskrivelse: Sjøtorget brygge Konkurransegrunnlag NY KAI Prosjektnavn: Prosjektbeskrivelse: Oppdragsgiver: Sjøtorget brygge, Drøbak Oktober 2015 Sjøtorget brygge, Drøbak A-1 A PROSJEKTINFORMASJON A.1 Dokumentliste

Detaljer

INF5120 Modellbasert systemutvikling

INF5120 Modellbasert systemutvikling INF5120 Modellbasert systemutvikling Interoperability Frameworks Information and ontologies s Forelesning 23.04.2007 Arne-Jørgen Berre Arne.J.Berre@sintef.no Pensum litteratur F Foiler fra alle forelesningene,

Detaljer

P ±Ê. Š - ˆ Œˆ œ Ÿ Š ˆŒ ˆŸ ƒ Ÿ Š Œ ˆ ŠˆŒ. ² μ Ê ² Œ É ³ É Î ±μ ³μ ² μ.

P ±Ê. Š - ˆ Œˆ œ Ÿ Š ˆŒ ˆŸ ƒ Ÿ Š Œ ˆ ŠˆŒ. ² μ Ê ² Œ É ³ É Î ±μ ³μ ² μ. P-22-86.. ±Ê Š - ˆŒˆ œÿ Š ˆŒ ˆŸ ƒ Ÿ Š Œ ˆ ŠˆŒ ˆ Œ ² μ Ê ² Œ É ³ É Î ±μ ³μ ² μ E-mail: dnd@jinr.ru ±Ê.. P-22-86 ŠÊ μî μ- μ² μ³ ²Ó Ö μ± ³ Í Ö Ï Éμ μ μ Ö ± Éμ³ É Î ± ³ μ Ê ³ Ê ²μ ŠμÔËË Í ÉÒ ³μ ² ²μ± ²Ó μ

Detaljer

Hvordan 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 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

Detaljer

Tegn og tekst. \yvind og ]se N{rb}? Læreboka kapittel August Institutt for informatikk 29. august 2007.

Tegn og tekst. \yvind og ]se N{rb}? Læreboka kapittel August Institutt for informatikk 29. august 2007. Tegn og tekst \yvind og ]se N{rb}? Læreboka kapittel 2 29. ugust 2007 IN1040-tekst-1 Problemstilling Utgangspunkt: Hvert tegn i teksten representeres av et unikt bitmønster. Eksempel: Med E = 01000101,

Detaljer

EXAM IN COURSE TDT4250 MODEL-DRIVEN DEVELOPMENT OF INFORMATION SYSTEMS

EXAM IN COURSE TDT4250 MODEL-DRIVEN DEVELOPMENT OF INFORMATION SYSTEMS Page 1 of 11 NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE Contact during the exam: John Krogstie Ph: 93 41 75 51 EXAM IN COURSE TDT4250 MODEL-DRIVEN DEVELOPMENT

Detaljer

ÓÖÓÖ Ì Ø Ð ½ºÚ Ð Ö ËØ Ò Ö Î Ø ÔÖÓ ÓÖ ÁÒ Ø ØÙØØ ÓÖ ÓÒÓÑ Ú Í µ ÓÖ Ò Ñ ÒØ Ð Ö Ø Ú Ø Ø Ó Ò ÓÖÑ Ø Ú Ú Ð Ò Ò Ö ÒÒÓÑ Ð Ö ÔÖÓ Òº Ì Ø Ð ¾ºÚ Ð Ö Ö Ð Ú Ö Ø Ñ ÒÙ

ÓÖÓÖ Ì Ø Ð ½ºÚ Ð Ö ËØ Ò Ö Î Ø ÔÖÓ ÓÖ ÁÒ Ø ØÙØØ ÓÖ ÓÒÓÑ Ú Í µ ÓÖ Ò Ñ ÒØ Ð Ö Ø Ú Ø Ø Ó Ò ÓÖÑ Ø Ú Ú Ð Ò Ò Ö ÒÒÓÑ Ð Ö ÔÖÓ Òº Ì Ø Ð ¾ºÚ Ð Ö Ö Ð Ú Ö Ø Ñ ÒÙ ÈÖ Ö Ó ÓÒØÖ Ø Ö Ö ÙÐ Ö ØÐ Ú Ö Ò Ö Ö Ì ÓÖ Ø Ó ÑÔ Ö Ò ÐÝ Å Ø ÖÓÔÔ Ú Ñ ÙÒÒ ÓÒÓÑ Ã Ö Å Ö Ö Ø Ð ØÖ ÁÒ Ø ØÙØØ ÓÖ ÓÒÓÑ ÍÒ Ú Ö Ø Ø Ø Ö Ò À Ø ¾¼¼ ÓÖÓÖ Ì Ø Ð ½ºÚ Ð Ö ËØ Ò Ö Î Ø ÔÖÓ ÓÖ ÁÒ Ø ØÙØØ ÓÖ ÓÒÓÑ Ú Í µ ÓÖ

Detaljer

Elektronisk fakturering mellom bedrifter

Elektronisk fakturering mellom bedrifter Elektronisk fakturering mellom bedrifter Oversikt over den internasjonale utviklingen Arild Haraldsen Adm. Dir. NorStella Vice Chair UN/CEFACT BUREAU Arbeidet med standardisering av elektronisk fakturering

Detaljer

Tegn og tekst. \yvind og ]se N{rb}? Læreboka kapittel 2. Institutt for informatikk Gerhard Skagestein 30. august 2006.

Tegn og tekst. \yvind og ]se N{rb}? Læreboka kapittel 2. Institutt for informatikk Gerhard Skagestein 30. august 2006. Tegn og tekst \yvind og ]se N{rb}? Læreboka kapittel IN-tekst- Om tegn og glyfer Tegn et bakenforliggende begrep for bestemte strektegninger på papir, skjerm, steintavler... Glyf t tegn kan vises fram

Detaljer

FELLESNEMND FOR KOMMUNANE ULLENSVANG, JONDAL OG ODDA I PERIODEN

FELLESNEMND FOR KOMMUNANE ULLENSVANG, JONDAL OG ODDA I PERIODEN FELLESNEMND FOR KOMMUNANE ULLENSVANG, JONDAL OG ODDA I PERIODEN 2017-2019 MØTEINNKALLING: Dato: 13.09.2017 Kl. : 09:00 Stad : Kommunestyresalen i Odda Saksliste 001/17 Godkjenning av innkalling / underteikning

Detaljer

Øystein Haugen, Professor, Computer Science MASTER THESES Professor Øystein Haugen, room D

Øystein Haugen, Professor, Computer Science MASTER THESES Professor Øystein Haugen, room D Øystein Haugen, Professor, Computer Science MASTER THESES 2015 Professor Øystein Haugen, room D1-011 1 Hvem er jeg? Øystein Haugen, nytilsatt professor i anvendt informatikk på Høyskolen i Østfold, avdeling

Detaljer

20.01.2012. Brukerkrav og use case diagrammer og -tekst 19. januar 2012. Agenda. Brukerkrav og use case. Diagrammer Tekst.

20.01.2012. Brukerkrav og use case diagrammer og -tekst 19. januar 2012. Agenda. Brukerkrav og use case. Diagrammer Tekst. Brukerkrav og use case diagrammer og -tekst 19. januar 2012 Agenda Brukerkrav og use case Diagrammer Tekst Praktisk eksempel 1 OOAD i livsløpsperspektiv Krav Design Konstruksjon Her er vi i nå Testing

Detaljer

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ Ï Ìμ μ. Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê

ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ Ï Ìμ μ. Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê ˆ ˆŠ Œ ˆ ˆ Œ ƒ Ÿ 2015.. 46.. 1 Š ˆ Š Š Š.. Ï Ìμ μ Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê ˆ 167 Œ 168 Šμ É Ê±Í Ö 168 μ É Ò Ì ±É É ± 171 ˆ ˆ Šˆ 172 ˆμ Í Ö μ, μ μ Ê ² 172 Í É Ö 173 ³Ò μéò 178 ƒ μ Ò ³ 180 ² Ö ³ É μ μ± Ê ÕÐ

Detaljer

Oversikt over forelesningen. Kvalitetssikring i IS-utv. (1) Motivasjon for kvalitetssikring

Oversikt over forelesningen. Kvalitetssikring i IS-utv. (1) Motivasjon for kvalitetssikring 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

Detaljer

Postmottak Bergen kommune

Postmottak Bergen kommune Fra: Morten Nytun Sendt: 10. mars 2014 10:34 Til: Postmottak Byggesaksavdelingen Kopi: Ulvik, Kjersti Benedikte; Ida Furuholmen Emne: Utfyllende anke sak nr 201127343 Sæls Veie

Detaljer

Understanding Quality in Conceptual Modeling

Understanding Quality in Conceptual Modeling Understanding Quality in Conceptual Modeling Odd Ivar Lindland, Guttorm Sindre, Arne Sølvberg IEEE Software, March 1994 Innhold Modelleringsspråk; eksempler Egenskaper og Perspektiver Hva er en god modell?

Detaljer

Læringsmål. INF1000: Forelesning 12. Hovedkilde. Kunne binærtall og heksadesimale tall og konvertering mellom ulike tallsystemer: Titallsystemet

Læringsmål. INF1000: Forelesning 12. Hovedkilde. Kunne binærtall og heksadesimale tall og konvertering mellom ulike tallsystemer: Titallsystemet INF1000: Forelesning 12 Digital representasjon av tall og tekst Læringsmål Kunne binærtall og heksadesimale tall og konvertering mellom ulike tallsystemer: Titallsystemet Det heksadesimale Det binære tallsystemet

Detaljer

Kommunestyrets vedtak til Budsjett Tinn kommune. K-sak 112/14

Kommunestyrets vedtak til Budsjett Tinn kommune. K-sak 112/14 til Budsjett 2015 Tinn kommune K-sak 112/14 Vedtatt i Tinn kommunestyret 18. desember 2014 INNHOLDSFORTEGNELSE Forord 3 1. 4 2. Hovedoversikter kommunestyrets vedtak til Budsjett 2015 7 3. Rådmannens budsjettforslag

Detaljer

Managing Risk in Critical Railway Applications

Managing Risk in Critical Railway Applications Managing Risk in Critical Railway Applications Topics Railway signalling Real projects Regulator, standards and the law Acceptance criteria for signalling systems (SIL) Risk analysis a special case The

Detaljer

Internasjonal standardisering. Erlend Øverby erlend.overby@hypatia.no

Internasjonal standardisering. Erlend Øverby erlend.overby@hypatia.no Internasjonal standardisering Erlend Øverby erlend.overby@hypatia.no Internasjonal standardisering SN/K186 Standard Norge, Komite 186 Norsk skyggekomite: ISO IEC/JTC1/SC36 CEN TC353 ISO/IEC JTC1/SC36 (ITLET)

Detaljer

Svar på anmoding om tilleggsopplysninger

Svar på anmoding om tilleggsopplysninger Bergen kommune Etat for byggesak og private planer Att: Ingrid Sundt Pb 7700 5020 Bergen DERES REFERANSE VÅR REFERANSE DATO 201503079 99746001 - Elnes 07.10.2015 Gbnr Riving/oppføring garasje Svar på anmoding

Detaljer

Hovedtall for norsk FoU

Hovedtall for norsk FoU Reidar Conradi Institutt for datateknikk og informasjonsvitenskap Norges teknisk-naturvitenskaplige universitet www.idi.ntnu.no/~conradi, conradi@idi.ntnu.no Tel 73.593444, Fax 73.594466 IDI-seminar, Bårdshaug,

Detaljer

(+ /$0 &&&" 1&& 2 3 &$%+ 2 4 $%+ 5

(+ /$0 &&& 1&& 2 3 &$%+ 2 4 $%+ 5 !"#$$%% &%$$'$!"#$'$(&$'&))'!$ *$ +! " #$%& ' $&%!)'&##!(&%!)'&))'!$ *$ () *+%+ $ $),% $ -. #,&)-&%!).#,$$)%&%!)$%&)%$)&)$'")$% &%$$'&"%! &%!)$)"%,&)% '$!"#$/ (+ /$0 &&&" *+%$ " 1&& 2 )$02 0!#!&)%'")!'$,$'&"%1$)%-&%!)2

Detaljer

SAKSLISTE SIGDAL KOMMUNE

SAKSLISTE SIGDAL KOMMUNE SAKSLISTE SIGDAL KOMMUNE Styre/råd/utvalg: Hovedutvalg for helse og sosial Møtested: Komunestyresalen Møtedato: 20.05.2014 Tid: 12:00 Det innkalles med dette til møte i Hovedutvalg for helse og sosial.

Detaljer

Presenting a short overview of research and teaching

Presenting a short overview of research and teaching Presenting a short overview of research and teaching Portuguese in Norway at university level Diana Santos d.s.m.santos@ilos.uio.no Romanskfagråd møte, Oslo, 31 October 2014 Research Research under Linguateca

Detaljer

Forbedret påskekorrigering for detaljomsetning

Forbedret påskekorrigering for detaljomsetning Notater Documents 1/2013 Dinh Quang Pham Forbedret påskekorrigering for detaljomsetning Notater 1/2013 Dinh Quang Pham Forbedret påskekorrigering for detaljomsetning Statistisk sentralbyrå Statistics

Detaljer

Meta- og språk-modellering

Meta- og språk-modellering Oversikt over ukas tema Meta- og språk-modellering Guttorm Sindre, IDI Motivasjon for metamodellering Oversikt over sentrale konsepter (2.4 fra boka ) Uttrykkskraft for konseptuelle modelleringsspråk Metamodellering,

Detaljer

Brukergrensesnittdesign

Brukergrensesnittdesign Brukergrensesnittdesign Hva er brukergrensesnittet? Tone Bratteteig INF-102, 7/3 2003 se lenke fra INF102s web-side: http://www.sylvantech.com/~talin/projects/ui_design.html A summary of principles for

Detaljer

Use case modellen. Use case modellering i analysefasen. Hva er en Aktør? Hva er et Use case? Use case modellering. Eksempel

Use case modellen. Use case modellering i analysefasen. Hva er en Aktør? Hva er et Use case? Use case modellering. Eksempel Use case modellen Use case modellering i analysefasen Metode for å identifisere og beskrive de funksjonelle kravene til et system Kapittel 3 i UML Distilled Kirsten Ribu beskriver kravene til systemet,

Detaljer

Capturing the value of new technology How technology Qualification supports innovation

Capturing the value of new technology How technology Qualification supports innovation Capturing the value of new technology How technology Qualification supports innovation Avanserte Marine Operasjoner - Fra operasjon til skip og utstyr Dag McGeorge Ålesund, 1 Contents Introduction - Cheaper,

Detaljer

SERES - status Ressursnettverk for eforvaltning og Norstella Elektronisk Samhandling i Offentlig Sektor 27.august 2009

SERES - status Ressursnettverk for eforvaltning og Norstella Elektronisk Samhandling i Offentlig Sektor 27.august 2009 SERES - status Ressursnettverk for eforvaltning og Norstella Elektronisk Samhandling i Offentlig Sektor 27.august 2009 David Norheim, Computas 1 1 Agenda Litt kontekst SERES

Detaljer