Presentation laddar. Vänta.

Presentation laddar. Vänta.

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

Liknande presentationer


En presentation över ämnet: "Formella metoder i MDI Behovet Vad menas med formell? Verktyg Exempel Att läsa: Kapitel 14 i Carroll."— Presentationens avskrift:

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

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

3 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

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

5 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!

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

7 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

8 Formella metoder i MDI8 Exempel

9 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

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

11 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

12 Formella metoder i MDI12 Modellen (PIE)

13 Formella metoder i MDI13 Modellera dialoger

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

15 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

16 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/


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

Liknande presentationer


Google-annonser