IRIS
ASTESIANO, EGIDIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.095
Totale 8.095
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 8.095
Totale 8.095
Salva come PNG Salva come JPEG
Città #
Genova 6.836
Rapallo 815
Genoa 429
Bordighera 15
Totale 8.095
Salva come PNG Salva come JPEG
Nome #
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 184
D-oids: a model for dynamic data-types 167
Architecture Specific Models: Software Design on Abstract Platforms 164
On the parameterized algebraic specification of concurrent systems 158
On the specification of the firing squad problem 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
A Discipline for Handling Feature Interaction 138
Algebraic specification of concurrency 137
Partial Higher-Order Specifications 136
A Metalanguage for the Formal Requirement Specification of Reactive Systems 134
Semantics of CSP via translation into CCS 129
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
Comparing direct and continuation semantics styles for concurrent languages 124
Processes as data types: Observational semantics and logic 124
Non-strict Don't Care Algebras and Specifications 123
Data in a concurrent environment 123
Free Objects and Equational Deduction for Partial Conditional Specifications 121
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 121
A Semantic Model for Dynamic Systems 121
Revising the UML Collaborations: A Well-Founded Approach 121
An outline of the SMoLCS approach 120
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 118
Multiparadigm Specification Languages: a First Attempt at Foundations 117
Algebraic Specification of Concurrent Systems 116
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 115
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 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
Non-strict Don't Care Algebras and Specifications 110
SOA Adoption in the Italian Industry 110
Towards a Well-Founded UML-Based Development Method 110
The SMoLCS ToolSet 109
Parametric Channels Via Label Expressions in CCS 109
Knowledge structuring and representation in requirement specification 107
Stores as Homomorphisms and their Transformations 107
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 105
Tight Structuring for Precise UML-based Requirement Specifications 104
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 103
From ADT to UML-Like Modelling (Short Abstract) 102
SMoLCS-driven concurrent calculi 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 97
Semantics of Distributed Processes Derived by Translation 97
Modeling Business within a UML-Based Rigorous Software Development Approach 97
Applying the SMoLCS Specification Methodology to the CNET Architecture 95
Labelled Transition Logic:an outline 95
Relationships between Logical Frames 93
Observational Structures and Their Logics 93
Towards a Holistic Method for Business Process Analytics 92
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 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
Algebraic Specification at Work 85
Stores as Homomorphisms and Their Transformations 83
The Ada Challenge for New Formal Semantic Techniques 81
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 76
A syntax-directed approach to the semantics of concurrent languages 74
Specifying reactive systems by abstract events 73
FIDJI'2002 - Scientific Engineering of Distributed Java Applications, proceedings of the 2nd International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2002 72
On the effectiveness of screen mockups in requirements engineering: results from an internal replication 70
Formalism and Method 69
Building VECM-based Systems with a Model Driven Approach: an Experience Report 68
Business Process Modelling: Five Styles and a Method to Choose the Most Suitable One 63
Formal Specification of a Concurrent Architecture in a Real Project 62
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study 61
An Algebraic Semantics of UML Supporting its Multiview Approach 60
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 52
From Conditional Specifications to Interaction Charts: A Journey from Formal to Visual Means to Model Behaviour 51
Totale 8.112
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.048
article - articoli 2.663
book - libri 372
conference - conferenze 9.021
curatela - curatele 329
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.663
Totale 38.096
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019501 0 0 0 0 0 0 0 0 0 0 270 231
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/2024250 18 57 9 34 22 35 18 19 23 15 0 0
Totale 8.112