Appunti, riassunti, compiti, esami e problemi di Informatica

Introduzione all'Analisi dei Requisiti Software

Generalità

L'analisi è una tappa fondamentale nel ciclo di vita del software.

• L'analisi deriva dal sistema e dai requisiti.
• Per analizzare i requisiti, questi devono essere stati preventivamente ottenuti attraverso la determinazione dei requisiti (Requirements Engineering).

Definizione di Analisi

L'analisi è il processo di studio delle necessità dell'utente per arrivare a una definizione dei requisiti di sistema, hardware o software, e il processo di studio e perfezionamento di tali requisiti.

Ingegneria dei Requisiti

L'ingegneria dei requisiti è la prima fase del ciclo di vita del software in cui vi è una specifica.

• Dalle idee informali dovrebbero essere ottenuti e documentati:
• Requisiti funzionali
• Requisiti

Il Disegno: Un Lavoro Multidisciplinare

Il disegno è un processo che porta alla realizzazione di un'immagine o di un oggetto, definendone le linee funzionali ed estetiche. Coinvolge criteri plastici e criteri tecnici specifici per i diversi settori in cui si applica. È un lavoro multidisciplinare. Ci sono tre tipi principali di disegno: editoriale, pubblicitario e web design.

Requisiti del Progettista

In ognuno di questi tre ambiti, il progettista deve rispondere a determinati requisiti:

1. Profonda conoscenza della comunicazione tecnologica, economica e ambientale che è operativa.
2. La completa padronanza delle tecniche e degli elementi del linguaggio visivo e della loro capacità comunicativa.

Design Editoriale

Si tratta di un processo di pianificazione... Continua a leggere "I Fondamenti del Design: Editoriale, Web e Pubblicitario" »

Semaforo: Strumento di Sincronizzazione

Il semaforo è uno strumento di sincronizzazione fondamentale per risolvere i problemi delle sezioni critiche e i problemi di concorrenza. Si tratta di una variabile intera a cui è possibile accedere solo attraverso due operazioni atomiche: Wait e Signal.

Quando un processo modifica il valore di un semaforo, gli altri processi non possono farlo contemporaneamente. Viene inizializzato con un valore non negativo. L'operazione Wait (o P) diminuisce il valore del semaforo. Se il valore risultante è negativo, il processo viene bloccato. L'operazione Signal (o V) aumenta il valore del semaforo. Se il valore risultante è positivo, un processo bloccato dall'operazione Wait viene sbloccato.

La definizione formale... Continua a leggere "Meccanismi di Sincronizzazione: Semafori, Wait, Signal e il Problema dei Filosofi Commensali" »

Definizione di Requisito

Un requisito può essere definito come un attributo necessario in un sistema, che può rappresentare una capacità, una caratteristica o un fattore di qualità del sistema, in modo tale da essere utile a clienti o utenti finali.

Un requisito è la descrizione di una condizione o capacità che un sistema deve soddisfare. Esso può derivare da una necessità specifica degli utenti, o essere parte di un contratto standard, delle specifiche o di altro documento formalmente imposto nelle prime fasi del processo.

Tipi di Requisiti Software

I requisiti software possono essere suddivisi in due categorie principali: i requisiti funzionali e i requisiti non funzionali.

Requisiti Funzionali

I requisiti funzionali sono quelli che definiscono... Continua a leggere "Requisiti di Sistema e Software: Definizione, Classificazione e Standard di Documentazione" »

1. Carta Intestata

È l'identificazione dell'impresa o istituzione mittente. I dati inseriti sono: logo aziendale (o solo il nome), indirizzo completo (Comune), telefoni, fax, sito web, e-mail, CAP e altri dati (se presenti).

Oggi, i dati non vengono forniti solo per informazione, ma vengono anche sfruttati visivamente. Non è sufficiente inserire i dati; è necessario presentarli in modo visivamente attraente per suscitare una sensazione piacevole nel destinatario. Pertanto, spesso si lascia solo il logo aziendale nella parte superiore del foglio e gli altri dati si trovano a piè di pagina.

2. Luogo e Data di Emissione

Si posiziona dal centro del foglio verso destra.

Per esempio:

Santiago, 4 marzo 2001

Solitamente si indica prima il mese e poi il... Continua a leggere "Struttura e Componenti Chiave di una Lettera Commerciale Professionale" »

I Documenti di Lavoro nella Revisione Contabile

Definizione e Funzione

La definizione dei **Documenti di Lavoro (DL)** si riferisce alle registrazioni preparate dal revisore dei conti che documentano il lavoro svolto, le informazioni raccolte, le procedure, i metodi e le prove applicate, insieme alle conclusioni raggiunte. Essi costituiscono la documentazione giustificativa di ogni azione intrapresa dal revisore.

Obiettivi Fondamentali dei Documenti di Lavoro

Gli obiettivi fondamentali dei DL sono:

• Raccogliere le **prove** derivanti dall'esecuzione del lavoro e costituire il mezzo attraverso il quale il revisore si forma un'opinione.
• Essere utili per lo svolgimento del lavoro di supervisione del gruppo di audit.
• Aiutare il revisore nello svolgimento

Il processo di sviluppo software comprende tre fasi generiche, indipendenti dal modello di software engineering scelto:

• 1. DEFINIZIONE
• 2. SVILUPPO
• 3. MANUTENZIONE

1. DEFINIZIONE

Questa fase riguarda quello che sarà sviluppato.

• Analisi di Sistema: Definizione del ruolo di ogni elemento in un sistema basato su computer, stabilendo infine il ruolo che il software giocherà.
• Analisi dei Requisiti: Una volta stabilito il campo di applicazione del software, si definiscono i requisiti dettagliati del settore dell'informazione e della funzione del software. In questa fase si valutano i rischi, si assegnano le risorse, si stimano i costi e si definiscono compiti e calendario di lavoro.

2. SVILUPPO

Questa fase riguarda come il software verrà sviluppato.

• Progettazione

Componenti Hardware Principali di un Sistema Informatico

• CPU (Central Processing Unit): È responsabile del controllo, del coordinamento e dell'esecuzione di tutte le operazioni di un sistema informatico. Possiede due elementi principali: l'unità di controllo e l'unità aritmetico-logica.
• Memoria Principale: Memorizza programmi e dati che verranno poi utilizzati dalla CPU.
• Modulo di Ingresso/Uscita: Responsabile del collegamento delle periferiche con la CPU e la memoria principale.
• Periferiche: Sono dispositivi che permettono di inserire o estrarre informazioni dal computer. Le periferiche possono essere solo di input (tastiera, scanner), solo di output (stampante, monitor), oppure di input/output (dispositivi di archiviazione su disco).

Tipi

Progettazione Sistemi Informatici: Concetti Chiave di Design Logico e Fisico

La Progettazione Fisica dei Sistemi è il modo in cui vengono svolti i compiti del sistema, ovvero come vengono combinati i componenti e le funzioni che ciascuno di essi esegue.

Caratteristiche della Progettazione Fisica

• Progettazione Hardware: Richiede la specificazione di tutte le attrezzature informatiche, inclusi i dispositivi di input, elaborazione e output, con le relative caratteristiche prestazionali.
• Progettazione Software: Richiede la specificazione di tutte le caratteristiche del software (SW).

Ad esempio, se la progettazione logica definisce la necessità per gli utenti di aggiornare il database, la progettazione fisica deve specificare il sistema di erogazione... Continua a leggere "Progettazione Sistemi Informatici: Concetti Chiave di Design Logico e Fisico, Accoppiamento e Coesione Software" »

Introduzione: Cos'è un Tipo?

Il Tipo potrebbe essere definito come un insieme di termini di una lingua che hanno alcune caratteristiche in comune, il che permette loro di interagire o essere soggetti a modifiche applicate a loro in virtù di queste caratteristiche.

Il Sistema di Tipi

Definizione e Ruolo

Il Sistema di Tipi si compone della teoria di base di associare un tipo a ogni costrutto di un linguaggio dichiarativo.

Costruttori di Tipo

• Costruttori di tipo: strutture, unioni, oggetti
• Puntatori: i riferimenti di tipo
• Tipi somma (es. () in alcune lingue)

Verifica dei Tipi (Type Checking)

Ruolo dell'Analizzatore Semantico

Ogni analizzatore semantico implementa un sistema di tipi.

Verifica Statica vs Dinamica

• Compilazione: Verifica Statica
• Esecuzione: Verifica