Papers by Carlo Montangero
Since 1996, from Unimap .
Before 1996:
1995
- Montangero, C. (ed) Metodi e strumenti
per il progetto del software. Franco Angeli Editore, Sept.
1995, pp 103 (in Italian).
- Chen, X.J.,
Inverardi, P. and Montangero, C. ESP-MC: An Experiment on the Use of
Verification Tools. In K. Kanchanasut and J.J. Levy (eds) Proc.
ACSC'95, Springer-Verlag LNCS 1023, 1995,
396-410.
- Montangero, C. and Ambriola, V. Oikos. In C.
Montangero (ed) Metodi e strumenti per il progetto del
software, Franco Angeli Editore, Sept. 1995, 26-31 (in
Italian).
- Chen, X.J. and
Montangero, C. Compositional Refinements of Multiple Blackboard
Systems. Acta Informatica, 32:5, 1995, 415-458.
- Montangero, C.
Open Issues in the Design of Process Modelling Languages. Session
Introduction, in W. Schäfer (ed) Software Process
Technology, Proc. of the 4th European Workshop, EWSPT'95,
Springer-Verlag LNCS 913, 1995, 93.
- Montangero, C. In
Favour of a Coherent Process Coding Language. In W. Schäfer
(ed) Software Process Technology, Proc. of the 4th European
Workshop, EWSPT'95, Springer-Verlag LNCS 913, 1995, 94-97.
1994
- Montangero, C. and
Scarselli, F. Software Process Monitoring Mechanisms in Oikos. Int.
Jour. of Software Engineering and Knowledge Engineering 4:4,
Dec. 1994, 481-499.
- Montangero, C. The
process in the tool syndrome: is it becoming worst? In C. Ghezzi (ed.) Proc 9th
Int. Workshop on the Software Process, Airlie, Va, Oct. 1994,
IEEE Press, 53-56.
- Montangero, C.
Oikos Demo, in L. Penedo (ed) Report on the demo day, in C. Ghezzi (ed.)
Proc 9-th Int. Workshop on the Software Process, Airlie, Va,
October 1994, IEEE Press. 22-23.
- Montangero, C. and
Ambriola, V. Oikos: constructing process-centred SDEs. In A.
Finkelstein, J. kramer and B. Nuseibeh (eds) Software Process
Modelling and Technology. Research Study Press, Wiley,
Taunton, 1994, 131-151.
- Ambriola, V.,
Cignoni, G.A. and Montangero, C. The Oikos Services for Object
Management in the Software Process, In B.C. Warboys (ed) Software
Process Technology, Proc. EWSPT'94, Feb 94, Springer-Verlag
LNCS 772, 2-14.
1993
- Montangero, C. Modellazione del processo di
sviluppo software. Invited lecture, Proc. Convegno AICA, Lecce, Sett. 1993, 799-812 (in
Italian).
- Ambriola, V. and
Montangero, C. Modeling the Software Process Development. In V.
Ambriola and G. Tortora (eds) Advances in Software
Engineering and Knowledge Engineering. World Scientific
Publishing Co., New Jersey, 1993, 42-72.
1992
- C. Ghezzi, C. Montangero, P. Panaroni.
Meta-ambienti per la prgoettazione del software, Convegno del
Sottoprogetto Metodi e strumenti per la specifica del software,
Roma, Università la Sapienza, Nov. 1992, 7-13.
- C. Montangero, V. Ambriola. Oikos at
the age of three. J.C. Derniame (ed) Software Process
Technology , Proc. 2nd European Wokshop
1992, LNCS 653, Springer, 84-93.
- C. Montangero, V. Ambriola. Oikos:
Software Process for Software Quality. ERCIM News 10, June 92, 14.
- X.J. Chen and C.
Montangero. Compositional Refinements of Multiple Blackboard Systems. Proc.
ESOP 92, February 1992, LNCS 582, 93-109.
1991
- C. Montangero. Introduzione alla
programmazione imperativa. Servizio Editoriale Universitario,
Novembre 1991, pp 92.
- Ambriola V. and C. Montangero, Hierarchical
Specification of Software Processes in Oikos. Proc.
of the 7th International Software Process Workshop,
Yountville Ca., October 1991.
- C. Montangero e F.
Scarselli, Software Process Histories in Oikos. Proc. AICA 91,
Siena, September 1991, 303-318.
- V. Ambriola, C.
Montangero, The Oikos Approach to Software Process Specification,
Technical Report 6/46, Progetto Finalizzato Sistemi Informatici e
Calcolo Parallelo, August 1991.
- A. Bucci, P.
Ciancarini, C. Montangero, A Distributed Logic Language based on
Muliple Tuple Space, Proc. Logic Programming Conference 91,
ICOT, Tokyo July 1991, 199-208.
- C. Montangero,
M.G. Scutellà, The Design of the Integration in Oikos of the
Combinatorial Optimization Programming Environment Scope,
Technical Report 6/44, Progetto Finalizzato Sistemi Informatici e
Calcolo Parallelo, August 1991.
- V. Ambriola, C. Montangero, F. Scarselli, L.
Semini, Compilazione di programmi ESP: studio di un caso in Oikos,
Technical Report 6/45, Progetto Finalizzato Sistemi Informatici e
Calcolo Parallelo, August 1991.
- V. Ambriola, C. Montangero, The Oikos Approach to
Software Process Specification, Technical Report 6/46, Progetto
Finalizzato Sistemi Informatici e Calcolo Parallelo, August 1991.
- V. Ambriola, T. Flagella, M. Gaspari, C.
Montangero, Manuale d’utente del linguaggio Extended Shared
Prolog 1.1, Technical Report 6/47, Progetto Finalizzato Sistemi
Informatici e Calcolo Parallelo, August 1991.
- A. Bucci, P. Ciancarini, C. Montangero, Manuale di
riferimento del linguaggio Extended Shared Prolog 1.1, Technical Report
6/48, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo,
Agosto 1991.
- C. Montangero, Un ambiente integrato per lo
sviluppo del software. In Sistemi informatici e calcolo
parallelo (a cura di B. Fadini), Franco Angeli, Giugno 1991,
271-280.
- V. Ambriola, C.
Montangero, Hierarchical Specification of Software Processes, Proc.
of the First European Workshop on Software Process Modeling,
AICA, Milano, May 1991.
1990
- V. Ambriola, M.L.
Jaccheri, C. Montangero, ISPW6 Software Process Modeling Problem: The
Oikos Solution, W.Riddle editor, rMISE, December 1990.
- V. Ambriola, P. Ciancarini e C. Montangero,
Software Process Enactment in Oikos. Proc. of
ACM SIGSOFT’90: 4th Symposium on Software Development
Environments, R, Taylor (ed), Irvine, ACM Press, 183-192,
December 1990.
- V. Ambriola, M.L.
Jaccheri, C. Montangero, Information Pumps as a Tool to Specify and
Decompose Blackboard Systems, Technical Report 6/15, Progetto
Finalizzato Sistemi Informatici e Calcolo Parallelo, November 1990.
{tr1}
- V. Ambriola, P.
Ciancarini e C. Montangero, Software Processes as a Hierarchy of
Services in the Oikos Meta Environment. Proc. of the 6th
International Workshop on Software Process, Hakodate, Japan,
October 1990.
- V. Ambriola, P.
Ciancarini e C.Montangero, The language ESP and its programming
environment. Logic Programming Environments Workshop 1990,
Eilat, Israele.
1989
- P. Inverardi, S. Martini e C. Montangero. Is
type checking practical for system configuration? Proc.
Tapsoft '89 , Lecture Notes in Computer Science 352, 1989,
257-271.
1987
- Montangero, C. Formazione degli Insegnanti in
Informatica. Atti del Convegno del Progetto Strategico
Tecnologie e Innovazioni Didattiche. Lucca, 3-4 Luglio 1987.
- Montangero, C., F. Turini. Introduzione
alla programmazione: sintassi, semantica, metodo.
Boringhieri, Torino (1987).
- Ambriola,V., C. Montangero. Semantics
Directed Compiler Construction using Structured Definitions in
Denotational Style. Proc. XII Summer School Programming 87.
Varna, Bulgaria, 18-26
May 87.
1986
- Inverardi, P., F. Mazzanti, C. Montangero. Configuration
of Distributed Systems in Ada. Nota
Scientifica 86-7, Dipartimento di Informatica.
- Montangero, C. Linguaggi di programmazione.
Progetto Strategico Tecnologie e Innovazioni Didattiche. Pisa, Giugno
86.
- Montangero C., Metodi di programmazione. Progetto
Strategico Tecnologie e Innovazioni Didattiche. Pisa, Giugno 86.
1985
- P. Inverardi, F.
Mazzanti, C. Montangero, The use of Ada in the design of Distributed
Systems. In Ada in Use Proc. Ada Int. Conference 1985.
Cambridge University Press.
- V. Ambriola, C.
Montangero, Automatic generation of execution tools in a GANDALF
environment. Journal of Systems and Software 5, 2
(1985) pp155-172.
- P. Inverardi, F. Mazzanti, U. Montanari, C.
Montangero, P. Rasoini, G.N. Vallario, Distributed System Design,
Configuration and Reconfiguration. In Distributed Systems
on Local Networks. ETS, Pisa, June 1985, pp 51-78.
- C. Montangero, C. Schenone, Un modello di
comunicazione per la programmazione per esempi in ambiente concorrente.
Rivista di Informatica 15,3-4 (1985) pp 221-236.
1984
- V. Ambriola, C.
Montangero, Automatic generation of execution tools in a GANDALF
environment. Nota
Scientifica S-84-18, Dipartimento di Informatica (1984).
- C. Montangero, C. Schenone, Un modello di
comunicazione adatto alla programmazione per esempi in ambiente
concorrente. Nota Scientifica S-84-15, Dipartimento di Informatica
(1984).
1983
- P. Inverardi, F. Mazzanti, U. Montanari, C.
Montangero, Specifiche e realizzazione di un costrutto per la
riconfigurazione dinamica in Ada. Collana Cnet 107 (1983).
- D. Dariol, C. Montangero, Un traduttore
sorgente-sorgente Pascal-Ada. Rivista di Informatica 13,
4 (1983) pp 365-385.
- P. Inverardi, F. Mazzanti, U. Montanari, C.
Montangero, Un approccio alla descrizione del sistema Cnet in Ada.
Collana Cnet 108 (1983).
- C. Montangero, F. Turini, Note per il Corso di
Teoria e Applicazioni delle Macchine Calcolatrici. Parte I. Servizio
Editoriale Universitario di Pisa (1983).
- V. Ambriola, C. Montangero, F. Turini, Note per il
Corso di Teoria e Applicazioni delle Macchine Calcolatrici. Parte II e
III. Servizio Editoriale Universitario di Pisa (1983).
1981
- J. C. D. Nissen,
P. Wallis, B. A. Wichmann, C. Montangero et al. Ada-Europe Guidelines
for the portability of Ada programs. NPL Report DNACS 52/81,
Teddington, UK (1981), ISSN 0143-7348.
1978
- C. Montangero, G.
Pacini, M. Simi, F. Turini, Information Management in Context Trees. Acta
Informatica 10 (1978) pp 85-94.
- C. Montangero, G.
Pacini, F. Turini, Two level control structure for nondeterministic
programming. Communications of the ACM 20 (1978)
pp725-730.
- C. Montangero,
Program specification and optimization of functions over recursive data
structures. Proc. 3rd Intern. Symposium on Programming,
Paris (1978) pp 336-351.
1976
- C. Montangero, G. Attardi and G. Prini. A
high level machine for Artificial Intelligence. Proc. of the
AISB summer conference, Edinburgh University Press,
Edinburgh, 1976, pp. 26-37.
1975
- C. Montangero, G. Pacini and F. Turini. Magma-Lisp:
a "machine language" for Artificial Intelligence. Proc. 4th
Int. J. Conf. on Artificial Intelligence, Tbilisi, September
1975, pp. 556-561.
- C. Montangero, G. Pacini and F. Turini. ND-Lisp:
un sistema per la programmazione strutturata in Intelligenza
Artificiale. XXII Rassegna Internazionale Elettronica Nucleare ed
Aereospaziale, Roma, March 1975, pp. 75-81.
1974
- C. Montangero, G. Pacini and F. Turini. Graph
representation and computation rules for typeless recursive languages. Proc.
2nd Symposium on Automata, Languages and Programming,
Saarbruchen, July 1974, pp. 157-169.
- C. Montangero, G. Pacini and F. Turini. A
model for structured parallel processing in block-structured
programming languages. Proc. Programming Symposium,
Paris, April 1974, pp. 350-361.
- C. Montangero. An
approach to the optimal specification of Read-Only Memories in
microprogrammed digital computers. IEEE Trans. on Computers
C-23 (1974), 375-389.
1973
- C. Montangero,
Problems in the design of question answering systems with
natural-language input: a survey. In Aiello et al. Semantic Concepts in Problems
Solving, Planner Languages and Question Answering, Editrice
Tecnico-Scientifica, Pisa (1973), pp. 105-165.
Top
C. Montangero (monta@di.unipi.it)
Revised October 2010.