1 / 16

Formella metoder i MDI

Formella metoder i MDI. Behovet Vad menas med formell? Verktyg Exempel Att läsa: Kapitel 14 i Carroll. Behovet. Vi vill kunna se detaljer tydligt analysera och förstå kommunicera med inblandade generera gränssnitt automatiskt. Definition av formell.

cai
Download Presentation

Formella metoder i MDI

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

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

  3. 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 MDI

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

  5. 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 MDI

  6. Verktyg • Matematik • Diagram • Mängdteori • Beräkningsteori • Komplexitetsteori • Logik • Grammatiker Formella metoder i MDI

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

  8. Exempel Formella metoder i MDI

  9. 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 MDI

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

  11. 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 MDI

  12. Modellen (PIE) Formella metoder i MDI

  13. Modellera dialoger Formella metoder i MDI

  14. Forskare • Alan Dix • Gregory Abowd • Harold Thimbleby • Fabio Paternó Formella metoder i MDI

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

  16. 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 http://www.comp.lancs.ac.uk/computing/users/dixa/topics/formal/ Formella metoder i MDI

More Related