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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.855 73 202 136 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/2027425 425 0 0 0 0 0 0 0 0 0 0 0
Totale 20.585