IRIS
REGGIO, GIANNA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 17.511
AS - Asia 1.479
NA - Nord America 786
SA - Sud America 117
AF - Africa 32
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 19.929
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 17.274
US - Stati Uniti d'America 736
SG - Singapore 652
CN - Cina 413
VN - Vietnam 236
FR - Francia 131
BR - Brasile 63
HK - Hong Kong 45
DE - Germania 43
JP - Giappone 29
AR - Argentina 19
CA - Canada 19
BD - Bangladesh 17
IN - India 16
IQ - Iraq 14
MX - Messico 14
EC - Ecuador 12
GB - Regno Unito 12
PK - Pakistan 11
ZA - Sudafrica 11
ID - Indonesia 9
FI - Finlandia 8
CO - Colombia 7
ES - Italia 7
JM - Giamaica 7
PH - Filippine 7
TH - Thailandia 7
CL - Cile 6
NL - Olanda 6
CH - Svizzera 5
JO - Giordania 4
PY - Paraguay 4
RU - Federazione Russa 4
DO - Repubblica Dominicana 3
EG - Egitto 3
HN - Honduras 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
AE - Emirati Arabi Uniti 2
AL - Albania 2
BE - Belgio 2
CR - Costa Rica 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
BB - Barbados 1
CI - Costa d'Avorio 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.929
Salva come PNG Salva come JPEG
Città #
Genova 11.488
Genoa 3.285
Rapallo 1.330
Vado Ligure 1.104
San Jose 339
Singapore 318
Lauterbourg 118
Beijing 91
Ho Chi Minh City 68
Hanoi 59
Hong Kong 43
Santa Clara 43
New York 39
Ashburn 36
Frankfurt am Main 33
Bordighera 27
Tokyo 25
Haiphong 12
Da Nang 11
Rome 9
Baghdad 8
Helsinki 8
Hải Dương 8
Los Angeles 8
Mexico City 8
Guayaquil 7
Tianjin 7
Chicago 6
Guangzhou 6
Orem 6
Amsterdam 5
Can Tho 5
Cape Town 5
Council Bluffs 5
Phoenix 5
Quezon City 5
Zurich 5
Amman 4
Bangkok 4
Buffalo 4
Chennai 4
City of London 4
Dallas 4
Quito 4
Rio de Janeiro 4
San Francisco 4
Toronto 4
Cairo 3
Dublin 3
Hangzhou 3
Johannesburg 3
Kansas City 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
Burlington 2
Bắc Ninh 2
Calgary 2
Carapicuíba 2
Casablanca 2
Chongqing 2
Concepción 2
Des Moines 2
Houston 2
Huế 2
Islamabad 2
Jinan 2
Karachi 2
Kirkuk 2
Lahore 2
Las Vegas 2
London 2
Madrid 2
Matão 2
Milan 2
Minneapolis 2
Montego Bay 2
Montevideo 2
Naples 2
Newark 2
Osasco 2
Parma 2
Philadelphia 2
Porto Alegre 2
Queens 2
Quận Ba 2
Recklinghausen 2
Salford 2
Santiago 2
Schaarbeek 2
Sialkot 2
Stuttgart 2
Surabaya 2
Tegucigalpa 2
Totale 18.742
Salva come PNG Salva come JPEG
Nome #
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups 295
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 243
Architecture Specific Models: Software Design on Abstract Platforms 224
A method for requirements capture and specification based on disciplined use cases and screen mockups 222
A Metalanguage for the Formal Requirement Specification of Reactive Systems 211
A Method for Developing Model to Text Transformations 203
A Discipline for Handling Feature Interaction 201
On the parameterized algebraic specification of concurrent systems 199
From Formal Techniques to Well-Founded Software Development Methods 197
A dynamic specification of the RPC-memory problem 197
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry 194
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod 194
A SMoLCS based kit for defining high-level algebraic Petri nets 189
Algebraic Specification of Concurrent Systems 185
Algebraic specification of concurrency 185
Data in a concurrent environment 185
Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications 185
Entities: An institution for dynamic systems 184
Relational specifications and observational semantics 183
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 183
On the specification of the firing squad problem 180
A non-standard inductive semantics 179
What are the used UML diagram constructs? A document and tool analysis study covering activity and use case diagrams 179
Generalized bisimulation in relational specifications 178
Activity Diagrams Patterns for Modeling Business Processes 177
A Graphic Notation for Formal Specifications of Dynamic Systems 177
Towards a Precise UML-Based Development Method 176
An outline of the SMoLCS approach 174
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 172
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach 172
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments 172
A Framework for Defining and Comparing Modelling Methods 171
A Notation for Component-Based Design of Java Applications 170
Abstract dynamic data types: A temporal logic approach 167
Revising the UML Collaborations: A Well-Founded Approach 167
What Are the Used Activity Diagram Constructs? A Survey 167
Institutions for Very Abstract Specifications 166
Algebraic-Oriented Institutions 165
SOA Adoption in the Italian Industry 165
Deontic concepts in the algebraic specification of dynamic systems: The permission case 164
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 164
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA 164
Who Knows/Uses What of the UML: A Personal Opinion Survey 163
A Formally Grounded Software Specification Method 162
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 161
Test driven development of web applications: A lightweight approach 161
A lightweight semi-automated acceptance test-driven development approach for web applications 161
Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development 160
Comparing direct and continuation semantics styles for concurrent languages 159
On the Deployment of IoT Systems: An Industrial Survey 158
A Modelling Approach with Coloured Petri Nets 157
Tutorials at the MODELS 2005 Conference 157
"Precise is better than Light" A Document Analysis Study about Quality of Business Process Models 156
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 155
Applying the SMoLCS Specification Methodology to the CNET Architecture 154
From ADT to UML-Like Modelling (Short Abstract) 153
Processes as data types: Observational semantics and logic 153
Gesper: Support to Capitalize on Experience in a Network of SMEs 153
Towards a Holistic Method for Business Process Analytics 153
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 152
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems 152
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 152
Formal or not, but Precise Modelling of Services with CASL4SOA and SoaML 150
Relevance, Benefits, and Problems of Software Modelling and Model Driven Techniques-A Survey in the Italian Industry 148
A METHOD FOR DEVELOPING UML STATE MACHINES 147
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach 147
Towards an approach for developing and testing Node-RED IoT systems 147
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 146
Service-oriented domain and business process modelling 146
Observational Structures and Their Logics 146
Towards a Well-Founded UML-Based Development Method 145
Preliminary Findings from a Survey on the MD State of the Practice 142
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL 142
Towards a Lightweight Model Driven Method for Developing SOA Systems Using Existing Assets 142
The SMoLCS ToolSet 141
Knowledge structuring and representation in requirement specification 141
The SMoLCS approach to the formal semantics of programming languages 141
Improving Use Case Based Requirements Using Formally Grounded Specifications 138
A Method for Testing Model to Text Transformations 138
A UML-Based Approach for Problem Frame Oriented Software Development 138
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments 137
Early Experiences on Model Transformation Testing 136
An Approach for Selecting the Most Suitable Business Process Modelling Method/Notation 136
Event logic for specifying abstract dynamic data types 135
Modeling Business within a UML-Based Rigorous Software Development Approach 135
A UML-Based Approach for Problem Frame Oriented Software Development 133
Labelled Transition Logic:an outline 132
A Method-Wise Approach for Selecting the Most Suitable Business Process Modelling Notation 132
Maturity of software modelling and model driven engineering: A survey in the Italian industry 131
Unit Testing of Model to Text Transformations 131
What are the used UML diagrams? A Preliminary Survey 131
A UML-based proposal for IoT system requirements specification 131
Consistency Problems in UML-Based Software Development 130
Estimating the Effort to Develop Screen Mockups 130
Tight Structuring for Precise UML-based Requirement Specifications 130
Stores as Homomorphisms and their Transformations 130
Empirical Evaluation of UML-based Model-driven Techniques: Poster Paper 130
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 129
Algebraic Specification at Work 129
A syntax-directed approach to the semantics of concurrent languages 129
Totale 16.179
Salva come PNG Salva come JPEG
Categoria #
all - tutte 59.118
article - articoli 8.013
book - libri 1.075
conference - conferenze 29.906
curatela - curatele 1.472
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 18.652
Totale 118.236
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202192 0 0 0 0 0 0 0 0 0 0 0 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.654 406 59 273 306 511 357 682 192 194 376 130 168
Totale 20.046