Italiano (it)application fields
-
CORSO IFTS PROGED: PROGETTAZIONE SOFTWARE, 5 di 8Ciclo di Vita Principi dellingegneria del software Progettazione UML esercitazion342 Hits Rating
-
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 ...469 Hits Rating
-
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 ...567 Hits Rating
-
Ontology Building vs Data Harvesting and Cleaning for Smart-city ServicesPresently, a very large number of public and private data sets are available around the local governments. In most cases, they are not semantically interoperable and a huge human effort is needed ...1596 Hits Rating
-
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 ...362 Hits Rating
-
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 ...337 Hits Rating
-
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 ...440 Hits Rating
-
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 ...313 Hits Rating
-
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 ...494 Hits Rating
-
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 ...364 Hits Rating