Search for dissertations about: "formal"

Showing result 1 - 5 of 951 swedish dissertations containing the word formal.

2. 1. Supporting Knowledge Management with Information Technology : The Significance of Formal and Informal Structures

   University dissertation from Örebro : Örebro University

   Author : Karin Dessne; Högskolan i Skövde.; Högskolan i Skövde.; Örebro universitet.; [2012]
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Teknik; Technology; knowledge management; km; cscw; cscl; communities of practice; cop; military; lessons learned; experience; learning; knowing; formal; informal; structures; knowing wheel; preconditions; it support; collaborative work; communication; Computer and Systems Science; Datalogi;

   Abstract : Knowledge Management (KM) is a relatively young field of research. It has traditionally aimed at managing work in organisations often by the assistance of supporting Information Technology (IT).In this thesis, the definition of KM is expressed as facilitating the intertwined process of learning and knowing in an organisation. READ MORE

4. 2. Framing perceived values of education when perspectives of learning and ICTs are related

   University dissertation from Umeå : Umeå Universitet

   Author : Lars Norqvist; Umeå universitet.; [2016]
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Learning; ICTs; Education; Perceived value; Dialogue; Dialogic perspective; Perceived values of learning; Perceived values of education; Learning situations; Formal education; Non-formal education; Perceived value framework; Photo interviews; Formal learning; Non-formal learning; Informal learning; Information; Communication; Technology; ICT.; pedagogiskt arbete; educational work;

   Abstract : This thesis offers dialogue about the relations between learning and Information and Communication Technologies (ICTs). The dialogue is guided by the question of how to design education to increase perceived values of learning. READ MORE

5. 3. Formal Specification and Verification of Safety-Critical Software

   University dissertation from Umeå : Umeå Universitet

   Author : Daniel Larsson; [2006]
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

   Abstract : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. READ MORE

6. 4. Formal Development of Safe and Secure Java Card Applets

   University dissertation from Umeå : Umeå Universitet

   Author : Wojciech Mostowski; [2005]
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

   Abstract : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. READ MORE

7. 5. Enabling Tool Support for Formal Analysis of ECA RUles

   University dissertation from Linköpings universitet

   Author : AnnMarie Ericsson; Högskolan i Skövde.; Högskolan i Skövde.; Linköpings universitet.; Linköpings universitet.; [2009]
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TECHNOLOGY; TEKNIKVETENSKAP; Teknik; Technology; ECA rules; Timed automata; Formal verification; Formal veri¯cation;

   Abstract : Avhandlingen presenterar en ny ansats för att formellt verifiera regel-baserade system. En verktygsprototyp, REX, är utvecklad inom ramen för detta projekt i syfte att stödja ansatsen genom realisering av de teoretiska resultaten. READ MORE