English (en-US)software engineering
-
Cross Media Learning Management System (old document)The Cross Media Learning Management Systems, XLMS, of the DISIT Lab, is a solution for a distance and continuous learning, based on social media technologies. The proposed solution is innovative ...2107 Accessi Voto
-
Cross Media Learning Management System ( video)Il Media Learning Management Sistemi Croce, XLMS, del DISIT Lab, è una soluzione per una distanza e di apprendimento continuo, basato su tecnologie di social media. La soluzione proposta è ...1245 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.1209 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 ...625 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 ...637 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 ...677 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 ...532 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 ...904 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 ...614 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 ...1372 Accessi Voto
Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1756734601 WHERE sid = '27ea21bb9931064eb9e75e3a9d594f9a' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128