Software Engineering and Programming Systems [30.0]
The students who have attended the "Software engineering and programming systems" option, will have to be able to:
Understand and explain the problems encountered in the conduct of large software projects, as well as the critical impact of the choice of solution throughout their life cycle (dimensions of construction, validation, of documentation, of communication and of project management involving big teams as well as the cost and deadlines to respect)
Choose and apply engineering methods and tools of complex software systems answering strict criteria of quality: reliability, adaptability, evolutionarity, performance, security, usability, ...
Models products and processes necessary to obtains such systems and analyse these methods
- Develop and implement programs for analysis, conversion and optimisation of computer representation
Use wisely different paradigms and programming languages, particularly in regard to functional programming, object-oriented and competing
Understand the stakes of the various models of concurrent programming and distributed and use of the appropriate model
Define a new language (syntax and semantics) appropriate to a specific context.
Legend |
|
Mandatory |
|
Optional |
|
Courses not taught this academic year |
|
Periodic courses not taught this academic year |
|
Periodic courses taught this academic year |
|
Two year courses |
|
Click on the course code to see detailed informations (objectives, methods, evaluation...) |
|
|
Year |
|
1 |
2 |
The student shall select 30 credits from amongst
|
Compulsory courses in Software Engineering and Programming Systems25 credits among
|
LSINF2224
|
Programming methods |
Charles Pecheur |
30h + 15h |
5credits |
2q |
x |
x |
LINGI2252
|
Software Engineering : Measures and Maintenance |
Kim Mens |
30h + 15h |
5credits |
1q |
x |
x |
LINGI2339
|
Abstract interpretation |
Baudouin Le Charlier |
30h + 15h |
5credits |
1q |
x |
x |
LSINF2345
|
Languages and algorithms for distributed applications |
Peter Van Roy |
30h + 15h |
5credits |
2q |
x |
x |
LINGI2355
|
Software requirements & architecture |
Axel Van Lamsweerde |
30h + 15h |
5credits |
2q |
x |
x |
Elective courses in Software Engineering and Programming Systems The student shall select 1 course from amongst
|
LSINF2172
|
Database design |
N. |
30h + 30h |
5credits |
2q |
x |
x |
LSINF2335
|
Programming paradigms : theory, practice and applications |
Kim Mens |
30h + 15h |
5credits |
2q |
x |
x |
LSINF2356
|
Human-computer interaction |
Jean Vanderdonckt |
30h + 15h |
5credits |
2q |
x |
x |
LSINF2382
|
Computer supported collaborative work |
Jean Vanderdonckt |
30h + 15h |
5credits |
2q |
x |
x |
LINGI2143
|
Concurrent systems : models and analysis |
Charles Pecheur |
30h + 15h |
5credits |
1q |
x |
x |
LINGI2264
|
Automated reasoning |
Charles Pecheur |
30h + 15h |
5credits |
1q |
x |
x |
LINGI2346
|
Distributed application design |
Marc Lobelle |
30h + 15h |
5credits |
1q |
x |
x |
LINGI2365
|
Constraint programming |
Yves Deville |
30h + 15h |
5credits |
2q |
x |
x |
LINMA2111
|
Discrete mathematics II : Algorithms and complexity
|
Vincent Blondel |
30h + 22.5h |
5credits |
2q |
x |
x |
LINGI2144
|
Secured systems engineering |
Gildas Avoine |
30h + 15h |
5credits |
1q |
x |
x |
|
|
15/07/2010
|
|