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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20204.098 0 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/2024622 29 101 17 71 40 80 38 39 43 26 51 87
2024/202557 57 0 0 0 0 0 0 0 0 0 0 0
Totale 13.927