IRIS
REGGIO, GIANNA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 17.494
AS - Asia 1.442
NA - Nord America 483
SA - Sud America 117
AF - Africa 32
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 19.572
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 17.260
SG - Singapore 645
US - Stati Uniti d'America 457
CN - Cina 394
VN - Vietnam 236
FR - Francia 131
BR - Brasile 63
HK - Hong Kong 44
DE - Germania 40
JP - Giappone 29
AR - Argentina 19
IN - India 16
IQ - Iraq 14
MX - Messico 13
EC - Ecuador 12
GB - Regno Unito 12
PK - Pakistan 11
ZA - Sudafrica 11
BD - Bangladesh 8
FI - Finlandia 8
ID - Indonesia 8
CO - Colombia 7
ES - Italia 7
PH - Filippine 7
TH - Thailandia 7
CL - Cile 6
NL - Olanda 6
CA - Canada 5
CH - Svizzera 5
JO - Giordania 4
PY - Paraguay 4
RU - Federazione Russa 4
DO - Repubblica Dominicana 3
EG - Egitto 3
IE - Irlanda 3
JM - Giamaica 3
KE - Kenya 3
MA - Marocco 3
TN - Tunisia 3
TR - Turchia 3
VE - Venezuela 3
XK - ???statistics.table.value.countryCode.XK??? 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
BE - Belgio 2
DK - Danimarca 2
DZ - Algeria 2
KR - Corea 2
LB - Libano 2
MD - Moldavia 2
MM - Myanmar 2
NP - Nepal 2
UA - Ucraina 2
UY - Uruguay 2
AT - Austria 1
AZ - Azerbaigian 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
ET - Etiopia 1
GH - Ghana 1
GT - Guatemala 1
HR - Croazia 1
IL - Israele 1
MN - Mongolia 1
MU - Mauritius 1
NG - Nigeria 1
PE - Perù 1
PF - Polinesia Francese 1
PL - Polonia 1
RE - Reunion 1
RO - Romania 1
SA - Arabia Saudita 1
SE - Svezia 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
UZ - Uzbekistan 1
ZW - Zimbabwe 1
Totale 19.572
Salva come PNG Salva come JPEG
Città #
Genova 11.488
Genoa 3.283
Rapallo 1.330
Vado Ligure 1.104
Singapore 313
San Jose 223
Lauterbourg 118
Beijing 76
Ho Chi Minh City 68
Hanoi 59
Hong Kong 42
Frankfurt am Main 33
Santa Clara 33
New York 29
Ashburn 28
Bordighera 27
Tokyo 25
Haiphong 12
Da Nang 11
Baghdad 8
Helsinki 8
Hải Dương 8
Guayaquil 7
Mexico City 7
Tianjin 7
Guangzhou 6
Orem 6
Amsterdam 5
Can Tho 5
Cape Town 5
Los Angeles 5
Quezon City 5
Rome 5
Zurich 5
Amman 4
Bangkok 4
Buffalo 4
Chennai 4
Chicago 4
City of London 4
Quito 4
Rio de Janeiro 4
Cairo 3
Dublin 3
Johannesburg 3
Nairobi 3
Nuremberg 3
Pristina 3
Shanghai 3
São Paulo 3
Thái Bình 3
Asunción 2
Belo Horizonte 2
Blumenau 2
Bắc Ninh 2
Carapicuíba 2
Casablanca 2
Chongqing 2
Concepción 2
Des Moines 2
Hangzhou 2
Houston 2
Huế 2
Islamabad 2
Jinan 2
Karachi 2
Kirkuk 2
Lahore 2
London 2
Madrid 2
Matão 2
Montevideo 2
Osasco 2
Parma 2
Porto Alegre 2
Queens 2
Quận Ba 2
Salford 2
Santiago 2
Schaarbeek 2
Sialkot 2
Stuttgart 2
Surabaya 2
Thiruvananthapuram 2
Thái Nguyên 2
Tunis 2
Turin 2
Vienne 2
Ân Thi 2
Abidjan 1
Abuja 1
Addis Ababa 1
Alagoa Nova 1
Algiers 1
Aliso Viejo 1
Amagasaki 1
Amargosa 1
Ambarès-et-Lagrave 1
Antofagasta 1
Anyang-si 1
Totale 18.540
Salva come PNG Salva come JPEG
Nome #
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups 294
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 240
Architecture Specific Models: Software Design on Abstract Platforms 222
A method for requirements capture and specification based on disciplined use cases and screen mockups 217
A Metalanguage for the Formal Requirement Specification of Reactive Systems 209
A Discipline for Handling Feature Interaction 198
On the parameterized algebraic specification of concurrent systems 197
From Formal Techniques to Well-Founded Software Development Methods 195
A dynamic specification of the RPC-memory problem 195
A Method for Developing Model to Text Transformations 195
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod 190
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry 188
A SMoLCS based kit for defining high-level algebraic Petri nets 186
Algebraic Specification of Concurrent Systems 181
Relational specifications and observational semantics 181
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 181
Data in a concurrent environment 181
Entities: An institution for dynamic systems 181
Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications 181
Algebraic specification of concurrency 180
On the specification of the firing squad problem 178
What are the used UML diagram constructs? A document and tool analysis study covering activity and use case diagrams 177
Generalized bisimulation in relational specifications 176
Towards a Precise UML-Based Development Method 175
A Graphic Notation for Formal Specifications of Dynamic Systems 175
A non-standard inductive semantics 175
Activity Diagrams Patterns for Modeling Business Processes 174
An outline of the SMoLCS approach 171
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach 170
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments 170
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 168
A Notation for Component-Based Design of Java Applications 168
A Framework for Defining and Comparing Modelling Methods 168
Abstract dynamic data types: A temporal logic approach 165
Institutions for Very Abstract Specifications 163
Revising the UML Collaborations: A Well-Founded Approach 163
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA 163
Algebraic-Oriented Institutions 162
Deontic concepts in the algebraic specification of dynamic systems: The permission case 162
What Are the Used Activity Diagram Constructs? A Survey 162
SOA Adoption in the Italian Industry 161
Who Knows/Uses What of the UML: A Personal Opinion Survey 161
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 160
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 159
A lightweight semi-automated acceptance test-driven development approach for web applications 159
Comparing direct and continuation semantics styles for concurrent languages 158
Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development 158
A Formally Grounded Software Specification Method 158
Test driven development of web applications: A lightweight approach 158
A Modelling Approach with Coloured Petri Nets 156
Tutorials at the MODELS 2005 Conference 156
On the Deployment of IoT Systems: An Industrial Survey 155
Processes as data types: Observational semantics and logic 152
"Precise is better than Light" A Document Analysis Study about Quality of Business Process Models 151
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems 151
Gesper: Support to Capitalize on Experience in a Network of SMEs 151
Towards a Holistic Method for Business Process Analytics 151
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 150
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 149
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 149
Applying the SMoLCS Specification Methodology to the CNET Architecture 148
From ADT to UML-Like Modelling (Short Abstract) 146
Relevance, Benefits, and Problems of Software Modelling and Model Driven Techniques-A Survey in the Italian Industry 146
A METHOD FOR DEVELOPING UML STATE MACHINES 145
Formal or not, but Precise Modelling of Services with CASL4SOA and SoaML 145
Towards an approach for developing and testing Node-RED IoT systems 145
Service-oriented domain and business process modelling 144
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 143
Towards a Well-Founded UML-Based Development Method 143
Observational Structures and Their Logics 143
Preliminary Findings from a Survey on the MD State of the Practice 140
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL 140
Knowledge structuring and representation in requirement specification 140
Towards a Lightweight Model Driven Method for Developing SOA Systems Using Existing Assets 140
The SMoLCS ToolSet 138
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach 138
The SMoLCS approach to the formal semantics of programming languages 138
Improving Use Case Based Requirements Using Formally Grounded Specifications 137
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments 136
A Method for Testing Model to Text Transformations 135
Early Experiences on Model Transformation Testing 135
Event logic for specifying abstract dynamic data types 134
A UML-Based Approach for Problem Frame Oriented Software Development 134
An Approach for Selecting the Most Suitable Business Process Modelling Method/Notation 134
Modeling Business within a UML-Based Rigorous Software Development Approach 132
Maturity of software modelling and model driven engineering: A survey in the Italian industry 130
Labelled Transition Logic:an outline 130
Unit Testing of Model to Text Transformations 129
A UML-Based Approach for Problem Frame Oriented Software Development 129
Tight Structuring for Precise UML-based Requirement Specifications 129
Stores as Homomorphisms and their Transformations 129
Empirical Evaluation of UML-based Model-driven Techniques: Poster Paper 129
What are the used UML diagrams? A Preliminary Survey 129
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 128
Consistency Problems in UML-Based Software Development 128
A UML-based proposal for IoT system requirements specification 128
Formalism and Method 127
Algebraic Specification at Work 127
Estimating the Effort to Develop Screen Mockups 127
Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling 126
Totale 15.904
Salva come PNG Salva come JPEG
Categoria #
all - tutte 56.810
article - articoli 7.678
book - libri 1.038
conference - conferenze 28.742
curatela - curatele 1.416
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 17.936
Totale 113.620
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021303 0 0 0 0 0 0 0 0 0 151 60 92
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.295 406 59 273 306 511 357 682 192 194 315 0 0
Totale 19.687