MONTANGERO, CARLO Statistiche

MONTANGERO, CARLO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 60 (tempo di esecuzione: 0.123 secondi).
Titolo Data di pubblicazione Autore(i) File
A Logical View of Choreography 1-gen-2006 Montangero, Carlo; Semini, Laura
A model for structured parallel processing in block-structured programming languages 1-gen-1974 Montangero, Carlo; Pacini, G; Turini, Franco
A Refinement Calculus for Tuple Spaces 1-gen-1999 Semini, Laura; Montangero, Carlo
A UML Profile to Support the Formal Presentation of Software Architecture 1-gen-2002 Hudaib, A.; Montangero, Carlo
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl 1-gen-2001 Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; Semprini, S.
Ad Hoc Network Applications: Specification, Design and Verification in Mob-Adtl 1-gen-2001 Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; Semprini, S.
AN APPROACH TO OPTIMAL SPECIFICATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL-COMPUTERS 1-gen-1974 Montangero, Carlo
Applying Refinement Calculi to Software Process Modelling 1-gen-1996 Montangero, Carlo; Semini, Laura
Automatic Generation of Execution Tools in a Gandalf Environment 1-gen-1985 Ambriola, Vincenzo; Montangero, Carlo
Barbed Model--Driven Software Development: A case study 1-gen-2008 Montangero, Carlo; Semini, Laura
Composing Specifications for Coordination 1-gen-1999 Montangero, Carlo; Semini, Laura
COMPOSITIONAL REFINEMENTS IN MULTIPLE BLACKBOARD SYSTEMS 1-gen-1995 Chen, Xj; Montangero, Carlo
Compositional Refinements of Multiple Blackboard Systems 1-gen-1992 Chen X., J; Montangero, Carlo
Detecting Policy Conflicts by Model Checking UML State Machines 1-gen-2009 M. H., TER BEEK; S., Gnesi; Montangero, Carlo; Semini, Laura
Detection and Resolution of Feature Interactions, the Early Light Way 1-gen-2015 Montangero, Carlo; Semini, Laura
Distributed States Logic 1-gen-2002 Montangero, Carlo; Semini, Laura
DSTL: A Logic for Global Computing 1-gen-2005 Montangero, Carlo; Semini, Laura; Zanardo, A.
Dynamically Evolvable Dependable Software: From Oxymoron to Reality 1-gen-2008 Inverardi, Paola; Ghezzi, Carlo; Montangero, Carlo
End-to-end integrated security and performance analysis on the DEGAS Choreographer platform 1-gen-2005 Buchholtz, M.; Gilmore, S.; Haenel, V.; Montangero, Carlo
ESP-MC: An Experiment on the Use of Verification Tools 1-gen-1995 Chen, X. J.; Inverardi, P.; Montangero, Carlo