IRIS
REGGIO, GIANNA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 15.631
Totale 15.631
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 15.631
Totale 15.631
Salva come PNG Salva come JPEG
Città #
Genova 11.488
Genoa 1.682
Rapallo 1.330
Vado Ligure 1.104
Bordighera 27
Totale 15.631
Salva come PNG Salva come JPEG
Nome #
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups 252
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 202
Architecture Specific Models: Software Design on Abstract Platforms 180
On the parameterized algebraic specification of concurrent systems 171
A method for requirements capture and specification based on disciplined use cases and screen mockups 169
A SMoLCS based kit for defining high-level algebraic Petri nets 165
A Discipline for Handling Feature Interaction 164
Relational specifications and observational semantics 163
On the specification of the firing squad problem 162
Entities: An institution for dynamic systems 162
A dynamic specification of the RPC-memory problem 159
A Metalanguage for the Formal Requirement Specification of Reactive Systems 158
From Formal Techniques to Well-Founded Software Development Methods 157
Generalized bisimulation in relational specifications 156
Towards a Precise UML-Based Development Method 155
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach 153
Algebraic specification of concurrency 153
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry 151
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 146
A non-standard inductive semantics 145
Activity Diagrams Patterns for Modeling Business Processes 144
Institutions for Very Abstract Specifications 143
Abstract dynamic data types: A temporal logic approach 143
A Graphic Notation for Formal Specifications of Dynamic Systems 143
Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications 143
An outline of the SMoLCS approach 140
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA 140
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 139
Algebraic Specification of Concurrent Systems 139
Tutorials at the MODELS 2005 Conference 138
Data in a concurrent environment 138
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod 138
Deontic concepts in the algebraic specification of dynamic systems: The permission case 137
Comparing direct and continuation semantics styles for concurrent languages 135
Who Knows/Uses What of the UML: A Personal Opinion Survey 135
A Notation for Component-Based Design of Java Applications 133
Revising the UML Collaborations: A Well-Founded Approach 133
Processes as data types: Observational semantics and logic 132
A Method for Developing Model to Text Transformations 132
A Framework for Defining and Comparing Modelling Methods 132
Algebraic-Oriented Institutions 130
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 129
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems 129
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 129
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 128
A Modelling Approach with Coloured Petri Nets 128
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments 128
What Are the Used Activity Diagram Constructs? A Survey 128
SOA Adoption in the Italian Industry 127
Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development 127
Test driven development of web applications: A lightweight approach 127
What are the used UML diagram constructs? A document and tool analysis study covering activity and use case diagrams 127
Formal or not, but Precise Modelling of Services with CASL4SOA and SoaML 125
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL 123
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 123
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 123
Improving Use Case Based Requirements Using Formally Grounded Specifications 122
Towards a Well-Founded UML-Based Development Method 122
Relevance, Benefits, and Problems of Software Modelling and Model Driven Techniques-A Survey in the Italian Industry 120
Gesper: Support to Capitalize on Experience in a Network of SMEs 120
Preliminary Findings from a Survey on the MD State of the Practice 119
Event logic for specifying abstract dynamic data types 119
Knowledge structuring and representation in requirement specification 119
The SMoLCS approach to the formal semantics of programming languages 119
A UML-Based Approach for Problem Frame Oriented Software Development 119
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments 119
A METHOD FOR DEVELOPING UML STATE MACHINES 118
Maturity of software modelling and model driven engineering: A survey in the Italian industry 118
Early Experiences on Model Transformation Testing 118
Towards a Lightweight Model Driven Method for Developing SOA Systems Using Existing Assets 118
The SMoLCS ToolSet 117
From ADT to UML-Like Modelling (Short Abstract) 116
Tight Structuring for Precise UML-based Requirement Specifications 116
Stores as Homomorphisms and their Transformations 116
A lightweight semi-automated acceptance test-driven development approach for web applications 115
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach 113
A UML-Based Approach for Problem Frame Oriented Software Development 113
Observational Structures and Their Logics 113
Service-oriented domain and business process modelling 112
Applying the SMoLCS Specification Methodology to the CNET Architecture 111
Labelled Transition Logic:an outline 111
A Formally Grounded Software Specification Method 111
Estimating the Effort to Develop Screen Mockups 110
SMoLCS-driven concurrent calculi 110
Towards an approach for developing and testing Node-RED IoT systems 108
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 107
Consistency Problems in UML-Based Software Development 107
Modeling Business within a UML-Based Rigorous Software Development Approach 107
Empirical Evaluation of UML-based Model-driven Techniques: Poster Paper 107
Towards a Holistic Method for Business Process Analytics 106
Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling 105
What are the used UML diagrams? A Preliminary Survey 105
Unit Testing of Model to Text Transformations 102
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 101
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 101
Algebraic Specification at Work 100
Formalism and Method 99
"Precise is better than Light" A Document Analysis Study about Quality of Business Process Models 99
Improving the Quality and the Comprehension of Requirements: Disciplined Use Cases and Mockups 98
A UML-based proposal for IoT system requirements specification 98
Totale 13.015
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.822
article - articoli 6.104
book - libri 758
conference - conferenze 22.826
curatela - curatele 1.062
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 14.072
Totale 89.644
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.290 0 0 0 0 0 0 0 0 0 670 403 217
2020/20211.147 77 117 96 111 55 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/20251.875 57 218 132 125 373 284 211 320 127 28 0 0
Totale 15.745