Sfoglia per Relatore
On model-driven design of city spaces. A bidirectional transformations approach to city spaces design and operations
2018/2019 VISCONTI, ENNIO
Requirements Verification of Variability-Intensive Systems
MOLZAM SHARIFLOO, AMIR
Safe and Efficient Dynamic Updates of Distributed Software Systems
PANZICA LA MANNA, VALERIO
SAMA : un framework per applicazioni mobili adattive
2012/2013 HUANG, TENGDA
SAME : un framework per la gestione dell'incertezza nei sistemi software self adaptive
2011/2012 BROGNOLI, NICOLÒ
Security requirements, modelling and analysis in a courthouse case study
2015/2016 RUBINO, WALTER
Shellzer : a tool for the dynamic analysis of malicious shellcode
2009/2010 FRATANTONIO, YANICK
Single process emulation with Qemu to support dynamic analysis
2009/2010 GIOVANAZZI, ANTONIO
Software implementations for the automatic thickness control in the blown film extrusion process
2013/2014 CHEN, BEN
Software tool to generate NFC applications for learning enviroments
2011/2012 BRUZZI, RYAN
Stakeholder relationship management for software projects
2012/2013 MARCONI, FRANCESCO
Synkrisis : specification and analysis of bigraphical reactive systems
2018/2019 CASTELLANI, ALESSANDRO
Synthesizing product line controllers from scenario based specifications
2012/2013 GRESSI, ERIKA
Testing rule-driven applications
2010/2011 BONISIOL, ANDREA
Topic modeling : an approach to topic evolution discovery and a software engineering study case
2014/2015 ZOFFOLI, FRANCESCO
Towards a development environment for secure cyberphysical spaces
2014/2015 PASI, EDOARDO
Trace checking of quantitative properties
KRSTIC, SRDAN
Verification of quantitative properties of service based applications
2011/2012 KRSTIC, SRDAN
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili