Search for dissertations about: "correctness"
Showing result 1 - 5 of 244 swedish dissertations containing the word correctness.
-
1. Grammatical correctness and communicative ability : a performance analysis of the written and spoken English of Swedish learners
Abstract : Written and oral material produced by a group of low-achieving learners of English from the 2-year lines of the Swedish upper secondary school was analysed from the perspective of grammatical correctness and communicative ability. The grammatical analysis focussed on the verb phrase and tests included both free production in speech and writing and elicitation tests. READ MORE
-
2. Functional Program Correctness Through Types
Abstract : This thesis addresses the problem of avoiding errors in functionalprograms. The thesis has three parts, discussing different aspects ofprogram correctness, with the unifying theme that types are anintegral part of the methods used to establish correctness. READ MORE
-
3. Proving the correctness of a virtual machine by a bisimulation
Abstract : .... READ MORE
-
4. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”
Abstract : The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. READ MORE
-
5. Environments as specifications of processes
Abstract : .... READ MORE