IRIS
REGGIO, GIANNA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 17.774
NA - Nord America 1.938
AS - Asia 1.597
SA - Sud America 149
Continente sconosciuto - Info sul continente non disponibili 123
AF - Africa 50
OC - Oceania 1
Totale 21.632
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 17.488
US - Stati Uniti d'America 1.771
SG - Singapore 662
CN - Cina 423
VN - Vietnam 242
FR - Francia 136
CA - Canada 82
BR - Brasile 79
BD - Bangladesh 71
HK - Hong Kong 50
DE - Germania 47
JP - Giappone 29
RU - Federazione Russa 24
JM - Giamaica 20
AR - Argentina 19
EC - Ecuador 17
GB - Regno Unito 17
IN - India 17
SC - Seychelles 16
CO - Colombia 15
IL - Israele 15
IQ - Iraq 14
MX - Messico 14
CR - Costa Rica 12
PK - Pakistan 12
PH - Filippine 11
ZA - Sudafrica 11
ES - Italia 10
ID - Indonesia 10
NL - Olanda 9
FI - Finlandia 8
TH - Thailandia 8
GT - Guatemala 7
HN - Honduras 7
CL - Cile 6
TR - Turchia 6
BB - Barbados 5
CH - Svizzera 5
UA - Ucraina 5
JO - Giordania 4
NI - Nicaragua 4
PY - Paraguay 4
TT - Trinidad e Tobago 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
AL - Albania 3
AM - Armenia 3
BE - Belgio 3
DO - Repubblica Dominicana 3
EG - Egitto 3
IE - Irlanda 3
KE - Kenya 3
LB - Libano 3
MA - Marocco 3
NG - Nigeria 3
PE - Perù 3
SV - El Salvador 3
TN - Tunisia 3
XK - ???statistics.table.value.countryCode.XK??? 3
BS - Bahamas 2
CW - ???statistics.table.value.countryCode.CW??? 2
DK - Danimarca 2
DZ - Algeria 2
HU - Ungheria 2
KR - Corea 2
MD - Moldavia 2
MM - Myanmar 2
MY - Malesia 2
NP - Nepal 2
SA - Arabia Saudita 2
SE - Svezia 2
UY - Uruguay 2
AT - Austria 1
AZ - Azerbaigian 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
EE - Estonia 1
ET - Etiopia 1
GD - Grenada 1
GH - Ghana 1
GP - Guadalupe 1
HR - Croazia 1
MN - Mongolia 1
MU - Mauritius 1
PF - Polinesia Francese 1
PL - Polonia 1
PR - Porto Rico 1
RE - Reunion 1
RO - Romania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SX - ???statistics.table.value.countryCode.SX??? 1
TW - Taiwan 1
UZ - Uzbekistan 1
VI - Stati Uniti Isole Vergini 1
ZW - Zimbabwe 1
Totale 21.515
Salva come PNG Salva come JPEG
Città #
Genova 11.488
Genoa 3.288
Rapallo 1.330
Vado Ligure 1.104
San Jose 486
Singapore 326
Ashburn 175
Lauterbourg 118
Staranzano 111
Beijing 97
Council Bluffs 81
Ho Chi Minh City 71
Hanoi 61
Santa Clara 57
New York 48
Hong Kong 43
Frankfurt am Main 33
Rome 29
Bordighera 27
Tokyo 25
Los Angeles 24
Dallas 18
Chicago 16
Phoenix 14
Buffalo 12
Haiphong 12
Atlanta 11
Da Nang 11
Kingston 11
Milan 11
Toronto 11
Newark 10
Guayaquil 9
Baghdad 8
Helsinki 8
Hải Dương 8
Mexico City 8
Orem 8
San Francisco 8
San José 8
Guatemala City 7
Philadelphia 7
Quito 7
San Antonio 7
Tianjin 7
Denver 6
Guangzhou 6
Houston 6
Jacksonville 6
Miami 6
Naples 6
Amsterdam 5
Bari 5
Brooklyn 5
Can Tho 5
Cape Town 5
Quezon City 5
Zurich 5
Amman 4
Bangkok 4
Bridgetown 4
Charlotte 4
Chennai 4
City of London 4
Columbus 4
El Paso 4
Hawthorne 4
Kansas City 4
London 4
Managua 4
Montreal 4
Palermo 4
Pensacola 4
Princeton 4
Queens 4
Rio de Janeiro 4
São Paulo 4
Turin 4
Winnipeg 4
Brampton 3
Bridgeport 3
Cairo 3
Calgary 3
Charleston 3
Dublin 3
Hangzhou 3
Honolulu 3
Islamabad 3
Johannesburg 3
Minneapolis 3
Mississauga 3
Nairobi 3
North Bergen 3
Nuremberg 3
Oxford 3
Pristina 3
Rochester 3
San Salvador 3
Shanghai 3
Tampa 3
Totale 19.477
Salva come PNG Salva come JPEG
Nome #
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups 310
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 258
A method for requirements capture and specification based on disciplined use cases and screen mockups 245
Architecture Specific Models: Software Design on Abstract Platforms 241
A Metalanguage for the Formal Requirement Specification of Reactive Systems 223
A Method for Developing Model to Text Transformations 223
A Discipline for Handling Feature Interaction 214
On the parameterized algebraic specification of concurrent systems 212
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry 207
From Formal Techniques to Well-Founded Software Development Methods 206
A dynamic specification of the RPC-memory problem 206
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod 205
A SMoLCS based kit for defining high-level algebraic Petri nets 199
Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications 198
Algebraic Specification of Concurrent Systems 196
Algebraic specification of concurrency 196
Data in a concurrent environment 195
Activity Diagrams Patterns for Modeling Business Processes 193
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 193
Entities: An institution for dynamic systems 193
What are the used UML diagram constructs? A document and tool analysis study covering activity and use case diagrams 193
Relational specifications and observational semantics 191
A non-standard inductive semantics 190
An outline of the SMoLCS approach 187
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach 186
On the specification of the firing squad problem 185
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments 185
A Graphic Notation for Formal Specifications of Dynamic Systems 185
Generalized bisimulation in relational specifications 184
A Framework for Defining and Comparing Modelling Methods 184
A Notation for Component-Based Design of Java Applications 182
A Formally Grounded Software Specification Method 182
Observational Structures and Their Logics 182
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 181
Towards a Precise UML-Based Development Method 181
Revising the UML Collaborations: A Well-Founded Approach 181
Institutions for Very Abstract Specifications 178
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 178
What Are the Used Activity Diagram Constructs? A Survey 178
Algebraic-Oriented Institutions 177
Deontic concepts in the algebraic specification of dynamic systems: The permission case 177
Test driven development of web applications: A lightweight approach 177
On the Deployment of IoT Systems: An Industrial Survey 177
A lightweight semi-automated acceptance test-driven development approach for web applications 175
SOA Adoption in the Italian Industry 174
Abstract dynamic data types: A temporal logic approach 173
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 173
Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development 172
Who Knows/Uses What of the UML: A Personal Opinion Survey 172
Gesper: Support to Capitalize on Experience in a Network of SMEs 171
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA 171
Towards a Holistic Method for Business Process Analytics 169
"Precise is better than Light" A Document Analysis Study about Quality of Business Process Models 168
A Modelling Approach with Coloured Petri Nets 167
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems 167
Comparing direct and continuation semantics styles for concurrent languages 166
Tutorials at the MODELS 2005 Conference 166
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 163
Formal or not, but Precise Modelling of Services with CASL4SOA and SoaML 163
Towards an approach for developing and testing Node-RED IoT systems 163
Applying the SMoLCS Specification Methodology to the CNET Architecture 162
Relevance, Benefits, and Problems of Software Modelling and Model Driven Techniques-A Survey in the Italian Industry 162
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 162
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 161
Processes as data types: Observational semantics and logic 160
From ADT to UML-Like Modelling (Short Abstract) 159
Service-oriented domain and business process modelling 159
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 158
A METHOD FOR DEVELOPING UML STATE MACHINES 158
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach 158
The SMoLCS ToolSet 153
Knowledge structuring and representation in requirement specification 153
Towards a Well-Founded UML-Based Development Method 153
A Method for Testing Model to Text Transformations 153
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL 152
Preliminary Findings from a Survey on the MD State of the Practice 150
A UML-Based Approach for Problem Frame Oriented Software Development 150
Improving Use Case Based Requirements Using Formally Grounded Specifications 149
Towards a Lightweight Model Driven Method for Developing SOA Systems Using Existing Assets 148
A Method-Wise Approach for Selecting the Most Suitable Business Process Modelling Notation 148
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments 147
A UML-based proposal for IoT system requirements specification 147
Event logic for specifying abstract dynamic data types 146
Unit Testing of Model to Text Transformations 146
Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling 146
The SMoLCS approach to the formal semantics of programming languages 146
Early Experiences on Model Transformation Testing 146
An Approach for Selecting the Most Suitable Business Process Modelling Method/Notation 146
Modeling Business within a UML-Based Rigorous Software Development Approach 145
Estimating the Effort to Develop Screen Mockups 143
A syntax-directed approach to the semantics of concurrent languages 142
Consistency Problems in UML-Based Software Development 142
A UML-Based Approach for Problem Frame Oriented Software Development 142
Maturity of software modelling and model driven engineering: A survey in the Italian industry 141
Tight Structuring for Precise UML-based Requirement Specifications 141
What are the used UML diagrams? A Preliminary Survey 141
Labelled Transition Logic:an outline 140
Stores as Homomorphisms and their Transformations 139
Empirical Evaluation of UML-based Model-driven Techniques: Poster Paper 138
Formalism and Method 137
Totale 17.356
Salva come PNG Salva come JPEG
Categoria #
all - tutte 65.927
article - articoli 9.064
book - libri 1.186
conference - conferenze 33.231
curatela - curatele 1.666
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 20.780
Totale 131.854
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.444 0 0 0 173 67 75 176 441 58 152 91 211
2022/20231.655 213 136 14 215 211 292 5 113 288 16 140 12
2023/2024622 29 101 17 71 40 80 38 39 43 26 51 87
2024/20252.522 57 218 132 125 373 284 211 320 127 111 233 331
2025/20263.768 406 59 273 306 511 357 682 192 194 376 130 282
2026/20271.472 428 182 384 478 0 0 0 0 0 0 0 0
Totale 21.632