Software Engineering and Service Design: courses in ITMO University

Transcription

1 Software Engineering and Service Design: courses in ITMO University Igor Buzhinsky Computer Technologies Department Department of Computer Science and Information Systems December 1, 2014 Software Engineering and Service Design: courses in ITMO University December 1, / 25

2 Introduction: about the programme Software Engineering and Service Design Double degree master programme One thesis, two degree certificates Two supervisors (from ITMO and JYU) Students from JYU are offered to complete an autumn semester of their second year of studies in ITMO Courses are taught in English Software Engineering and Service Design: courses in ITMO University December 1, / 25

3 Introduction: about the studies Courses: Advanced software engineering More technical than in JYU Some programming skills (e.g. Java, C++) are required Knowledge of data structures (e.g. binary search trees) is appreciated Other notes: More attention on what you do, less attention on written reports The grading system is similar (5 = A, 4 = B,...) Software Engineering and Service Design: courses in ITMO University December 1, / 25

4 Course list 34 ECTS / one semester (fall 2015): Modern Information Theory, 6 ECTS Machine Learning, 5 ECTS Genetic and Evolutionary Computation, 4 ECTS Technologies and Instruments of Language Processors Development, 5 ECTS Advanced Data Structures, 4 ECTS Research Seminar, 7 ECTS Practice, 3 ECTS Concrete list of courses might change, elective courses might appear Software Engineering and Service Design: courses in ITMO University December 1, / 25

5 Modern Information Theory, 6 ECTS Information theory: basic concepts (e.g. entropy, information, channels, errors) Effective methods of data compression and coding (e.g. how modern archivers work) Lectures (much theory, e.g. theorems), practice and homework (problems), exam Software Engineering and Service Design: courses in ITMO University December 1, / 25

6 Modern Information Theory: information transmission Noise model: binary symmetric channel Software Engineering and Service Design: courses in ITMO University December 1, / 25

7 Modern Information Theory: Huffman coding A Huffman code tree for a message with letters a..f Software Engineering and Service Design: courses in ITMO University December 1, / 25

8 Machine Learning, 5 ECTS Weak artificial intelligence Algorithms for working with structured data (mostly numerical) Prediction: classification and regression Clustering, dimensionality reduction, feature filtering... Lectures (much theory) and practice Software Engineering and Service Design: courses in ITMO University December 1, / 25

9 Machine Learning: datasets Sample # Name Population Area, km 2 1 Finland New Zealand USA How can the data be used? Predict specific features (e.g. population happiness) based on their knowledge for some countries Gain additional knowledge by clustering the countries Software Engineering and Service Design: courses in ITMO University December 1, / 25

10 Machine Learning: clustering Two-dimensional (in general, many-dimensional) data, e.g. population and area of countries Clustering problem: find similar group of data points This example: three main clusters ( Software Engineering and Service Design: courses in ITMO University December 1, / 25

11 Machine Learning: classification (Random forests) A decison tree for data with two variables, u and v, which separated the data into 2 classes A random forest is comprised of a number of such trees Software Engineering and Service Design: courses in ITMO University December 1, / 25

12 Genetic and Evolutionary Computation, 4 ECTS About evolutionary computation, a general optimization technique which uses ideas from natural evolution A theoretical course, almost only lectures (and a test in the end) Possibility to make presentations on seminars based on recent research papers (optional, will increase the mark) Possibility to solve open research problems (optional, will increase the mark) Software Engineering and Service Design: courses in ITMO University December 1, / 25

13 Genetic and Evolutionary Computation: general idea General optimization methodology for both discrete and continuous problems One needs to define a representation of the solution, or individual E.g. a bit string: A fitness function evaluates the individuals E.g. the number of ones in a bit string Mutation is a way to modify solutions: Analysis of some algorithms on simple problems Software Engineering and Service Design: courses in ITMO University December 1, / 25

14 Genetic and Evolutionary Computation: algorithm example Random mutation hill climber x random() repeat (e.g. until the maximum fitness value is reached): x mutate(x) x if f (x ) > f (x) then x else x x'' x x' Software Engineering and Service Design: courses in ITMO University December 1, / 25

15 Genetic and Evolutionary Computation: multiobjective optimization Several criteria should be optimized Pareto frontier: the set of best solutions which do not dominate each other Algorithms try to approximate it Software Engineering and Service Design: courses in ITMO University December 1, / 25

16 Technologies and Instruments of Language Processors Development, 5 ECTS How to design a compiler or and interpreter? Formal grammars, abstract syntax trees, control flow... How to parse source code for a defined language, transform it to byte code, execute the byte code Lectures, coursework (design a compiler / interpreter), exam Software Engineering and Service Design: courses in ITMO University December 1, / 25

17 Technologies and Instruments of Language Processors Development: abstract syntax tree Parse tree Nodes might have attributes (e.g. operator type, variable name, value of a constant) Using the tree, one can construct symbol tables and even generate assembly code Software Engineering and Service Design: courses in ITMO University December 1, / 25

18 Technologies and Instruments of Language Processors Development: example of an ANTLR grammar program returns[code code] : nl* stmt[$code, null] (new_line stmt[$code, null])* nl* EOF ; stmt [Code code, LabelPair lp] : stmt_list[code, lp] s_if[code, lp] s_while[code] s_for[code] s_def[code] ; simple_stmt [Code code, LabelPair lp] : BREAK CONTINUE PASS ret[code] assignment[code] adjustment[code] ; stmt_list [Code code, LabelPair lp] : simple_stmt[code, lp] (SEMICOLON simple_stmt[code, lp])* SEMICOLON? ; Software Engineering and Service Design: courses in ITMO University December 1, / 25

19 Advanced Data Structures, 4 ECTS Persistent Data Structures Geometrical Data Structures for Local Search External Memory Data Structures Advanced Tree and Graph Data Structures Lectures and a coursework Software Engineering and Service Design: courses in ITMO University December 1, / 25

20 Advanced Data Structures: B-tree A tree with sorted data An extension of usual binary search trees: nodes can have multiple children Can be used when each memory access is time consuming Applications: databases and file systems (e.g. btrfs) Software Engineering and Service Design: courses in ITMO University December 1, / 25

21 Research Seminar, 7 ECTS A new course where students can present their advances about research on Master s theses Is organized by the Computer Technologies laboratory Thesis themes can be provided by ITMO University. Software Engineering and Service Design: courses in ITMO University December 1, / 25

22 Practice, 3 ECTS 2 options: Practice in an IT company (e.g. as a software developer or tester) Work in the Computer Technologies laboratory (e.g. on a Master s thesis) Software Engineering and Service Design: courses in ITMO University December 1, / 25

23 SESD on Web: University of Jyväskylä Software Engineering and Service Design: courses in ITMO University December 1, / 25

24 SESD on Web: ITMO University Software Engineering and Service Design: courses in ITMO University December 1, / 25

25 Questions Thank you for your attention! Questions? Software Engineering and Service Design: courses in ITMO University Igor Buzhinsky Software Engineering and Service Design: courses in ITMO University December 1, / 25