Obserwuj
Daniela Castelluccia
Daniela Castelluccia
Research Fellow in Software Engineering, University of Bari, Italy
Zweryfikowany adres z uniba.it - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Modelling and verification of BPEL business processes
M Mongiello, D Castelluccia
Fourth Workshop on Model-Based Development of Computer-Based Systems and …, 2006
552006
Modern enterprises in the bubble: Why big data matters
EG Caldarola, A Picariello, D Castelluccia
ACM SIGSOFT Software Engineering Notes 40 (1), 1-4, 2015
402015
Design verification of web applications using symbolic model checking
E Di Sciascio, FM Donini, M Mongiello, R Totaro, D Castelluccia
Web Engineering: 5th International Conference, ICWE 2005, Sydney, Australia …, 2005
402005
Waver: A model checking-based tool to verify web application design
D Castelluccia, M Mongiello, M Ruta, R Totaro
Electronic notes in theoretical Computer Science 157 (1), 61-76, 2006
292006
Business process lines and decision tables driving flexibility by selection
N Boffoli, D Caivano, D Castelluccia, G Visaggio
Software Composition: 11th International Conference, SC 2012, Prague, Czech …, 2012
222012
Business Process Lines to Develop Service-Oriented Architectures Through the Software Product Lines Paradigm.
N Boffoli, D Caivano, D Castelluccia, FM Maggi, G Visaggio
SPLC (2), 143-147, 2008
132008
Teaching evidence-based software engineering: learning by a collaborative mapping study of open source software
D Castelluccia, G Visaggio
ACM SIGSOFT Software Engineering Notes 38 (6), 1-4, 2013
122013
Driving flexibility and consistency of business processes by means of product-line engineering and decision tables
N Boffoli, D Caivano, D Castelluccia, G Visaggio
2012 Third International Workshop on Product LinE Approaches in Software …, 2012
122012
Service-oriented product lines: a systematic mapping study
D Castelluccia, N Boffoli
ACM SIGSOFT Software Engineering Notes 39 (2), 1-6, 2014
82014
Design Verification of Web Applications Using Symbolic Model Checking. 5th Int
E Di Sciascio, FM Donini, M Mongiello, R Totaro, D Castelluccia
Conference on Web Engineering, 2005
52005
Environmental big data: a systematic mapping study
D Castelluccia, EG Caldarola, N Boffoli
ACM SIGSOFT Software Engineering Notes 41 (6), 1-4, 2017
42017
Tabularizing the Business Knowledge: modeling, maintenance and validation
N Boffoli, D Castelluccia, G Visaggio
Organization change and Information Systems - Lecture Notes in Information …, 2013
22013
Innovation in Business Processes: Pattern-driven Process Modelling
P ARDIMENTO, N BOFFOLI, D CAIVANO, D CASTELLUCCIA, ...
Information Systems: Crossroads for Organization, Management, Accounting and …, 2011
22011
Flexible process modeling through decision tables
N Boffoli, D Castelluccia, FM Maggi, R Rutilo
IASTED Software Engineering, 2008
22008
A model checking based approach for web applications design verification
M MONGIELLO, R TOTARO, FM DONINI, G PISCITELLI, ...
Atti del XLIII Congresso Associazione Italiana Calcolo Automatico, 2005
22005
Tabularizing the Business Knowledge: automated detection and fixing of anomalies
N Boffoli, D Caivano, D Castelluccia, G Visaggio
12013
How to Face Anomalies in your Flexible Business Process? The Decision Table Rules!
P ARDIMENTO, N BOFFOLI, D CASTELLUCCIA, M SCALERA
Re-shaping Organizations through Digital and Social Innovation, 193-204, 2016
2016
Business Process Lines for SOA Development through SPL Paradigm
N Boffoli, D Caivano, D Castelluccia, FM Maggi, G Visaggio
Service-Oriented Architectures and Software Product Lines, 2008, 2008
2008
Business Process Lines to develop Service Service-Oriented Architectures through Product Lines Paradigm
N Boffoli, D Caivano, D Castelluccia, FM Maggi, G Visaggio
Proceedings of the international Software Product Lines Conference, 2008
2008
Business Process Modeling Aware to the Environment Changes - A Pattern Driven Approach
N Boffoli, D Castelluccia, F Maggi, R Rutilo
ENASE, 147-156, 2008
2008
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20