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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019835 0 0 0 0 0 0 0 0 0 0 456 379
2019/20204.293 195 128 196 250 397 421 608 336 472 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/2024484 29 101 17 71 40 80 38 39 43 26 0 0
Totale 13.732