English (en-US)Nazionale
-
Automatico Trascrizione Musica: da Monofoniche a PolifonicoMusica comprensione da traccia audio e le prestazioni è un problema fondamentale e una sfida per molte applicazioni che vanno dal: transcodifica musica automatico, educazione musicale, ...1269 Accessi Voto
-
TILCO web page (Temporal Interval Logic with Compositional Operators)Formal methods should be adopted since the early phases of the system development to reduce failures in the final software product.174 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 ...362 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 ...337 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 ...440 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 ...313 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 ...494 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 ...364 Accessi Voto
-
Slide-show about Dev-TILCO and an application example (italian language)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 ...1164 Accessi Voto
-
slides in Italian regarding the general aspects of TILCOXFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...604 Accessi Voto