Search for dissertations about: "formal"
Showing result 1 - 5 of 1089 swedish dissertations containing the word formal.
-
1. Supporting knowledge management with information technology : the significance of formal and informal structures
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
-
2. Framing perceived values of education : when perspectives of learning and ICTs are related
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
-
3. Formal Specification and Verification of Safety-Critical Software
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
-
4. Formal Development of Safe and Secure Java Card Applets
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
-
5. Correct-by-Construction Tactical Planners for 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
