[ 926WMETFOMK14 ]                                         KS                                         Formal Methods
                   | 
                
                
                   | 
                  
                    
                                       | 
                
                | Es ist eine neuere Version 2018W dieser LV im Curriculum Master's programme Business Informatics 2024W vorhanden. | 
                
                   | 
                
                                
                                
                    | 
                  
                    
                      | Workload | 
                                            Education level | 
                      Study areas | 
                                            Responsible person | 
                                                                  Hours per week | 
                                            Coordinating university | 
                     
                    
                      | 3 ECTS | 
                                            
                      M1 - Master's programme 1. year | 
                      Statistics | 
                                                                  
                          Tudor Jebelean                       | 
                                               
                                            2 hpw | 
                                            Johannes Kepler University Linz | 
                     
                    | 
                
                
                   | 
                
                                
                    | 
                  
                      
                      
                      
                      
                      
                      
                      
                        
    					  
    					  
  						
                    
                      | Detailed information | 
                     
                                
                    
                      | Original study plan | 
                      Master's programme Business Informatics 2014W | 
                     
                      
                    
                      | Objectives | 
                      See  Wahlfach Methodenlehre
 | 
                     
                      
                    
                      | Subject | 
                      See  Wahlfach Methodenlehre
 | 
                     
                                                            
                    
                      | Criteria for evaluation | 
                      Examination 50%, In-class participation 50%
 | 
                     
                       
                    
                                     
                    
                      | Language | 
                      German | 
                     
                      
                    
                      | Study material | 
                      Reading: 
- Bortz, J.; Döring, N.: Forschungsmethoden und Evaluation für Human- und Sozialwissenschaftler. Springer, Berlin, current edition.
 - Heinrich, L. J.; Heinzl, A.; Riedl, R.: Wirtschaftsinformatik - Einführung und Grundlegung. Oldenbourg, München/Wien, current edition.
 
  | 
                     
                      
                    
                      | Changing subject? | 
                      No | 
                     
                                        
                      | Further information | 
                      See  Wahlfach Methodenlehre
 | 
                         
                                        
                      | Earlier variants | 
                      They also cover the requirements of the curriculum (from - to) 2WFMFMKS: KS Formal Methods (2010W-2014S)
  | 
                         
                      
                    
                     
                    
                    
                     | 
                
                 
                
                   | 
                
                
                    | 
                  
                    
                    
                    
    				  
    				  
  					
                    
                      | On-site course | 
                     
                         
                    
                        | Maximum number of participants | 
                      200 | 
                          
                    
                      | Assignment procedure | 
                      Assignment according to priority | 
                     
                    
                     
                    
                    
                     |