RICCOBENE, ELVINIA MARIA

RICCOBENE, ELVINIA MARIA  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 128 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A formal framework for service modeling and prototyping 1-ott-2013 E. Riccobene + Article (author) -
A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs 1-gen-2011 E. Riccobene + Book Part (author) -
A model advisor for NuSMV specifications 1-gen-2011 P. ArcainiE. Riccobene + Article (author) -
A model-driven process for engineering a toolset for a formal method 1-gen-2011 P. ArcainiE. Riccobene + Article (author) -
A modeling and executable language for designing and prototyping service-oriented applications 1-gen-2011 E. Riccobene + Book Part (author) -
Abstract state machines, alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 1-gen-2012 E. Riccobene + Book (editor) -
An abstraction technique for testing decomposable systems by model checking 1-gen-2014 E. Riccobene + Book Part (author) -
Addressing usability in a formal development environment 1-gen-2020 Riccobene E. + Book Part (author) -
An ASM-based executable formal model of service-oriented component interactions and orchestration 1-gen-2010 E. Riccobene + Book Part (author) -
An Eclipse-based SCA design framework to support coordinated execution of services 1-gen-2011 E. Riccobene + Book Part (author) -
An executable semantics of the SystemC UML profile 1-gen-2010 E. Riccobene + Book Part (author) -
ASM 1-gen-2006 Elvinia Riccobene + Book Part (author) -
ASM-based formal design of an adaptivity component for a Cloud system 1-lug-2016 E. Riccobene + Article (author) -
AsmEE : an Eclipse plug-in in a metamodel based framework for the abstract state machines 1-gen-2007 E. RiccobeneP. Scandurra + Book Part (author) -
The ASMETA Approach to Safety Assurance of Software Systems 1-gen-2021 Riccobene E. + Book Part (author) -
AsmetaF: A flattener for the ASMETA framework 1-gen-2018 Arcaini, PaoloRiccobene, Elvinia + Article (author) -
AsmetaSMV : a model checker for AsmetaL models. Tutorial 1-gen-2009 P. ArcainiE. Riccobene + Working Paper -
AsmetaSMV : a way to link high-level ASM models to low-level nuSMV specifications 1-gen-2010 P. ArcainiE. Riccobene + Book Part (author) -
Automatic refinement of ASM abstract test cases 1-gen-2019 Riccobene E. + Book Part (author) -
Automatic review of Abstract State Machines by meta-property verification 1-gen-2010 P. ArcainiE. Riccobene + Book Part (author) -