Télécom
Software engineering is at the heart of computer science activity and is used to overcome the challenge of designing reactive, evolving and reconfigurable systems by utilising industrial standards.
On one hand, new application domains and problems (ubiquitous computing, embedded systems, network services, mobility, security, Internet and RFID) are giving rise to new levels of competence in the design and development of such systems. On the other hand the classical domains of computer science are evolving to let companies go from an application-centric to a service and process centric paradigm.
The mastering of this complexity needs rigorous methods (based on UML and other formalisms) and techniques (automated tools) of specification, design and validation. The tendency is towards an independence between modeling and new execution platforms (J2EE, .NET). The architecture is constructed by assembling software components.
This study track trains students in the role of designer or consultant in Information Systems and more generally in service oriented systems.
Formal methods for the development of software shall be taught, which give an introduction to the research in this domain.
The track can take various orientations which have a common prerequisite of Teaching Units (TU):
- Specification, modeling and design of software systems (TU INF341).
It is necessary to choose -at least- one of the following Teaching Units:
1) "Information Systems Engineering" domain
- TU [INFSES344] Management and Information Systems
2) "Interactive Systems and Internet Services" domain
- TU [INFSI351]Man Machine Interfaces
- TU [INF347] Web services and cartographic engineering
In addition it is recommended to register to the Team Project Unit INF380.
Study track composition :
Or
Or
Last Modification : Wednesday 20 May 2009