Italiano (it)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 ...2130 Hits Rating
-
Cross Media Learning Management System (video)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 ...1268 Hits Rating
-
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.1211 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 ...626 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 ...643 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 ...686 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 ...545 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 ...937 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 ...623 Hits Rating
-
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 ...1383 Hits Rating
Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:12:\"user warning\";s:8:\"%message\";s:1295:\"Table '.\\drupal\\sessions' is marked as crashed and should be repaired\nquery: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\\"0\\";section|s:8:\\"taxonomy\\";messages|a:1:{s:5:\\"error\\";a:2:{i:0;s:393:\\"warning: file_get_contents(http://www.disit.org/scorrimento3.html) [<a href=\\'function.file-get-contents\\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport &quot;ssl&quot; - did you in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128