Scorri Autori Unibg  

Opzioni
Risultati da 21 a 40 di 179
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2008 Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints Calvagna, Andrea; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2008 A Model-driven Technique for Embedded System Validation Carioni, Alessandro; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2008 A Metamodel-based Language and a Simulation Engine for Abstract State Machines Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2008 Scenario-based validation of embedded systems Gargantini, Angelo Michele; Riccobene, E.; Scandurra, Patrizia; Carioni, A. 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2008 Model-driven Language Engineering: the ASMETA case study Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2008 A Logic-Based Approach to Combinatorial Testing with Constraints Calvagna, Andrea; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2008 Exploiting the ASM Method for Validation & Verification of Embedded Systems Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2008 A Model-driven Validation and Verification Environment for Embedded Systems Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2008 A scenario-based validation language for ASMs Carioni, Alessandro; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 Eclipse IT 2009 - 4th Italian worshop on eclipse technologies Gargantini, Angelo Michele 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books
1-gen-2009 Model-driven design and ASM-based analysis of embedded systems Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2009 Integrating formal methods with model-driven engineering Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays Calvagna, Andrea; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 Experiments on the Test Case Length in Specification Based Test Case Generation Fraser, Gordon; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 An Evaluation of Specification Based Test Generation Techniques Using Model Checkers Fraser, Gordon; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 A semantic framework for metamodel-based languages Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2009 On the order of test goals in specification-based testing Fraser, Gordon; Gargantini, Angelo Michele; Wotawa, Franz 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2009 Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing Calvagna, Andrea; Gargantini, Angelo Michele; Tramontana, Emiliano 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 Ten reasons to metamodel ASMs Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia; Carioni, Alessandro 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2009 Model-driven system validation by scenarios Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia; Carioni, Alessandro 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
Risultati da 21 a 40 di 179
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile