IRIS
REGGIO, GIANNA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 17.250
AS - Asia 534
SA - Sud America 81
NA - Nord America 37
AF - Africa 12
OC - Oceania 1
Totale 17.915
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 17.229
SG - Singapore 228
CN - Cina 185
VN - Vietnam 77
BR - Brasile 43
US - Stati Uniti d'America 20
AR - Argentina 15
MX - Messico 10
EC - Ecuador 9
HK - Hong Kong 9
ID - Indonesia 7
IQ - Iraq 6
CL - Cile 4
DE - Germania 4
PK - Pakistan 4
CO - Colombia 3
EG - Egitto 3
FR - Francia 3
IN - India 3
JP - Giappone 3
RU - Federazione Russa 3
VE - Venezuela 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
BD - Bangladesh 2
DO - Repubblica Dominicana 2
JM - Giamaica 2
MA - Marocco 2
MD - Moldavia 2
NP - Nepal 2
PY - Paraguay 2
AT - Austria 1
AZ - Azerbaigian 1
CA - Canada 1
CR - Costa Rica 1
DZ - Algeria 1
ES - Italia 1
GB - Regno Unito 1
GH - Ghana 1
GT - Guatemala 1
IL - Israele 1
JO - Giordania 1
LB - Libano 1
MU - Mauritius 1
NL - Olanda 1
PE - Perù 1
PF - Polinesia Francese 1
PH - Filippine 1
PL - Polonia 1
RO - Romania 1
SA - Arabia Saudita 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
UA - Ucraina 1
UY - Uruguay 1
ZW - Zimbabwe 1
Totale 17.915
Salva come PNG Salva come JPEG
Città #
Genova 11.488
Genoa 3.278
Rapallo 1.330
Vado Ligure 1.104
Singapore 115
Beijing 70
Bordighera 27
Ho Chi Minh City 25
Hanoi 21
Hong Kong 9
Mexico City 7
Tianjin 7
Baghdad 6
Guayaquil 6
Hải Dương 5
Ashburn 4
Da Nang 4
Haiphong 4
Rio de Janeiro 4
Cairo 3
Quito 3
Blumenau 2
Buffalo 2
Bắc Ninh 2
Concepción 2
Houston 2
Johannesburg 2
Lahore 2
Osasco 2
Porto Alegre 2
Shanghai 2
Stuttgart 2
São Paulo 2
Thái Bình 2
Tokyo 2
Vienne 2
Amargosa 1
Amman 1
Antofagasta 1
Araguari 1
Araçatuba 1
Asunción 1
Baku 1
Barretos 1
Bekasi 1
Belo Horizonte 1
Biên Hòa 1
Bom Princípio 1
Bucharest 1
Cachoeirinha 1
Calamba 1
Caleta Olivia 1
Camaçari 1
Canoas 1
Cao Lanh 1
Cape Town 1
Caracas 1
Carapicuíba 1
Casablanca 1
Caxias do Sul 1
Chennai 1
Chongqing 1
Comodoro Rivadavia 1
Compiègne 1
Concepción del Uruguay 1
Cúcuta 1
Dammam 1
Dubai 1
Estación Colina 1
Ezeiza 1
Formiga 1
Fortaleza 1
Frankfurt am Main 1
Grand Bourg 1
Gresik 1
Guangzhou 1
Guarulhos 1
Guatemala City 1
Gustavo Adolfo Madero 1
Harare 1
Huế 1
Jakarta 1
Ji Paraná 1
Joinville 1
Jojutla 1
Juiz de Fora 1
Karachi 1
Kumasi 1
Lima 1
Los Angeles 1
Macapá 1
Mapleton 1
Marrakesh 1
Marsella 1
Mendoza 1
Montego Bay 1
Montevideo 1
Moscow 1
New York 1
Novozybkov 1
Totale 17.614
Salva come PNG Salva come JPEG
Nome #
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups 278
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 221
Architecture Specific Models: Software Design on Abstract Platforms 206
A method for requirements capture and specification based on disciplined use cases and screen mockups 196
A Discipline for Handling Feature Interaction 189
A Metalanguage for the Formal Requirement Specification of Reactive Systems 188
From Formal Techniques to Well-Founded Software Development Methods 186
On the parameterized algebraic specification of concurrent systems 183
A dynamic specification of the RPC-memory problem 183
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod 178
A SMoLCS based kit for defining high-level algebraic Petri nets 176
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry 172
On the specification of the firing squad problem 171
Algebraic specification of concurrency 171
Relational specifications and observational semantics 171
Entities: An institution for dynamic systems 171
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 169
Data in a concurrent environment 169
Towards a Precise UML-Based Development Method 168
A Method for Developing Model to Text Transformations 168
Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications 167
Generalized bisimulation in relational specifications 166
A non-standard inductive semantics 165
Algebraic Specification of Concurrent Systems 164
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach 162
Activity Diagrams Patterns for Modeling Business Processes 162
A Graphic Notation for Formal Specifications of Dynamic Systems 161
An outline of the SMoLCS approach 159
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments 158
A Framework for Defining and Comparing Modelling Methods 158
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 157
Revising the UML Collaborations: A Well-Founded Approach 156
Algebraic-Oriented Institutions 155
Abstract dynamic data types: A temporal logic approach 155
A Notation for Component-Based Design of Java Applications 155
Institutions for Very Abstract Specifications 154
SOA Adoption in the Italian Industry 154
What are the used UML diagram constructs? A document and tool analysis study covering activity and use case diagrams 154
Deontic concepts in the algebraic specification of dynamic systems: The permission case 153
Who Knows/Uses What of the UML: A Personal Opinion Survey 152
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA 152
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 150
A Modelling Approach with Coloured Petri Nets 149
Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development 149
Tutorials at the MODELS 2005 Conference 148
A lightweight semi-automated acceptance test-driven development approach for web applications 146
Comparing direct and continuation semantics styles for concurrent languages 145
Test driven development of web applications: A lightweight approach 145
What Are the Used Activity Diagram Constructs? A Survey 144
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems 143
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 143
From ADT to UML-Like Modelling (Short Abstract) 141
Processes as data types: Observational semantics and logic 141
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 141
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 140
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 137
A METHOD FOR DEVELOPING UML STATE MACHINES 136
A Formally Grounded Software Specification Method 136
Towards a Well-Founded UML-Based Development Method 136
Service-oriented domain and business process modelling 135
Formal or not, but Precise Modelling of Services with CASL4SOA and SoaML 133
Gesper: Support to Capitalize on Experience in a Network of SMEs 133
Applying the SMoLCS Specification Methodology to the CNET Architecture 132
Relevance, Benefits, and Problems of Software Modelling and Model Driven Techniques-A Survey in the Italian Industry 132
Improving Use Case Based Requirements Using Formally Grounded Specifications 132
Towards a Holistic Method for Business Process Analytics 132
Preliminary Findings from a Survey on the MD State of the Practice 131
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL 131
Early Experiences on Model Transformation Testing 131
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 130
"Precise is better than Light" A Document Analysis Study about Quality of Business Process Models 130
Towards a Lightweight Model Driven Method for Developing SOA Systems Using Existing Assets 130
Knowledge structuring and representation in requirement specification 129
Towards an approach for developing and testing Node-RED IoT systems 129
The SMoLCS ToolSet 128
Event logic for specifying abstract dynamic data types 127
The SMoLCS approach to the formal semantics of programming languages 127
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments 126
Maturity of software modelling and model driven engineering: A survey in the Italian industry 125
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach 124
A UML-Based Approach for Problem Frame Oriented Software Development 124
A UML-Based Approach for Problem Frame Oriented Software Development 123
On the Deployment of IoT Systems: An Industrial Survey 123
Observational Structures and Their Logics 123
Tight Structuring for Precise UML-based Requirement Specifications 122
Modeling Business within a UML-Based Rigorous Software Development Approach 120
Stores as Homomorphisms and their Transformations 120
Empirical Evaluation of UML-based Model-driven Techniques: Poster Paper 120
What are the used UML diagrams? A Preliminary Survey 120
An Approach for Selecting the Most Suitable Business Process Modelling Method/Notation 120
Consistency Problems in UML-Based Software Development 119
Unit Testing of Model to Text Transformations 119
Labelled Transition Logic:an outline 119
Estimating the Effort to Develop Screen Mockups 118
Algebraic Specification at Work 116
A Method for Testing Model to Text Transformations 116
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 115
A syntax-directed approach to the semantics of concurrent languages 115
Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers 115
Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling 115
Totale 14.712
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.197
article - articoli 7.285
book - libri 979
conference - conferenze 27.485
curatela - curatele 1.331
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 17.117
Totale 108.394
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021691 0 0 0 0 0 102 55 113 118 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/20261.638 406 59 273 306 511 83 0 0 0 0 0 0
Totale 18.030