Formella metoder i MDI Behovet Vad menas med formell? Verktyg Exempel Att läsa: Kapitel 14 i Carroll.

Slides:

Advertisements

Liknande presentationer

I detta bildspel reflekterar kollegor i olika ämnen tillsammans över språkliga handlingar i klassrummet. Underlag till diskussionen är den uppgift som.

Advertisements

Objektorienterad Analys och UML En animation i Powerpoint © Kenneth Norrgård Ingår i studieperioden ”Planering av datasystem” vid Vasa Yrkeshögskola.

Att tänka på då man har en muntlig presentation med ppt

Perspektiv på IT-system!

Gemensam plattform för kommunala e-tjänster

Teknik 1 utifrån förmågorna och centrala innehållet Vad teknik är

Föreläsning 7, Kapitel 7 Designa klasser Kursbok: “Objects First with Java - A Practical Introduction using BlueJ”, David J. Barnes & Michael Kölling.

Vetenskaplig Metod.

”Språk, lärande och identitetsutveckling är nära förknippade

Christina Jansson

ESAC  European Surveillance of Antimicrobial Consumption  eller via länk från

Datavetenskapens roll. Datavetenskap •Vad är datavetenskapens roll i kognitionsvetenskapen?

Mål och betygskriterier

1 Docentföreläsning. Torsdag 8 oktober 1998 Programvaruteknik - en ingenjörsdisciplin ? Campus Norrköping ITN Bengt Lennartsson kl. 15:29.

presentation av Daniel Jönsson Lennart Schedin

Formellt, skarpt och snyggt

Acando föreläsning Uppsala caseakademi

Problemformulering Vad är problemet eller behovet– gapen i våra resultat? Vad: Vad påverkas? Är det specifikt? Innehåller det ett implicit förslag till.

Språkteknologisk forskning och utveckling (HT 2007)

Funktionen SA10-Grupper. Följande typer av grupper finns: - Grupp i kurs hör alltid ihop med en kurskod - Grupp i program hör alltid ihop med en programkod.

The Ubiquitous Interactor Mobila tjänster med flera användargränssnitt.

Kravspecifikation och IT-upphandling

Design rationale för MDI

Objektorienterad tänkande

Lund Studentlitteratur

Effektstyrning® av IT Vad är det? Varför då? Hur gör man?

Marknadsförarens mall för att skapa köpares persona!

Vår tolkning av Förskolans Läroplanenfastställd december 2010

? Gymnasiearbetet Hur kan biblioteket hjälpa dig

Kommunikation och samspel

Nätverksträffen i Sundsvall 2008

7 1 Individual Project No.1: Paper Sus Lundgren. 7 2 Mål Att fördjupa dig i en aspekt av kursen du tyckte var intressant Att reflektera kring, analysera.

Marknadsförarens mall för att skapa köpares persona!

Design rationale för MDI Vad är Design rationale? Varför behövs det? Hur arbetar man konkret? Bidrag till MDI-forskning Att läsa: Kapitel 15 i Carroll.

Statsvetenskap 3, Statsvetenskapliga metoder

Barnens bild av Sigtuna, Sigtunas bild av barnen Avdelning: År:

Styrteknik 7.5 hp distans: SFC Introduktion SFC_A:1

Skattning av trendkurvor/trendytor och förändringar över tiden Claudia von Brömssen SLU.

Styrteknik 7.5 hp distans: SFC Introduction PLC5A:1 Bilder SFC = Sequential Function Chart Language SFC är ett grafiskt programspråk som används.

MDI och användbarhet Måndagen den 27/3 Design och utvärdering, 5 poäng.

Om skrivande av uppsats

Helena Lindgren 1 MDI – fördjupningskurs (D – nivå) Kursens mål ge teoretisk fördjupning i ämnet människa-dator interaktion, ge kunskap om metoder.

1 Kognitiv modellering inom MDI mekanismer för att kunna förutspå användarens uppträdande härstammar från experimentell psykologi, AI och lingvistik.

FL3: Foundations Daniel Nylén. Kognitiv psykologi & IxD Centrala teorier om kognitiv psykologi utgör grunden för HCI- forskningen Att vara människocentrerad.

Perception och motorik Perception och MDI Modeller Konkreta resultat Generella slutsatser Att läsa: Kapitel 2 & 3 i Carroll.

Mentala modeller Vad syftar vi på mer specifikt? 6 idéer kring mentala modeller Fruktbara ansatser för framtiden Att läsa: Kapitel 6 i kursboken.

Perception och motorik

Helena Lindgren 1 MDI – fördjupningskurs (D – nivå) Kursens mål (enligt kursplanen) Kursdeltagarna ska förvärva teoretisk fördjupning i ämnet.

1 Mjukvaru-utveckling av interaktiva system God utveckling av interaktiva system kräver abstrakt funktionell beskrivning noggrann utvecklingsmetod Slutanvändare.

Vimmerby Magnus Klofsten Generella framgångsfaktorer i kluster.

Formellt, skarpt och snyggt

Formella metoder i MDI Behovet Vad menas med formell? Verktyg Exempel Att läsa: Kapitel 14 i kursboken.

Helena Lindgren 1 MDI – fördjupningskurs (D – nivå) Kursens mål ge teoretisk fördjupning i ämnet människa-dator interaktion, ge kunskap om metoder.

Växjö 14 april -04Språk & logik: Finita automater1 DAB760: Språk och logik 14/4:Finita automater Leif Grönqvist Växjö Universitet.

Litteraturhistoria – epoker och analys av textutdrag

Systematisk problemlösning enligt EPA-modellen -MÖJLIGHETER OCH UTMANINGAR.

Anpassa fri programvara - Frihet ett, hur nyttjar man den? Copyright © 2006, 2007 Marcus Rejås Rejås Datakonsult Jag ger härmed rätten till alla att nyttja.

Gemensamma grunder för samverkan och ledning vid samhällsstörningar #grundSoL Introduktion till gemensamma grunder för samverkan.

SWOT Styrkor – Svagheter – Möjligheter – Hot (Strength – Weakness – Opportunity – Threat) SWOT-analys är ett verktyg för att utforma en lämplig strategi.

Att skriva en resonerande text

Situated action ”Plans and Situated Actions – The Problem of Human -Machine Communication” - Lucy A. Suchman etnometodolog ”Varje utförande av aktivitet.

Helhet och allsidighet

Att skriva en utredande text

Utredande text Labbrapport.

Karin Johansson Att vara ledare Varför, vem och hur?

Processen för Balanserad styrning - steg 2 Mätning-Mätresultat

Religion och vetenskap

McDonald's 2003 Carolin Ekman, Mårten Håkansson, Daniel Höglind, Linda Kiby, Paulina Modlitba, Jenny Sundén

Process Broker A joint project between DSV and Viewlocity/Visuera,

Den här presentationen innehåller:

Presentationens avskrift:

Formella metoder i MDI Behovet Vad menas med formell? Verktyg Exempel Att läsa: Kapitel 14 i Carroll

Formella metoder i MDI2 Behovet Vi vill kunna se detaljer tydligt analysera och förstå kommunicera med inblandade generera gränssnitt automatiskt

Formella metoder i MDI3 Definition av formell Att representera något på ett sådant sätt att representationen kan analyseras och manipuleras oavsett innehåll eller betydelse

Formella metoder i MDI4 Vad är formalismer bra på? går att köra hanterar oändligheter abstraherar tvingar till eftertanke

Formella metoder i MDI5 Formellt kontra informellt Mot: kräver speciell kompetens, anses svårt allt kan inte fångas formellt För: Resultatet är mycket formellt!

Formella metoder i MDI6 Verktyg Matematik Diagram Mängdteori Beräkningsteori Komplexitetsteori Logik Grammatiker

Formella metoder i MDI7 Tillståndsdiagram Består av möjliga tillstånd och övergångar mellan tillstånd Lämpar sig för att modellera en interaktionssituation Innehåller ofta förklarande namn och beteckningar, men dessa styr inte den formella hanteringen

Formella metoder i MDI8 Exempel

Formella metoder i MDI9 Lärdom designval lyfts fram speciella tillstånd gjordes svåråtkomliga tidsaspekter viktiga att trycka ned och släppa knappen bör separeras som handlingar en enkel situation genererar ett relativt komplext tillståndsdiagram

Formella metoder i MDI10 Generella lärdomar Formell analys Tidig analys Tydliggör onormalt beteende Ger alternativa perspektiv Tvingar fram designval

Formella metoder i MDI11 PIE model ser interaktion som en övergång från användarens tidigare handlingar till ny presentation och eventuella resultat tar ej hänsyn till intern representation dra slutsatser om liknande system P står för användarens tidigare sekvens av handlingar I står för tillståndsfunktion baserad på P E står för en mängd möjliga tillstånd

Formella metoder i MDI12 Modellen (PIE)

Formella metoder i MDI13 Modellera dialoger

Formella metoder i MDI14 Forskare Alan Dix Gregory Abowd Harold Thimbleby Fabio Paternó

Formella metoder i MDI15 Konferenser CADUI - Computer-Aided Design of User Interfaces EHCI - Engineering for HCI TAMODIA - TAsk MOdels and DIAgrams for User Interface Design

Formella metoder i MDI16 Sammanfattning Rätt använda kan formella metoder vara ett effektivt redskap i design av interaktiva system Se gärna artikeln nedan för kompletterande information users/dixa/topics/formal/