IRIS
ASTESIANO, EGIDIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.950
AS - Asia 39
SA - Sud America 8
Totale 9.997
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 9.950
CN - Cina 34
BR - Brasile 7
SG - Singapore 4
CO - Colombia 1
VN - Vietnam 1
Totale 9.997
Salva come PNG Salva come JPEG
Città #
Genova 6.836
Genoa 1.680
Rapallo 815
Vado Ligure 604
Bordighera 15
Beijing 14
Belo Horizonte 1
Guarujá 1
Hanoi 1
Porto Alegre 1
Rio de Janeiro 1
Santiago de Cali 1
Singapore 1
São Bernardo do Campo 1
São José do Rio Pardo 1
Teresina 1
Zhengzhou 1
Totale 9.975
Salva come PNG Salva come JPEG
Nome #
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 216
D-oids: a model for dynamic data-types 210
Architecture Specific Models: Software Design on Abstract Platforms 199
A Discipline for Handling Feature Interaction 181
From Formal Techniques to Well-Founded Software Development Methods 180
A Metalanguage for the Formal Requirement Specification of Reactive Systems 180
On the parameterized algebraic specification of concurrent systems 180
A dynamic specification of the RPC-memory problem 175
Relational specifications and observational semantics 169
On the specification of the firing squad problem 168
Algebraic specification of concurrency 165
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 165
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry 165
Generalized bisimulation in relational specifications 164
Data in a concurrent environment 164
Free Objects and Equational Deduction for Partial Conditional Specifications 156
Algebraic Specification of Concurrent Systems 156
Partial Higher-Order Specifications 154
An outline of the SMoLCS approach 154
Revising the UML Collaborations: A Well-Founded Approach 154
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 152
A Semantic Model for Dynamic Systems 149
Semantics of CSP via translation into CCS 149
A Framework for Defining and Comparing Modelling Methods 149
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA 148
SOA Adoption in the Italian Industry 147
Non-strict Don't Care Algebras and Specifications 146
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 145
Comparing direct and continuation semantics styles for concurrent languages 141
Processes as data types: Observational semantics and logic 139
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 138
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 138
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 137
Multiparadigm Specification Languages: a First Attempt at Foundations 135
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 134
Towards a Well-Founded UML-Based Development Method 134
From ADT to UML-Like Modelling (Short Abstract) 133
Non-strict Don't Care Algebras and Specifications 129
Towards a Lightweight Model Driven Method for Developing SOA Systems Using Existing Assets 128
Parametric Channels Via Label Expressions in CCS 127
Towards a Holistic Method for Business Process Analytics 127
The SMoLCS ToolSet 126
Knowledge structuring and representation in requirement specification 126
The SMoLCS approach to the formal semantics of programming languages 125
Applying the SMoLCS Specification Methodology to the CNET Architecture 124
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 121
Tight Structuring for Precise UML-based Requirement Specifications 121
Observational Structures and Their Logics 120
Stores as Homomorphisms and their Transformations 119
Partial Higher-Order Specifications 117
Labelled Transition Logic:an outline 117
Semantics of Distributed Processes Derived by Translation 115
Modeling Business within a UML-Based Rigorous Software Development Approach 114
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 112
SMoLCS-driven concurrent calculi 112
Algebraic Specification at Work 111
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 111
Formalism and Method 110
Relationships between Logical Frames 110
A syntax-directed approach to the semantics of concurrent languages 106
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 104
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study 102
The Ada Challenge for New Formal Semantic Techniques 101
Stores as Homomorphisms and Their Transformations 101
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? 94
An Algebraic Semantics of UML Supporting its Multiview Approach 93
Building VECM-based Systems with a Model Driven Approach: an Experience Report 92
Business Process Modelling: Five Styles and a Method to Choose the Most Suitable One 92
On the effectiveness of screen mockups in requirements engineering: results from an internal replication 89
FIDJI'2002 - Scientific Engineering of Distributed Java Applications, proceedings of the 2nd International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2002 88
Specifying reactive systems by abstract events 85
Formalism and Method 84
Formal Specification of a Concurrent Architecture in a Real Project 81
FIDJI'2003 - Scientific Engineering of Distributed Java Applications, proceedings of the 3rd International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2003 76
Parametric Channels and their Applications 68
From Conditional Specifications to Interaction Charts: A Journey from Formal to Visual Means to Model Behaviour 67
Totale 10.014
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.936
article - articoli 4.005
book - libri 618
conference - conferenze 13.550
curatela - curatele 524
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 10.239
Totale 57.872
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021416 0 0 0 53 37 49 21 54 58 71 37 36
2021/20221.043 21 165 47 104 40 30 109 249 24 83 55 116
2022/20231.009 127 86 5 139 122 180 4 69 181 2 90 4
2023/2024325 18 57 9 34 22 35 18 19 23 15 26 49
2024/20251.261 48 105 62 101 194 118 107 143 45 55 111 172
2025/2026566 237 25 135 169 0 0 0 0 0 0 0 0
Totale 10.014