Libri UniversitariApri il catalogo

Nicoletti – An ontology-aWare risk AssessmenT approaCH via object-oriented…

Libro adottato a Urbino, a.a. 2026/2027 · 1 canale

«Nicoletti – An ontology-aWare risk AssessmenT approaCH via object-oriented…» è adottato per Informatica e Pensiero Computazionale dal prof. Stefano Maria Nicoletti (Filosofia dell'informazione – Urbino).

Nicoletti – An ontology-aWare risk AssessmenT approaCH via object-oriented…Cerca su Amazon ›

Come lo indica il docente: Nicoletti, S.M., Hahn, E.M., Fumagalli, M., Guizzardi, G., Stoelinga, M. (2025). WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs. In: Krogstie, J., Rinderle-Ma, S., Kappel, G., Proper, H.A. (eds) Advanced Information Systems Engineering. CAiSE 2025. Lecture Notes in Computer Science, vol 15702. Springer, Cham

Chi lo adotta

Programma e testi di ogni canale

Informatica e Pensiero Computazionale – Prof. Stefano Maria Nicoletti Canale unico

Corso di laurea: Filosofia dell'informazione · Laurea magistrale (LM-78) · 2º anno · 1º semestre · 6 CFU

Urbino · Dipartimento di Scienze Pure e Applicate · 6 CFU · apri nel catalogo · Filosofia dell'informazione · 2º anno · 1º semestre ›

Severance, Charles. Python for everybody

Exploring Data using Python 3Cerca su Amazon ›Da studiare: Capitoli dall’1 al 9 incluso, Capitolo 14. Disponibile anche nella traduzione italiana dal titolo Python per tutti. Esplorare dati con Python 3Verificato sulla scheda ufficiale il 04/10/2026
Kaminski – Advanced weakest precondition calculi for probabilistic programsCerca su Amazon ›Da studiare: Capitolo 1.2, Capitolo 2.1, Capitolo 2.2 (escluso 2.2.4Verificato sulla scheda ufficiale il 04/10/2026
Baier – Principles of Model CheckingCerca su Amazon ›Da studiare: Capitolo 1Verificato sulla scheda ufficiale il 04/10/2026

Biere, Armin. “Tutorial on model checking

Modelling and verification in computer scienceCerca su Amazon ›Da studiare: Pp. 16-21. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008Verificato sulla scheda ufficiale il 04/10/2026
An introduction to program verificationCerca su Amazon ›Da studiare: Capitolo 1 (esclusi 1.3 e 1.4) e Capitolo 2 (esclusi 2.2.1, 2.2.2 e 2.5Verificato sulla scheda ufficiale il 04/10/2026
Goranko – Temporal LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Severance, Charles. Python for everybody

Exploring Data using Python 3Cerca su Amazon ›Da studiare: Capitoli 10, 11, 12, 13, 15 e 16. Disponibile anche nella traduzione italiana dal titolo Python per tutti. Esplorare dati con Python 3Verificato sulla scheda ufficiale il 04/10/2026
Baier – Principles of Model CheckingCerca su Amazon ›Da studiare: Capitolo 5Verificato sulla scheda ufficiale il 04/10/2026
Nicoletti – Systems and NetworksCerca su Amazon ›Da studiare: Pp. 441-452. IEEE, 2022Verificato sulla scheda ufficiale il 04/10/2026
Nicoletti – PFLCerca su Amazon ›Da studiare: Pp. 199-221. Cham: Springer International Publishing, 2023Verificato sulla scheda ufficiale il 04/10/2026
Nicoletti – An ontology-aWare risk AssessmenT approaCH via object-oriented…questo libroCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Bacheca del docente: cosa indica di studiare
  • Le dispense fornite dal docente e disponibili sulla piattaforma Moodle sono integrate dai seguenti testi, da studiare solamente nelle sezioni indicate di seguito:
  • Non frequentanti: Le dispense fornite dal docente e disponibili sulla piattaforma Moodle sono integrate dai seguenti testi, da studiare solamente nelle sezioni indicate di seguito:
Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a