MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Carlo Montangero" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Specifying and Verifying in Tuple Spaces
by Laura Semini, Carlo Montangero — 1995 — In Proc 7th Nordic Workshop on Programming Theory
…Specifying and Verifying in Tuple Spaces Laura Semini Carlo Montangero Dipartimento di…
Cited by 1 (1 self) – Add To MetaCart

A Refinement Calculus for Tuple Spaces
by Laura Semini, Carlo Montangero, Laura Semini, Carlo Montangero — 1999 — Science of Computer Programming
…-50-887111. FAX: +39-50-887226 A Refinement Calculus for Tuple Spaces Laura Semini Carlo Montangero…
Cited by 2 (2 self) – Add To MetaCart

Refining by Architectural Styles or Architecting by Refinements
by Carlo Montangero And, Carlo Montangero, Laura Semini — 1996 — 2nd International Software Architecture Workshop, Proceedings of the SIGSOFT '96 Workshops, Part 1
…Refining by Architectural Styles or Architecting by Refinements Carlo Montangero and Laura Semini…
Add To MetaCart

Applying Refinement Calculi to Software Process Modelling
by Carlo Montangero And, Carlo Montangero, Laura Semini — 1996 — In Proc. of the 4 th Int. Conf. on the Software Process
…Applying Refinement Calculi to Software Process Modelling Carlo Montangero and Laura Semini…
Add To MetaCart

Rigorous Methods for Requirements Capture and Software Architecture
by Vincenzo Ambriola, Egon Börger, Carlo Montangero
…orger, Carlo Montangero Universita di Pisa, Dipartimento di Informatica Corso Italia 40, I-56125 Pisa, Italy…
Add To MetaCart

Automatic support to mobile systems specification in Mob_adtl
by Gianluigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
…Automatic support to mobile systems specication in Mob adtl Gianluigi Ferrari, Carlo Montangero…
Add To MetaCart

For-LySa: UML for authentication analysis
by Mikael Buchholtz, Carlo Montangero, Lara Perrone — 2004 — Proceedings of the second workshop on Global Computing, volume 3267 of Lecture Notes in Computer Science
…For-LySa: UML for Authentication Analysis ⋆ Mikael Buchholtz 1 , Carlo Montangero 2 , Lara Perrone…
Cited by 6 (2 self) – Add To MetaCart

Standards Compliant Software Development
by Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Richard Stevens — 1997 — in Proc. International Conference on Software Engineering Workshop on Living with Inconsistency, (IEEE CS
… Carlo Montangero was an EPSRC Visiting Fellow at City University funded through Grant No. GR/L54561 1…
Cited by 8 (3 self) – Add To MetaCart

"The World and the Machine" - A Critical Perspective on Process Technology
by Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero
… acwfg@(email omitted); Abstract Carlo Montangero Dip. di Informatica University of Pisa 56125 Pisa, Italy…
Cited by 1 (0 self) – Add To MetaCart

Endto-end integrated security and performance analysis on the DEGAS Choreographer platform
by Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero — 2005 — Proceedings of the International Symposium of Formal Methods Europe (FM 2005), number 3582 in LNCS
… Buchholtz 1 , Stephen Gilmore 2 , Valentin Haenel 2 , and Carlo Montangero 3 1 Informatics and Mathematical…
Cited by 6 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB