Sökning: "Aletta Nylén"

Hittade 2 avhandlingar innehållade orden Aletta Nylén.

1. 1. Compact Constraints for Verification of Well Quasi-Ordered Programs

   Författare :Aletta Nylén; Parosh Abdulla; Kaisa Sere; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : In this thesis we present algorithms and constraint systems for efficient verification of infinite-state transition systems that are monotonic with respect to a well quasi-ordering. A major problem in verification of infinite-state systems is constraint explosion, that is, the number of constraints generated during analysis is too large. LÄS MER

3. 2. Dimensions of Professionalism : A Study of Computer Science Teaching in Saudi Arabia

   Författare :Fayiq Alghamdi; Aletta Nylén; Arnold Pears; Erkki Sutinen; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot datavetenskapens didaktik; Computer Science with specialization in Computer Science Education Research;

   Sammanfattning : In Saudi Arabia, new computing education programs have been introduced in alignment with the Saudi Vision 2030, which is a plan launched in 2017 to reduce Saudi Arabia's reliance on oil, diversify its economy, and develop its health, education, recreation, infrastructure and tourism. Computer science is a rapidly changing area, which places high demands on teachers in the subject to develop both their subject and pedagogical competence. LÄS MER