Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Study Plan
This information is intended exclusively for students already enrolled in this course.If you are a new student interested in enrolling, you can find information about the course of study on the course page:
Laurea magistrale in Ingegneria e scienze informatiche - Enrollment from 2025/2026The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.
1° Year
Modules | Credits | TAF | SSD |
---|
2° Year activated in the A.Y. 2017/2018
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
2 courses to be chosen among the following
Legend | Type of training activity (TTA)
TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.
Automated System Verification (2016/2017)
Teaching code
4S003252
Teacher
Coordinator
Credits
6
Language
Italian
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
Period
II sem. dal Mar 1, 2017 al Jun 9, 2017.
Learning outcomes
The goal of this course is to present techniques for programming and verifying concurrent software systems, also applied to mobile computing. It presents the syntactical constructs, their semantics and the techniques for concurrent programming, the problems induced by concurrency and the possibility of verification through automatic tools. It presents the development of concurrent web services through servlets. Hence it describes techniques for mobile software development, typically consuming web services, where concurrency is more and more extensively used. The course uses the Java programming language and the Android framework as concrete contexts for development.
Program
Concurrent programming, motivations and problems
Java memory model
Constructs and libraries for concurrency in Java
Verification of concurrent systems: code annotation and static analysis
Programming web services through Java servlets
Mobile programming and its specific problems
Mobile interfaces and their usability
Design patterns for mobile interfaces
Android components and intents
Android user interfaces
Android concurrency
The MVC pattern applied to Android
The master/detail pattern in Android
Querying web services from Android
Author | Title | Publishing house | Year | ISBN | Notes |
---|---|---|---|---|---|
G. Blake Meike | Android Concurrency (Edizione 1) | Addison-Wesley | 2016 | 978-0-13-417743-4 | Testo di supporto per approfondimento, non essenziale |
Bill Phillips et al. | Android Programming - The Big Nerd Ranch Guide (Edizione 2) | Big Nerd Ranch | 2015 | 978-0134171456 | Testo di supporto per approfondimento, non essenziale |
Brian Goetz et al | Java Concurrency in Practice (Edizione 1) | Addison-Wesley | 2015 | 978-0-321-34960-6 | Testo didattico consigliato, essenziale per seguire il corso |
Examination Methods
Development of a concurrent application in Android. Presentation and oral dissertation about the code of the application.
Teaching materials e documents
-
Android.pdf (pdf, it, 1833 KB, 5/7/17)
-
Building Blocks.pdf (pdf, it, 748 KB, 3/20/17)
-
Composing Objects.pdf (pdf, it, 217 KB, 3/20/17)
-
Concurrency and GUIs.pdf (pdf, it, 2365 KB, 3/26/17)
-
Introduction.pdf (pdf, it, 501 KB, 3/5/17)
-
Progetto.txt (plain, it, 1 KB, 5/16/17)
-
Sharing Objects.pdf (pdf, it, 203 KB, 3/14/17)
-
Task Execution.pdf (pdf, it, 689 KB, 3/20/17)
-
Thread Safety.pdf (pdf, it, 349 KB, 3/11/17)