Nada

Results: 1528



#Item
51En jämförelse mellan programsammanhållande kurser vid KTH och LiU Fredrik Heintz (LiU), Aseel Berglund (LiU), Björn Hedin (KTH), och Viggo Kann (KTH) Sammanfattning—Programsammanhållande kurser där studenter frå

En jämförelse mellan programsammanhållande kurser vid KTH och LiU Fredrik Heintz (LiU), Aseel Berglund (LiU), Björn Hedin (KTH), och Viggo Kann (KTH) Sammanfattning—Programsammanhållande kurser där studenter frå

Add to Reading List

Source URL: www.nada.kth.se

Language: Swedish - Date: 2015-11-07 15:35:10
    52Microsoft WordWADA-Liste 2012 mit NADA + BMG_DE - RS.doc

    Microsoft WordWADA-Liste 2012 mit NADA + BMG_DE - RS.doc

    Add to Reading List

    Source URL: www.dis-sportschiedsgericht.de

    Language: German - Date: 2013-08-22 06:13:34
      53Folkets användning av Lexin – en resurs Viggo Kann KTH Nada Stockholm  26 augusti 2004

      Folkets användning av Lexin – en resurs Viggo Kann KTH Nada Stockholm 26 augusti 2004

      Add to Reading List

      Source URL: www.nada.kth.se

      Language: Swedish - Date: 2004-08-25 18:21:48
        545:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, Uppsala universitet, 18 – 19 november 2015 Lärstrategier på längden och tvären Olle Bälter, Massimiliano Colareti Tosti, Viggo Kann och Maria Svedin

        5:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, Uppsala universitet, 18 – 19 november 2015 Lärstrategier på längden och tvären Olle Bälter, Massimiliano Colareti Tosti, Viggo Kann och Maria Svedin

        Add to Reading List

        Source URL: www.nada.kth.se

        Language: Swedish - Date: 2015-11-05 04:15:41
          55The Essence of Dependent Object Types? Nada Amin∗ , Samuel Grütter∗ , Martin Odersky∗ , Tiark Rompf † , and Sandro Stucki∗ ∗ †

          The Essence of Dependent Object Types? Nada Amin∗ , Samuel Grütter∗ , Martin Odersky∗ , Tiark Rompf † , and Sandro Stucki∗ ∗ †

          Add to Reading List

          Source URL: infoscience.epfl.ch

          - Date: 2016-04-05 07:54:34
            56Karl Meinke CSC  1. Overview of the Course This course is about advanced concepts of

            Karl Meinke CSC 1. Overview of the Course This course is about advanced concepts of

            Add to Reading List

            Source URL: www.nada.kth.se

            - Date: 2010-02-25 06:45:35
              573. Type Systems We will consider the problem of type assignment and type checking for the object calculus. Just as we have type-free and typed lambda calculus, so we also have type-free and typed

              3. Type Systems We will consider the problem of type assignment and type checking for the object calculus. Just as we have type-free and typed lambda calculus, so we also have type-free and typed

              Add to Reading List

              Source URL: www.nada.kth.se

              - Date: 2007-05-22 07:13:48
                58Lecture	
  5	
   Model-­‐Based	
  Tes2ng	
   What	
  is	
  model-­‐based	
  tes2ng?	
   •  Model-­‐based	
  tes2ng	
  can	
  be	
  conducted	
  as	
  part	
   of	
  model-­‐based	
  deve

                Lecture  5   Model-­‐Based  Tes2ng   What  is  model-­‐based  tes2ng?   •  Model-­‐based  tes2ng  can  be  conducted  as  part   of  model-­‐based  deve

                Add to Reading List

                Source URL: www.nada.kth.se

                - Date: 2012-01-30 05:30:16
                  59   DD2459:	
  Software	
  Reliability	
   Lab	
  3:	
  Model-­‐based	
  Testing	
  and	
   Automated	
  Test-­‐case	
  Generation	
   	
  

                    DD2459:  Software  Reliability   Lab  3:  Model-­‐based  Testing  and   Automated  Test-­‐case  Generation    

                  Add to Reading List

                  Source URL: www.nada.kth.se

                  - Date: 2013-02-15 07:54:45
                    60Lecture	
  4	
   Requirements	
  Tes0ng	
   &	
  	
  Requirements	
  Modeling	
   Topics	
   •  Why	
  requirements	
  tes0ng?	
  

                    Lecture  4   Requirements  Tes0ng   &    Requirements  Modeling   Topics   •  Why  requirements  tes0ng?  

                    Add to Reading List

                    Source URL: www.nada.kth.se

                    - Date: 2012-01-30 05:29:52