BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Ireland
1 × Spain
1 × The Netherlands
9 × USA
Collaborated with:
Gian Piero Favini D.Rossi R.Moretti S.Zuppiroli M.Bernardo L.Donatiello F.Vitali V.Presutti ∅ C.Dos M.Gabbrielli L.Abeti R.Tolksdorf F.Zambonelli L.Bompani S.Cimato C.Mascolo P.Ciaccia W.Penzo V.Ambriola M.Danelutto F.Folli L.Bocchi
Talks about:
softwar (5) formal (4) engin (4) process (3) coordin (3) design (3) architectur (2) distribut (2) analysi (2) algebra (2)

Person: Paolo Ciancarini

DBLP DBLP: Ciancarini:Paolo

Contributed to:

CSEE&T 20132013
CSEE&T 20122012
ICSE 20052005
SAC 20052005
SEKE 20032003
DocEng 20022002
SAC 20022002
WICSA 20012001
FSE 20002000
ICSE — Future of SE Track 20002000
SAC 19981998
SEKE 19961996
SEKE 19951995
PPoPP 19901990
FDG 20092009
CIG 20102010

Wrote 17 papers:

CSEET-2013-CiancariniDZ #case study #comparative #modelling #process #student
A double comparative study: Process models and student skills (PC, CD, SZ), pp. 189–198.
CSEET-2012-ZuppiroliCG #game studies #product line #re-engineering
A Role-Playing Game for a Software Engineering Lab: Developing a Product Line (SZ, PC, MG), pp. 13–22.
ICSE-2005-Ciancarini #education #on the
On the education of future software engineers (PC), pp. 649–650.
SAC-2005-BocchiCMPR #approach #coordination #grid
An OWL-S based approach to express grid services coordination (LB, PC, RM, VP, DR), pp. 1661–1667.
SEKE-2003-CiancariniM #evaluation #framework #quality #towards #web
Towards a Framework for Web Sites Quality Evaluation (PC, RM), pp. 721–725.
SEKE-2003-CiancariniPA #communication #design #ontology
An Ontology Driven Design Method for inter-Agent Communication (PC, VP, LA), pp. 90–94.
DocEng-2002-CiancariniFRV #named
XLinkProxy: external linkbases with XLink (PC, FF, DR, FV), pp. 57–65.
SAC-2002-CiancariniTZ #coordination #middleware #xml
Coordination middleware for XML-centric applications (PC, RT, FZ), pp. 336–343.
WICSA-2001-BernardoCD #algebra #architecture #detection #process
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems (MB, PC, LD), pp. 77–86.
FSE-2000-BernardoCD #algebra #architecture #formal method #on the #process
On the formalization of architectural types with process algebras (MB, PC, LD), pp. 140–148.
FoSE-2000-BompaniCV #internet #re-engineering #roadmap
Software engineering and the Internet: a roadmap (LB, PC, FV), pp. 303–315.
SAC-1998-CiancariniR #coordination #distributed #java
Coordinating distributed applets with Shade/Java (PC, DR), pp. 130–138.
SEKE-1996-CiancariniCM #analysis #requirements #testing
Engineering Formal Requirements: Analysis and Testing (PC, SC, CM), pp. 385–392.
SEKE-1995-CiacciaCP #design #requirements
From Formal Requirements to Formal Design (PC, PC, WP), pp. 23–30.
PPoPP-1990-AmbriolaCD #design #distributed #implementation #logic #parallel #prolog
Design and Distributed Implementation of the Parallel Logic Language Shared Prolog (VA, PC, MD), pp. 40–49.
FDG-2009-CiancariniF #detection #game studies
Plagiarism detection in game-playing software (PC, GPF), pp. 264–271.
CIG-2010-CiancariniF #analysis
Retrograde Analysis of Kriegspiel endgames (PC, GPF), pp. 411–418.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.