IRIS
ASTESIANO, EGIDIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.173
Totale 8.173
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 8.173
Totale 8.173
Salva come PNG Salva come JPEG
Città #
Genova 6.836
Rapallo 815
Genoa 507
Bordighera 15
Totale 8.173
Salva come PNG Salva come JPEG
Nome #
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 186
D-oids: a model for dynamic data-types 167
Architecture Specific Models: Software Design on Abstract Platforms 165
On the parameterized algebraic specification of concurrent systems 159
On the specification of the firing squad problem 154
Relational specifications and observational semantics 153
Generalized bisimulation in relational specifications 148
From Formal Techniques to Well-Founded Software Development Methods 142
A dynamic specification of the RPC-memory problem 141
A Discipline for Handling Feature Interaction 139
Algebraic specification of concurrency 138
Partial Higher-Order Specifications 137
A Metalanguage for the Formal Requirement Specification of Reactive Systems 137
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry 132
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 131
Semantics of CSP via translation into CCS 130
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA 129
Comparing direct and continuation semantics styles for concurrent languages 125
Processes as data types: Observational semantics and logic 124
Data in a concurrent environment 124
Non-strict Don't Care Algebras and Specifications 123
Free Objects and Equational Deduction for Partial Conditional Specifications 122
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 122
A Semantic Model for Dynamic Systems 122
Revising the UML Collaborations: A Well-Founded Approach 122
An outline of the SMoLCS approach 121
Algebraic Specification of Concurrent Systems 118
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 118
Multiparadigm Specification Languages: a First Attempt at Foundations 117
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 116
A Framework for Defining and Comparing Modelling Methods 114
Towards a Well-Founded UML-Based Development Method 112
The SMoLCS approach to the formal semantics of programming languages 112
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 111
SOA Adoption in the Italian Industry 111
Towards a Lightweight Model Driven Method for Developing SOA Systems Using Existing Assets 111
Non-strict Don't Care Algebras and Specifications 110
The SMoLCS ToolSet 110
Parametric Channels Via Label Expressions in CCS 109
Knowledge structuring and representation in requirement specification 109
Stores as Homomorphisms and their Transformations 109
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 108
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 106
Tight Structuring for Precise UML-based Requirement Specifications 104
SMoLCS-driven concurrent calculi 103
From ADT to UML-Like Modelling (Short Abstract) 102
Partial Higher-Order Specifications 99
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 98
Semantics of Distributed Processes Derived by Translation 98
Modeling Business within a UML-Based Rigorous Software Development Approach 97
Applying the SMoLCS Specification Methodology to the CNET Architecture 96
Labelled Transition Logic:an outline 95
Observational Structures and Their Logics 94
Relationships between Logical Frames 93
Towards a Holistic Method for Business Process Analytics 92
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 90
Formalism and Method 89
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 89
Algebraic Specification at Work 86
Stores as Homomorphisms and Their Transformations 84
The Ada Challenge for New Formal Semantic Techniques 82
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? 79
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 78
A syntax-directed approach to the semantics of concurrent languages 75
Specifying reactive systems by abstract events 75
FIDJI'2002 - Scientific Engineering of Distributed Java Applications, proceedings of the 2nd International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2002 73
On the effectiveness of screen mockups in requirements engineering: results from an internal replication 72
Formalism and Method 70
Building VECM-based Systems with a Model Driven Approach: an Experience Report 69
Business Process Modelling: Five Styles and a Method to Choose the Most Suitable One 64
Formal Specification of a Concurrent Architecture in a Real Project 63
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study 62
An Algebraic Semantics of UML Supporting its Multiview Approach 62
FIDJI'2003 - Scientific Engineering of Distributed Java Applications, proceedings of the 3rd International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2003 57
Parametric Channels and their Applications 54
From Conditional Specifications to Interaction Charts: A Journey from Formal to Visual Means to Model Behaviour 52
Totale 8.190
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.033
article - articoli 2.781
book - libri 400
conference - conferenze 9.510
curatela - curatele 344
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.998
Totale 40.066
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.441 110 65 118 136 225 238 333 182 283 396 231 124
2020/2021554 37 52 49 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/20253 3 0 0 0 0 0 0 0 0 0 0 0
Totale 8.190