1. SET seminar (2IS95)

2. Overview Organisation Questions for you
How to find (scientific) information
Research in SET
Overview of Master Assignments in SET
/ Faculteit Wiskunde en Informatica

3. Organisation Lecturers: Room: HG 5.60 Phone: 5145 Course information:
Members of Software Engineering and Technology
How to reach us:
Via Christine van Gils
Room: HG 5.60
Phone: 5145
Course information:
/ Faculteit Wiskunde en Informatica

4. Organisation Quartile 1: 2 hours lectures: Weekly Wednesday:
Time: 5th and 6th hour (13:45-15:30)
Location: LG -1.19
Quartile 2:
(Bi)weekly? (depending on number of participants)
/ Faculteit Wiskunde en Informatica

5. Assignments Q1: 3 preparatory assignments A1-A3
summarize a paper, list papers on a certain topic, …
Q2: Chose a topic for a (small) independent study (C), present it orally (O) and in writing (W), and review a paper by another student (R)
Grade:
/ Faculteit Wiskunde en Informatica

6. Questions for you Where did you do your bachelor:
TU/e
Manipal
HBO
other university?
Why did you decide to follow the seminar:
Area of interest?
Background?
Ideas about MSc assignment?
/ Faculteit Wiskunde en Informatica

7. Goals Getting acquainted with the research topics of the SET group
Getting acquainted with the basic principles of academic research:
reading of scientific papers
presenting scientific results in oral and written form
Preparation for Master Thesis project
/ Faculteit Wiskunde en Informatica

8. Skills
Preparing and executing a literature search; including preparation of bibliographic references
Critical reading, reviewing of literature; judging relevance/quality, summarizing, classifying, comparing, etc.
Critical listening to presentations, asking probing questions in discussions
Setting up a small-scale academic investigation
Preparing and giving oral presentations
Writing a technical article/report
/ Faculteit Wiskunde en Informatica

9. SET Staff Mark van den Brand Michael Franssen Kees Hemerik
Model-driven software engineering
Generic language technology
Michael Franssen
Verified software engineering
Kees Hemerik
Taxonomies
Alexander Serebrenik
Software evolution
Static analysis
Tom Verhoeff
Model-driven software engineering
Gerard Zwaan
Taxonomies
/ Faculteit Wiskunde en Informatica

10. SET Support staff Christine van Gils Erik Scheffers secretary
software developer
/ Faculteit Wiskunde en Informatica

11. SET Ph.D. students Marcel van Amstel Luc Engelen Zvezdan Protic
Jackline Ssanyu
Jeroen Arnoldus
Arjan van der Meer
Yanja Dajsuren
YOU?!
/ Faculteit Wiskunde en Informatica

12. How to find (scientific) information
The library (6th floor, hoofdgebouw)
Google scholar:
Digital libraries:
Digital library ACM:
Digital library IEEE:
Lecture Notes on Computer Science (Springer):
ScienceDirect (Elsevier):
/ Faculteit Wiskunde en Informatica

13. Mission of SET
Create methods and tools for development and maintenance of reliable software.
/ Faculteit Wiskunde en Informatica

14. Research topics of SET
Objective
Research topics
Model-driven engineering
Create methods and tools for development and maintenance of reliable software.
/ Faculteit Wiskunde en Informatica

15. Research topics of SET
Objective
Research topics
Model-driven engineering
Software analysis and evolution
Generic language technology
Software evolution
Create methods and tools for development and maintenance of reliable software.
/ Faculteit Wiskunde en Informatica

16. Research topics of SET
Objective
Research topics
Model-driven engineering
Software analysis and evolution
Generic language technology
Software evolution
Verified software engineering
Create methods and tools for development and maintenance of reliable software.
/ Faculteit Wiskunde en Informatica

17. Theme: Model-Driven Software Engineering
Generation of code from models
Reconstruction of models from code
Analysis and transformation of models and code
Presentations by Marcel van Amstel, Zvezdan Protic and Luc Engelen (October 7)
/ Faculteit Wiskunde en Informatica

18. Theme: Software analysis and evolution
Compile-time (static) vs. run-time (dynamic)
Structure vs. behavior
Language-specific vs. language-independent
Generic Language Technology
General-purpose languages vs. domain-specific ones
Software evolution
Mark van den Brand (September 23), Alexander Serebrenik (today and September 30) and Arjan van der Meer (September 9)
/ Faculteit Wiskunde en Informatica

19. Theme: Verified Software Engineering
Integration of specification language and programming language
Consistent incremental development of specifications and code
Correctness by design
Integrated environment for development and verification of software
Presentation by Michael Franssen (September 16)
/ Faculteit Wiskunde en Informatica

20. MSc projects: Finished
Relational static semantic checking of Java (TU/e)
State machine reconstruction from object C (Vanderlande Industries)
GUI for Verifying IDE (TU/e)
Model checking to validate architectural rules (Philips Research)
Model checking the usage of protect/unprotect in ATerm library (TU/e)
Detection of maintenance critical components in PLC code (Vanderlande Industries)
/ Faculteit Wiskunde en Informatica

21. MSc projects: Proposed
Software Metrics Validation using Version Control (LQS)
Software Maintainability Assessment Framework (LQS)
Code Mining in C/C++ (NXP)
Static Detection of Cyclic Data Structures in C (TU/e)
Software Artifacts Description Format (LQS)
Model-Driven Software Engineering (Ericsson)
Term rewriting using tree automata (TU/e, UP)
Model Driven Software Engineering (Centric)
Quantitative Analysis of Model Transformations (TU/e)
Conversion of RPG code to AOP in Software Factory (Sligro, ThinkWise)
Extending SGLR with Unicode (TU/e, CWI)
Code convention checker (Philips Lightning)
/ Faculteit Wiskunde en Informatica

22. Questions?
/ Faculteit Wiskunde en Informatica