Sökning: "Tuncay Dagdelen"

Hittade 2 uppsatser innehållade orden Tuncay Dagdelen.

1. 1. Modernizing the User Interface of a Legacy System at the Swedish Police Authority : Collaborative Mental Model: A New Participatory Design Method

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Tuncay Dagdelen; [2019]
   Nyckelord :;

   Sammanfattning : IT-projects are complex and require a good understanding of the users before development starts. This is especially true for projects within large organizations, where the communication with the users might be poor or even nonexisting. LÄS MER

3. 2. Configuring Java Pathfinder for concurrent Java programs

   Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

   Författare :Andrew Bwogi; Tuncay Dagdelen; [2017]
   Nyckelord :;

   Sammanfattning : Software verification is a field of computer science dedicated to guar- antee that a program runs according to a formalized specification. Of various kinds of verification techniques model checking tries all possi- ble states of a program and makes sure each state satisfies a set of for- malized properties. LÄS MER