Indice
36 relazioni: Addison-Wesley, Algebra di Boole, Ambiente di sviluppo integrato, Architettura guidata dal modello, Asserzione (informatica), Borland, Commento (informatica), Debugging, Diagramma, Diagramma degli stati UML, Dot notation, Edsger Dijkstra, Effetto collaterale (informatica), Eiffel (linguaggio di programmazione), Insieme, Invariante di classe, Java (linguaggio di programmazione), Leggibilità, Linguaggio di programmazione, Linguaggio formale, Meta-Object Facility, NULL, Numero intero, Numero reale, Octopus, Operatore (informatica), Paradigma object-oriented, Programma (informatica), Programmazione orientata agli oggetti, Quantificatore, Stringa (informatica), Teoria del primo ordine, Tipo primitivo, Unified Modeling Language, Unione (insiemistica), Università tecnica di Dresda.
- UML
Addison-Wesley
Addison-Wesley è una casa editrice statunitense di libri di testo e manuali di computer. Si tratta di un marchio di Pearson PLC, un'azienda mondiale nel campo dell'editoria e dell'istruzione.
Vedere Object Constraint Language e Addison-Wesley
Algebra di Boole
Lalgebra di Boole (anche detta algebra booleana, logica booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0.
Vedere Object Constraint Language e Algebra di Boole
Ambiente di sviluppo integrato
Un ambiente di sviluppo integrato (ovvero IDE) è un'applicazione che fornisce vari strumenti per lo sviluppo software, in particolare un editor di codice sorgente, modalità di automazione dello sviluppo, e un debugger.
Vedere Object Constraint Language e Ambiente di sviluppo integrato
Architettura guidata dal modello
In ingegneria del software, L'architettura guidata dal modello o model-driven architecture (MDA) è un approccio di progettazione software per lo sviluppo di sistemi software.
Vedere Object Constraint Language e Architettura guidata dal modello
Asserzione (informatica)
In informatica, unasserzione è un predicato presente in un programma che indica che il predicato sia sempre vero. Per esempio, il codice seguente contiene due asserzioni: x.
Vedere Object Constraint Language e Asserzione (informatica)
Borland
Borland Software Corporation (precedentemente Borland International, Inc.) è un'azienda produttrice di software con sede a Austin, in Texas.
Vedere Object Constraint Language e Borland
Commento (informatica)
Il commento, nell'ambito dei linguaggi di programmazione, è una sequenza delimitata di caratteri nel codice sorgente che non risulta nell'algoritmo risolutivo codificato e che solitamente ha lo scopo di descriverne le caratteristiche funzionali, ovvero di spiegare il funzionamento delle linee di codice adiacenti.
Vedere Object Constraint Language e Commento (informatica)
Debugging
Il debugging (o semplicemente debug) o depurazione, in informatica, nell'ambito dello sviluppo software, indica l'attività che consiste nell'individuazione e correzione da parte del programmatore di uno o più errori (bug) rilevati nel software, direttamente in fase di programmazione oppure a seguito della fase di testing o dell'utilizzo finale del programma stesso.
Vedere Object Constraint Language e Debugging
Diagramma
Un diagramma è una rappresentazione simbolica di dati che si prefigge lo scopo di renderli facilmente consultabili, elaborato graficamente secondo convenzioni prestabilite.
Vedere Object Constraint Language e Diagramma
Diagramma degli stati UML
Lo State Chart Diagram UML o Diagramma degli stati UML detto anche Pallogramma è un diagramma previsto dall'UML per descrivere il comportamento di entità o di classi in termini di stato (macchina a stati).
Vedere Object Constraint Language e Diagramma degli stati UML
Dot notation
La dot notation ("notazione col punto") è uno schema sintattico molto diffuso nei linguaggi di programmazione orientati agli oggetti (e formalismi correlati come OCL) per riferirsi a proprietà degli oggetti come attributi o metodi.
Vedere Object Constraint Language e Dot notation
Edsger Dijkstra
Edsger Wybe Dijkstra nacque a Rotterdam l'11 maggio del 1930. Suo padre, Douwe Wybe Dijkstra, fu un professore di chimica alle scuole superiori e servì come presidente della Dutch Chemical Society.
Vedere Object Constraint Language e Edsger Dijkstra
Effetto collaterale (informatica)
In informatica si dice che una funzione produce un effetto collaterale quando modifica un valore o uno stato al di fuori del proprio ambito locale.
Vedere Object Constraint Language e Effetto collaterale (informatica)
Eiffel (linguaggio di programmazione)
Eiffel è un linguaggio di programmazione object-oriented che enfatizza la scrittura di programmi robusti. Fu uno dei primi linguaggi a oggetti compilati e pensati per l'utilizzo industriale.
Vedere Object Constraint Language e Eiffel (linguaggio di programmazione)
Insieme
In matematica, una collezione di elementi rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque elemento fa parte o no del raggruppamento.
Vedere Object Constraint Language e Insieme
Invariante di classe
L'invariante di classe, in informatica è un'invariante usata per vincolare gli oggetti di una classe. I metodi della classe dovranno preservare l'invariante.
Vedere Object Constraint Language e Invariante di classe
Java (linguaggio di programmazione)
In informatica Java è un linguaggio di programmazione ad alto livello, orientato agli oggetti e a tipizzazione statica, che si appoggia sull'omonima piattaforma software di esecuzione, specificamente progettato per essere il più possibile indipendente dalla piattaforma hardware di esecuzione (tramite compilazione in bytecode prima e interpretazione poi da parte di una JVM) (sebbene questa caratteristica comporti prestazioni in termini di computazione inferiori a quelle di linguaggi direttamente compilati come C e C++ ovvero dunque perfettamente adattati alla piattaforma hardware).
Vedere Object Constraint Language e Java (linguaggio di programmazione)
Leggibilità
La leggibilità è un requisito fondamentale di un testo, di un carattere tipografico o della grafia. La lingua italiana, a differenza di altre lingue fra cui quella inglese, non dispone di parole diverse per distinguere tra.
Vedere Object Constraint Language e Leggibilità
Linguaggio di programmazione
Un linguaggio di programmazione è un sistema di notazione per la scrittura di programmi per computer. La maggior parte dei linguaggi di programmazione sono linguaggi formali basati su testo, ma possono anche essere grafici.
Vedere Object Constraint Language e Linguaggio di programmazione
Linguaggio formale
Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe costruite sopra un alfabeto, cioè sopra un insieme di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.
Vedere Object Constraint Language e Linguaggio formale
Meta-Object Facility
Il Meta-Object Facility (MOF) è uno standard per l'ingegneria guidata dal modello dell'Object Management Group (OMG). IL MOF nasce dal linguaggio UML; L'OMG aveva bisogno di un'architettura di metamodellazione per definire l'UML.
Vedere Object Constraint Language e Meta-Object Facility
NULL
In diversi contesti dell'informatica e della matematica, la parola null o anche meno frequentemente nil viene usata per indicare un particolare elemento di un insieme che svolge, in qualche senso, una funzione simile a quella dello zero matematico.
Vedere Object Constraint Language e NULL
Numero intero
Il simbolo dell'insieme dei numeri interi I numeri interi (o numeri interi relativi o, semplicemente, numeri relativi) corrispondono all'insieme ottenuto unendo i numeri naturali (0, 1, 2,...) e i numeri interi negativi (−1, −2, −3,...), cioè quelli ottenuti ponendo un segno “−” davanti ai naturali.
Vedere Object Constraint Language e Numero intero
Numero reale
In matematica, i numeri reali possono essere descritti in maniera non formale come numeri ai quali è possibile attribuire uno sviluppo decimale finito o infinito, come pi.
Vedere Object Constraint Language e Numero reale
Octopus
Octopus (da) è un genere di molluschi cefalopodi noti come polpi, con numerose specie diffuse in tutti i mari e gli oceani del globo adattatesi a vivere in diversi subambienti marini, da subtidale fino al di sotto della zona fotica.
Vedere Object Constraint Language e Octopus
Operatore (informatica)
In informatica e programmazione, un operatore è un simbolo che specifica quale legge applicare a uno o più operandi, per generare un risultato.
Vedere Object Constraint Language e Operatore (informatica)
Paradigma object-oriented
In ingegneria del software, l'espressione paradigma orientato agli oggetti o paradigma object-oriented si riferisce a un insieme di concetti introdotti dai linguaggi di programmazione orientati agli oggetti e in seguito estesi a numerosi altri contesti della information technology.
Vedere Object Constraint Language e Paradigma object-oriented
Programma (informatica)
In informatica, un programma è una sequenza di istruzioni codificate in un linguaggio interpretabile da un elaboratore, espressione di un algoritmo per la risoluzione automatica di una certa classe di problemi.
Vedere Object Constraint Language e Programma (informatica)
Programmazione orientata agli oggetti
In informatica, la programmazione orientata agli oggetti (in acronimo OOP), a volte chiamata semplicemente programmazione ad oggetti, è un paradigma di programmazione che permette di definire oggetti software in grado di interagire gli uni con gli altri attraverso lo scambio di messaggi.
Vedere Object Constraint Language e Programmazione orientata agli oggetti
Quantificatore
Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche.
Vedere Object Constraint Language e Quantificatore
Stringa (informatica)
Una stringa in informatica è una sequenza di caratteri con un ordine prestabilito. Sequenze di altri tipi di dato vengono chiamati vettori o, in inglese, array.
Vedere Object Constraint Language e Stringa (informatica)
Teoria del primo ordine
Nella logica matematica, una teoria del primo ordine (o calcolo dei predicati) è un particolare sistema formale, cioè una teoria formale, in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.
Vedere Object Constraint Language e Teoria del primo ordine
Tipo primitivo
In programmazione, un tipo si dice primitivo o atomico se definisce un insieme di valori atomici. Questo nome è usato spesso in opposizione con il nome dei tipi strutturati, che aggregano più tipi atomici per formare delle strutture dati composte, come i record.
Vedere Object Constraint Language e Tipo primitivo
Unified Modeling Language
In ingegneria del software, UML (Unified Modeling Language, "linguaggio di modellizzazione unificato") è un linguaggio di modellazione e di specifica basato sul paradigma orientato agli oggetti.
Vedere Object Constraint Language e Unified Modeling Language
Unione (insiemistica)
In matematica, e in particolare in teoria degli insiemi, esiste un'operazione detta unione (simbolo cup) di insiemi. Il simbolo cup deriva da U, l'iniziale della parola "unione".
Vedere Object Constraint Language e Unione (insiemistica)
Università tecnica di Dresda
L'Università tecnica di Dresda (in tedesco: Technische Universität Dresden, acronimo "TUD") è la più grande istituzione universitaria della città tedesca e dello Stato federale della Sassonia.
Vedere Object Constraint Language e Università tecnica di Dresda
Vedi anche
UML
- Architettura guidata dal modello
- Caso d'uso (informatica)
- Classe interna
- Diagramma dei casi d'uso
- Grady Booch
- Ingegneria guidata dal modello
- Ivar Jacobson
- James Rumbaugh
- Meta-Object Facility
- Object Constraint Language
- Object Management Group
- Object Modeling Technique
- Profilo UML
- Stereotipo (UML)
- Swim lane
- Unified Modeling Language
- XML Metadata Interchange