Sfoglia per Rivista  SCIENCE OF COMPUTER PROGRAMMING

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 11 di 11
Titolo Data di pubblicazione Autore(i) File
Cjj: a subset of C++ compliant with Java 1-gen-2002 Tonella, Paolo; Potrich, Alessandra
Contracts-refinement proof system for component-based embedded systems 1-gen-2015 Cimatti, Alessandro; Tonetta, Stefano
Design-Code Traceability Recovery: Selecting the Basic Linkage Properties 1-gen-2001 G., Antoniol; Caprile, Bruno Giovanni; Potrich, Alessandra; Tonella, Paolo
EvoMBT: Evolutionary model based testing 1-gen-2023 Ferdous, Raihana; Hung, Chia-kang; Kifetew, Fitsum; Prandi, Davide; Susi, Angelo
Extraction of domain concepts from the source code 1-gen-2015 Surafel Lemma, Abebe; Tonella, Paolo
Gamifying model-based engineering: The PapyGame tool 1-gen-2023 Bucchiarone, Antonio; Savary-Leblanc, Maxime; Le Pallec, Xavier; Bruel, Jean-Michel; Cicchetti, Antonio; Cabot, Jordi; Gérard, Sébastien
GaMoVR: Gamification-based UML learning environment in virtual reality 1-gen-2024 Yigitbas, Enes; Schmidt, Maximilian; Bucchiarone, Antonio; Gottschalk, Sebastian; Engels, Gregor
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills 1-gen-2024 Bucchiarone, Antonio; Martorella, Tommaso; Frageri, Davide; Colombo, Diego
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) 1-gen-2012 María, Alpuente; Christophe, Joubert; Stefan, Kowalewski; Roveri, Marco
Safety Assessment of AltaRica Models via Symbolic Model Checking 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints 1-gen-2000 V., Hartonas Garmhausen; E. M., Clarke; S., Campos; Cimatti, Alessandro; Giunchiglia, Fausto
Mostrati risultati da 1 a 11 di 11
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