Search for dissertations about: "formal"

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

2. 1. Supporting knowledge management with information technology : the significance of formal and informal structures

   Author : Karin Dessne; Örebro universitet; []
   Keywords : NATURAL SCIENCES; NATURVETENSKAP; 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; Teknik; Technology;

   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

   Author : Lars Norqvist; Eva Leffler; Isa Jahnke; Roger Säljö; Umeå universitet; []
   Keywords : SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; 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

   Author : Daniel Larsson; Chalmers University of Technology; []
   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

   Author : Wojciech Mostowski; Chalmers University of Technology; []
   Keywords : 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. Correct-by-Construction Tactical Planners for Automated Cars

   Author : Jonas Krook; Chalmers University of Technology; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

   Abstract : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. READ MORE