| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Carlo Montangero 29 Amjad Hudaib , Carlo Montangero: A UML Profile to Support the Formal Presentation of Software Architecture. COMPSAC 2002 : 217-223 28 Carlo Montangero, Laura Semini : istributed States Logic. TIME 2002 : 55-57 27 Gian Luigi Ferrari , Carlo Montangero, Laura Semini , Simone Semprini : Mark, a Reasoning Kit for Mobility. Automated Software Engineering 9 (2): 137-150 (2002) 26 Gian Luigi Ferrari , Carlo Montangero, Laura Semini , Simone Semprini : Mobile Agents Coordination in Mob adtl . COORDINATION 2000 : 232-248 25 Carlo Montangero, Laura Semini : Composing Specifications for Coordination. COORDINATION 1999 : 118-133 24 Carlo Montangero, Jean-Claude Derniame , Badara Ali Kaba , Brian Warboys : The Software Process: Modelling and Technology. Software Process: Principles, Methodology, Technology 1999 : 1-14 23 Wolfgang Emmerich , Anthony Finkelstein , Alfonso Fuggetta , Carlo Montangero, Jean-Claude Derniame : Software Process - Standards, Assessments and Improvement. Software Process: Principles, Methodology, Technology 1999 : 15-26 22 David Graham Wastell , Selma Arbaoui , Jacques Lonchamp , Carlo Montangero: The Human Dimension of the Software Process. Software Process: Principles, Methodology, Technology 1999 : 165-200 21 Laura Semini , Carlo Montangero: A Refinement Calculus for Tuple Spaces. Science of Computer Programming 34 (2): 79-140 (1999) 20 Wolfgang Emmerich , Anthony Finkelstein , Carlo Montangero, Stefano Antonelli , Stephen Armitage , Richard Stevens : Managing Standards Compliance. TSE 25 (6): 826-851 (1999) 19 Carlo Montangero: Software Process Technology, 5th European Workshop, EWSPT '96, Nancy, France, October 9-11, 1996, Proceedings. Springer 1996 18 Xiaojun Chen , Paola Inverardi , Carlo Montangero: ESP-MC: An Experiment in the Use of Verification Tools. ASIAN 1995 : 396-410 17 Carlo Montangero: Open Issues in the Design of PM Languages. EWSPT 1995 : 93 16 Carlo Montangero: In Favour of a Coherent Process Coding Language. EWSPT 1995 : 94-97 15 X. J. Chen , Carlo Montangero: Compositional Refinements in Multiple Blackboard Systems. Acta Informatica 32 (5): 415-458 (1995) 14 Vincenzo Ambriola , Giovanni A. Cignoni , Carlo Montangero: The Oikos Services for Object Management in the Software Process. EWSPT 1994 : 2-14 13 Carlo Montangero: The "process in the tool syndrome": is it becoming worse? ISPW 1994 : 53-56 12 X. J. Chen , Carlo Montangero: Compositional Refinements in Multiple Blackboard Systems. ESOP 1992 : 93-109 11 Vincenzo Ambriola , Carlo Montangero: OIKOS at the Age of Three. EWSPT 1992 : 84-93 10 Vincenzo Ambriola , Carlo Montangero: Hierarchical specification of software processes in Oikos. ISPW 1991 : 34-36 9 Vincenzo Anbriola , Paolo Ciancarini , Carlo Montangero: Software processes as a hierarchy. ISPW 1990 : 57-60 8 Vincenzo Ambriola , Paolo Ciancarini , Carlo Montangero: The Logic Language ESP and its Programming Environment. LPE 1990 : 12-15 7 Paola Inverardi , Simone Martini , Carlo Montangero: Is Type Checking Practical for System Configuration? TAPSOFT, Vol.2 1989 : 257-271 6 Carlo Montangero, Giuliano Pacini , Maria Simi , Franco Turini : Information Management in Context Trees. Acta Informatica 10 : 85-94 (1978) 5 Carlo Montangero, Giuliano Pacini , Franco Turini : Two-Level Control Structure for Nondeterministic Programming. CACM 20 (10): 725-730 (1977) 4 Giuseppe Attardi , Carlo Montangero, Gianfranco Prini : A High Level Machine for Artificial Intelligence. AISB (ECAI) 1976 : 26-37 3 Carlo Montangero, Giuliano Pacini , Franco Turini : MAGMA-LISP: A "Machine Language" For Artificial Intelligence. IJCAI 1975 : 556-561 2 Giuliano Pacini , Carlo Montangero, Franco Turini : Graph Representation and Computation Rules for Typeless Recursive Languages. ICALP 1974 : 157-169 1 Carlo Montangero, Giuliano Pacini , Franco Turini : A model for structured parallel processing in block-structured programming languages. Symposium on Programming 1974 : 350-361  DiSC'03 © 2003 Association for Computing Machinery |
