English (en-US)application fields
-
CORSO IFTS PROGED: PROGETTAZIONE SOFTWARE, 5 di 8Ciclo di Vita Principi dellingegneria del software Progettazione UML esercitazion358 Accessi Voto
-
Sii-Mobility: DE3.18a Moduli di connessione con SII per mobile, web e applicazioni fisseSii-Mobility intende creare una soluzione che possa abilitare unampia gamma di servizi al cittadino e commerciali in connessione e integrati con il sistema di mobilità: collezionando dati ...522 Accessi Voto
-
Sii-Mobility: DE4.2b Sistema di acquisizione e aggregazione datiSii-Mobility intende creare una soluzione che possa abilitare unampia gamma di servizi al cittadino e commerciali in connessione e integrati con il sistema di mobilità: collezionando dati ...624 Accessi Voto
-
Costruzione di una Ontologia, raccolta e riconciliazione dei dati servizi di Smart- cityAttualmente, un gran numero di set di dati pubblici e privati sono disponibili in tutto i governi locali. Nella maggior parte dei casi, non sono semanticamente interoperabili ed è necessario un ...1663 Accessi Voto
-
Crossroad Control Simulator: an application developed with Dev-TILCOFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...388 Accessi Voto
-
Visual C++ project for Crossroad Control Simulator (with built-in Dev-TILCO development process)Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...367 Accessi Voto
-
Communicating TILCO for RealTime System SpecificationFormal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...454 Accessi Voto
-
C-TILCO theoryFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...336 Accessi Voto
-
Technical report about an example of development: Crossroad Control SimulatorFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...513 Accessi Voto
-
Technical report about Dev-TILCOFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...406 Accessi Voto