CERIOLI, MAURA
 Distribuzione geografica
Continente #
EU - Europa 5.207
Totale 5.207
Nazione #
IT - Italia 5.207
Totale 5.207
Città #
Genova 3.879
Rapallo 523
Vado Ligure 408
Genoa 387
Bordighera 10
Totale 5.207
Nome #
Architecture Specific Models: Software Design on Abstract Platforms 172
From Formal Techniques to Well-Founded Software Development Methods 149
Partial Higher-Order Specifications 144
Institutions for Very Abstract Specifications 141
DOCASL: an Observer-based CASL extension for Dynamic Specifications 140
A Formal Framework with Late Binding 138
Free Objects and Equational Deduction for Partial Conditional Specifications 130
Non-strict Don't Care Algebras and Specifications 128
Multiparadigm Specification Languages: a First Attempt at Foundations 124
Great is the enemy of good: is perfecting specific courses harmful to global curricula performances? 124
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 124
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 123
Algebraic-Oriented Institutions 119
Gesper: Support to Capitalize on Experience in a Network of SMEs 119
Permissive Subsorted Partial Logic in CASL 118
A Lazy Approach to Partial Algebras 118
Non-strict Don't Care Algebras and Specifications 115
Fluent vs Basic Assertions in Java: An Empirical Study 113
Theoretical Computer Science Volume 376, Issue 3 - Fundamental Aspects of Software Engineering 111
Extending Casl by Late Binding 110
From ADT to UML-Like Modelling (Short Abstract) 108
Partial Higher-Order Specifications 105
From Total Equational to Partial Conditional (Chapter 3) 103
Relationships between Logical Frames 99
May I Borrow Your Logic? 97
What is an Abstract Data Type after all? 97
May I Borrow Your Logic? (Transporting Logical Structures along Maps) 96
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 96
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 93
CASL Semantics (Part III) 89
Relationships between Logical Formalisms 88
Injecting Distribution in CASL 88
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI-WG Meeting, Genova, Italy, 2001, Selected Papers 88
Implementation of Derived Programs (Almost) for Free 85
On the Deployment of IoT Systems: An Industrial Survey 85
Basic Concepts (Chapter 1) 84
Fundamental Approaches to Software Engineering, 8th International Conference, held as part of ETAPS 2005. Edinburgh, UK, April 2005, Proceedings 82
Very Abstract Specifications: A Formalism Independent Approach 81
Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity 79
LMS Adoption at the University of Genova: Ten Years After 78
Tests as Documentation: a First Attempt at Quality Evaluation 77
GRASP: Grading and Rating ASsistant Professor 74
A sound and equationally-complete deduction system for partial conditional (higher order) types 74
Civic participation powered by Ethereum: A proposal 71
An Algebraic Semantics of UML Supporting its Multiview Approach 70
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development 68
International Journal on Software Tools for Technology Transfer (STTT) - Volume 9 (5) - Special section on fundamental approaches to software engineering 66
Principi di Ingegneria del software 5/ed 58
What 5 million job advertisements tell us about testing: A preliminary empirical investigation 58
Fight silent horror unit test methods by consulting a TestWizard 52
COVID-19 hits the job market: An 88 million job ads analysis 47
UML: una notazione per la modellazione 37
Principi e concetti object-oriented 34
What are IoT systems for real? An experts’ survey on software engineering aspects 34
COVID-19 Impacts on the IT Job Market: A Massive Job Ads Analysis 32
Enlisting Students in Gamifying Software Testing Education: Results and Key Insights 8
Totale 5.241
Categoria #
all - tutte 15.304
article - articoli 2.694
book - libri 194
conference - conferenze 3.631
curatela - curatele 967
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 7.818
Totale 30.608


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020932 0 0 0 0 0 97 188 72 118 223 175 59
2020/2021314 26 23 25 15 14 26 6 25 49 39 43 23
2021/2022685 40 86 9 94 21 48 55 155 18 58 34 67
2022/2023645 66 47 4 80 79 129 3 49 116 5 57 10
2023/2024245 12 42 4 32 29 25 16 22 12 6 16 29
2024/2025445 50 76 35 58 142 84 0 0 0 0 0 0
Totale 5.241