• Santanna
  • Std-logo-unitn-en
ICT Education
ICT Education
Graduate Program in Computer Science and Engineering
UniTN - SSSA
Edu_logo

Software Technologies

This curriculum address the challenges of the analysis, design and software development of large scale socio-technical systems with proven quality of assurance, correctness, security and usability. The curriculum can be essentially designed in three main stream

  • Design: the courses part of this stream complements the traditional part of Software Engineering in BSc courses with the analysis of organizational requirements behind the development of software systems (Requirements Engineering) and new development methodologies (Agent-Oriented Software Engineering) and usability (Human Computer Interaction).
  •  Assurance and Security: here the courses focus on the analysis of trust and security at organizational and business process level (Computer Security) and lower level (Network Security) that are . Also in this case usability considerations (Human-Computer Interaction) play a key role.
  •  Correctness: this stream faces the challenges of the design of a correct software systems through the technology of testing (Software Analysis and Testing, and Laboratory of Software Analysis) and the complementary techniques of formal verification and model checking (Formal Methods).

The curriculum can be complemented with a number of courses from other curricula among the suggested alternatives students can explore the issue behind the design of Organizational Systems where socio-technical issues are considered more thoroughly. Further we have envisaged the aspects of Software Management, for students that intends to continue their careers in Industry, and Research Projects in Software Technologies, for students interested in deepening their knowledge of applied research topics.

Students interested to pursue specialization in the areas of Design, Assurance and Correctness are also encouraged to take the advanced 3credits courses in each of the above area that are offered in the framework of the PhD programme (Conceptual Modeling and Ontological Analyis, Access Control and Information Theory, Advanced Software Verification,). The schedule of the courses, normally in the second semester, can be found at

http://ict.unitn.it/edu/ict/courselist.xml?year=2009

Students are free to select their path in the curriculum by carefully preparing their study plan.

 

You can find more detailed information on courses of study following the link