Operativsystemer.  Tilstandsmaskiner kalles på engelsk Finite State Machines.  Tilstandsmaskiner er en metode til å beskrive systemer med logisk og.

Slides:



Advertisements
Liknende presentasjoner
Reisefot På Gir oversikt og sikrer deres rutiner.
Advertisements

Nedlasting av apper på Apple
Repetisjon innkapsling static tabell av primitiv datatype LC191D Videregående programmering Høgskolen i Sør-Trøndelag, Avdeling for informatikk og e-læring.
14 okt. 2003, Arne Maus Inst. for informatikk, UiO
Hvordan bruke en videokanon
C++ for Java-programmerere
Høgskolen i Sør-Trøndelag, Avdeling for informatikk og e-læring
Programmering i ActionScript - hva er det, og hvordan undervise?
BRUKERVEILEDNING - AquaLog 05. MARS Brukerveiledning - AquaLog  Denne presentasjonen skal gi brukeren en innføring i bruken av vedlikeholdsprogrammet.
Høgskolen i Oslo - GM Vær metodisk  Definer og forstå problemet  Spesifiser hva du har av hardware  Lag en prototyp av brukersnittet  Design.
Introduksjon til objektorientert programmering i PHP
Grunnleggende spørsmål om naturfag
Operativsystemer.  En prosess kan sees på som et stykke arbeid som skal utføres på datamaskinen.  Ofte vil det være flere prosesser/tråder på datamaskinen.
Høgskolen i Oslo Webprogrammering Introduksjon til Java-scripting.
Objekt, Instanser og referanser + litt til. Objekter  Instanser  En instans er et objekt av en bestemt klasse  Instanser blir laget ved å kalle klassens.
Objektorientert programmering i PHP del 2
IS-102 Klassedefinisjoner
C# for javaprogrammerere
Generelt I/O if/else Funksjoner Lists Løkker Dictionaries Annet Listebehandling Klasser Python med noen algdat-anvendelser Åsmund Eldhuset asmunde *at*
Grunnleggende testteori
Feilhåndtering. Feil er uunngåelige! Erfaring viser at feil i dataprogrammer som består av mer enn noen få linjer ikke er til å unngå. For å få et godt.
Jæger: Robuste og sikre systemer INF150 Programmering torsdag 7.9 Bakgrunn for øvelse 2 Bruk av variabler i beregninger Ser på tekststrenger (3.4 Strings.
Jæger: Robuste og sikre systemer INF150 Programmering mandag 2.10 Default values – standardverdier ved oppstart MER OM: Sub-prosedyrer og sub-funksjoner.
Gjennomgang av prøven Tidsangivelse. Prøven deles ut Vi fyller ut øvelsen sammen.
Jæger: Robuste og sikre systemer INF150 Programmering mandag 4.9 Forrige gang til og med: 3.2 Visual Basic Events (60-73) Nå: Litt om Group Box, CheckBox.
INF150 Programmering mandag 11.9
Jæger: Robuste og sikre systemer INF150 Programmering torsdag 31.8 Kapittel 3: Grunnlag for programmering i Visual Basic.
Tilstandsmaskiner Tilstandsmaskiner kan beskrives med tilstandsdiagrammer Nivået er teknisk Tilstandsdiagrammet viser ett objekts tilstander og transisjoner.
Sequential Function Chart (SFC) av Morten Pedersen H2002.
UML og grensesnitt UML er standard for modellering innen objekt-orientert programvare kan UML også brukes til modellering av grensesnitt? fordel: bedre.
Om operativsystemer.
Hvordan uttrykke krav Kapittel 4.4. Innledning Målet er å samles rundt ett entydig språk som ikke kan misforståes eller feiltolkes. Gjør sporbarheten.
Gruppe 3 – Presentasjon 2 Henning Kristiansen, Mats Lindh, André Hauge og Vegard Simensen.
Testing av system Gruppe 6 Henrik Bækhus Morten A. Iversen Mathias Bondeson Gunnar K. Kulleseid Svein Ivar Kristiansen Ronny Hulthin.
Teknikker for å bedre design- prosessen -Design by contract -Prototyping design -Fault-tree analyses.
Mandag 8. November Powerpoint..
Lage og sende SMS 1a Lage SMS
Bilderedigering i forskjellige programmer På kurset gjennomgår vi bilderedigering i Microsoft Picture Manager. Det fins mange programmer man kan bruke.
Høgskolen i Oslo Webprogrammering Ajax og PHP. I dag l Hvordan få en bedre brukeropplevelse via Ajax- script l Gjennomgang av kode l Oppgaveløsning på.
Dynamiske nettsider PHP Del 2 – Kontrollstrukturer.
Dynamiske nettsider PHP Del 1 – variable. PHP  PHP (Personal Home Page)  Fritt tilgjengelig programmeringsspråk  åpen kildekode  Plattformuavhengig.
VI LAGER EN PLATEBUTIKK
Justering av priser Mål: Lage et system som justerer priser ut fra en offisiell prisindeks.
Jæger: Robuste og sikre systemer INF150 Programmering mandag 18.9 Lesing av data fra fil og skriving av data til fil. Side 411 – 4.. Kap 4.
Programmering sif8005. Praktisk informasjon  Innleveringsfrist øvinger: mandag kl  Alle øvinger er obligatoriske  Studass tilgjengelig 6 timer.
Jæger: Robuste og sikre systemer INF150 Programmering Kapittel 2: Problemløsning Kapittel 3.1 og 3.2.
1 INF5110 – 23. april, 2013 Noen oppgaver til kap. 8 Dette er en bedre utgave av oppgavene, lagt ut 24. april Nå fredag (26/4): Det blir ikke undervisning.
Objekt, Instanser og referanser + litt til. Objekter  Instanser  Kan sees på som det samme. Personen Per kan være både et objekt og en instans av klassen.
Objektorientert utforming In 140 Sommerville kap. 12.
INF-1400 Obligatorisk Oppgave 1 Breakout-Klone Marius Andreassen Edvard Pedersen
Main metoden n public static void main(String[] args){ } n Inni denne metoden skjer alt! n Det kan bare finnes en main metode per program. n Den kan ligge.
Object  Klassen i java  Alle klasser arver fra denne om ikke noe annet blir spesifisert  ArrayList.add(Object instans)  Alle elementer formes til Object.
Ekstra mange tips til Oblig 3! 12. mars 2007 Are Magnus Bruaset og Arild Waaler Inst. for informatikk, UiO.
JavaFX i kodeklubben Apps i Java. Programmering og programmeringsspråk Alle programmeringsspråk er egentlig like... men alt som følger med språket (verktøy,
INF1000 (Uke 14) Eksamen V06 Grunnkurs i programmering Institutt for Informatikk Universitet i Oslo Are Magnus Bruaset og Arild Waaler.
Byggeklosser i java  Klassedefinisjon  Variabel deklarasjon  Metodedeklarasjoner  En ordentlig klasse  Spesielle/kryptiske skrivemåter  løkker og.
Objektorientert design
Jæger: Robuste og sikre systemer INF150 Programmering mandag 25.9 MER OM: Sub-prosedyrer og sub-funksjoner Kap 4.
INF1000 (Uke 4) Mer om forgreninger, While-løkker
Finne feil - Debugging Introduksjon til sortering.
Kapittel 4 Skriving av klasser. 4.1 Anatomien til ein klasse Så langt har vi brukt ferdige klasser frå klassebiblioteket i Java Vi lagar objekt og brukar.
Kapittel 9 Polymorfi. 9.1 Sein binding Ofte er det perfekt match mellom typen til ein variabel og objektet han refererer til ChessPiece bishop;... bishop.
Kapittel 3 Bruk av klasser og objekt. 3.1 Å lage objekt Eit variabelnamn i Java representerer Ein primitiv verdi (f eks boolean, int ) Eit objekt (f eks.
Objektorientert design In 140 Sommerville kap 12 – del 1.
Jæger: Robuste og sikre systemer INF150 Programmering torsdag 14.9 Ulike måter for å lese inn og skrive ut data. Kap. 3.5 mer om if – setninger Ferdige.
Kapittel 10 Exceptions Handtering av exceptions Ein exception er eit objekt som representerer ein feil eller eit unntak Exceptions blir kasta av.
Lokale variable Hvis vi trenger å ta vare på en verdi, inne i en metode kan vi definere en lokal variabel: int amount = 0; vi må fortelle hvilken type.
Kom i gang med Python Pål Hellesnes SYSTEMUTVIKLER
Begynnerkurs i Python Realfagskonferansen 2019 Henrik H. Løvold
Utskrift av presentasjonen:

Operativsystemer

 Tilstandsmaskiner kalles på engelsk Finite State Machines.  Tilstandsmaskiner er en metode til å beskrive systemer med logisk og dynamisk/tidsmessig oppførsel. Operativsystemer

 Metoden tilstandsmaskiner gir oss en modell som kalles Tilstandsmaskin.  Denne modellen er et hjelpemiddel når vi skal strukturere programmeringen av mer kompliserte systemer. Operativsystemer

 Modellen tilstandsmaskin består av  En rekke tilstander.  Hendelser som endrer systemet fra en tilstand til en annen.  Aksjoner som er et resultat av hendelser. Operativsystemer

 Metoden benyttes innen programutvikling innenfor områder som  Logiske/digitale styresystemer  Sanntidssystemer  Telekommunikasjon  Kompilatorteknikk  Digitalteknikk Operativsystemer

 Noen sentrale begreper som benyttes om tilstandsmaskiner  Tilstand  Hendelser  Aksjoner Operativsystemer

 Tilstand er et begrep som benyttes til å beskrive systemets status/tilstand.  Tilstand er et verdisett/attributter som beskriver systemets egenskaper. Operativsystemer

 Hendelser er et begrep som benyttes om innganger/påvirkninger på systemet.  Hendelser kan beskrives som en plutselig og kortvarig påvirkning av systemet. Operativsystemer

 Aksjoner er det som kommer ut av systemet. Det vil si resultatet.  Aksjoner er en respons på en hendelse. Operativsystemer

Hendelser Utganger InngangerAksjoner Operativsystemer System Beskrevet med et sett tilstander

 For å visualisere oppførselen til systemer brukes gjerne tilstandsdiagrammer.  Sirkler angir tilstander.  Piler angir tilstandsendringer.  Hendelser og aksjoner settes over piler som angir tilstandsendringer. Operativsystemer

Initialisering Hendelse Tilstand 1 Tilstand 2 Operativsystemer T1 T1 T2

 Eksempel brusautomat  Kan legge på mynter: kr 5, kr 10  En brus koster kr 15.  Skal returnere overskytende beløp.  Skal returnere hele beløpet hvis Angre.  Kan velge 2 ulike typer brus. Operativsystemer

 Virkemåte brusautomat 1. Systemet befinner seg i ro i en gitt tilstand. 2. Hendelse inntreffer; Penger inn, Velge brus, Angre. 3. Utfører null eller flere aksjoner. 4. Skifter tilstand og er i ro i denne til ny hendelse inntreffer. Operativsystemer

Hendelser: { Ingen, Kr 5, Kr 10, Angre } Aksjoner: { Ingen, Lever en brus, Lever en brus og 5 kr tilbake } Tilstander: { Klar, Kr 5, Kr 10 } Operativsystemer

 Enum class gir en måte å kunne behandle ord som tallverdier.  Enum class kan benyttes på tekststrenger.  Til hver tekststreng knyttes et tall.  Man kan da sammenligne tekststrengene ved hjelp av tallverdiene.

 Følgende gir et eksempel på bruk av Enum: enum class TALL { null, en, to, tre, fire };  Her vil null= 0, en=1, to=2, tre=3, fire=4.  Kan referere til to som TALL::to

 Kan deklarere variabler av typen TALL TALL tall1 = 4; if (tall1 == TALL::to) { } else { }

 Et eksempel til enum class MÅNED {januar, februar, mars, … MÅNED maaned = februar; if (maaned == MÅNED::mars) { // kode }

Operativsystemer

 Når vi lager vinduer i Windows programmer bruker vi Form class.  Form class er en klasse i namespace System::Windows::Forms Operativsystemer

 Form class er en stor klasse som benyttes til å lage brukergrensesnitt for Windows programmer.  En form representerer et vindu som benyttes i programmet ditt. Operativsystemer

 Form class kan benyttes til å lage flere typer vinduer.  Standard vinduer  Verktøybokser  Rammeløse vinduer  Flytende vinduer (integrert i et vindu).  Dialogbokser Operativsystemer

 Form class kan benyttes til å lage dialogbokser. Det skilles mellom to typer  Modal dialogboks  Modeless dialogboks Modal dialogboks må lukkes før programmet fortsetter. Modeless dialogboks kan stå åpen. Operativsystemer

 Å arbeide med vinduer i Form class gjøres ganske lett ved hjelp av Properties verktøyet.  Med Properties verktøyet kan man endre egenskaper for en form som utseende, størrelse, farge, osv. Operativsystemer

System::Windows::Forms har mange klasser som kan benyttes til å lage Windows baserte programmer ▪ Kontroller. ▪ Meny, knapperad, statusbar. ▪ Paneler til gruppere kontroller. ▪ Tooltips. ▪ Dialogbokser og verktøybokser. ▪ Hjelp. Operativsystemer

 Noen alminnelige kontroller er  Buttons  Textbox og Label  ListBox og Combobox  CheckBox og RadioButton  PictureBox  ProgressBar Operativsystemer

 Kontainere brukes til å samle objekter på en form. Noen kontainere er  Panel  GroupBox  TabControl  SplitContanier Operativsystemer

 Menyer og knapperader brukes til kommunikasjon mellom bruker og program. De vanligst brukte objektene er  MenuStrip  ToolStrip  StatusStrip Operativsystemer

 Blir det feil i et program må vi gjøre to ting 1. Lokalisere feilen. 2. Rette den opp. Operativsystemer

 For å finne feil i et program må man gjøre utskrifter fra programmet.  Man kan skrive ut 1. Innhold i variabler. 2. Utskrifter som viser hvor man er. Operativsystemer

 Utskrifter i Output Window nederst i Visual Studio kan gjøre ved å bruke Trace. System::Diagnostics::Trace::WriteLine( ”Hei” );  Utskrifter med Trace er helt likt utskrifter med Console::Write() Operativsystemer

 For at utskrift skal skje må programmet kjøre i Debug mode.  Velg på menyen i Visual Studio Debug – Start Debugging Eller trykk F5 tasten (raskere). Operativsystemer

 For at programmet skal kjøre i Debug mode må dette være valgt.  Et program kan kompileres i to mode  Debug  Release Operativsystemer

 Et program som kompileres med konfigurasjon Debug, har støtte for debugging i koden.  Et program som kompileres med konfigurasjon Release, har ikke støtte for debugging. Mindre exe fil. Operativsystemer

 For å endre konfigurasjonen velg på menyen i Visual Studio Build – Configuration Manager… Velg så Debug eller Release Operativsystemer