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