Distribuzione geografica
Continente #
EU - Europa 13.711
Totale 13.711
Nazione #
IT - Italia 13.711
Totale 13.711
Città #
Genova 11.488
Rapallo 1.457
Genoa 739
Bordighera 27
Totale 13.711
Nome #
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 185
Architecture Specific Models: Software Design on Abstract Platforms 162
On the parameterized algebraic specification of concurrent systems 158
A SMoLCS based kit for defining high-level algebraic Petri nets 157
Entities: An institution for dynamic systems 156
On the specification of the firing squad problem 155
Relational specifications and observational semantics 153
Generalized bisimulation in relational specifications 150
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach 142
Institutions for Very Abstract Specifications 138
From Formal Techniques to Well-Founded Software Development Methods 138
A dynamic specification of the RPC-memory problem 138
A Discipline for Handling Feature Interaction 138
Algebraic specification of concurrency 138
Towards a Precise UML-Based Development Method 137
Abstract dynamic data types: A temporal logic approach 136
A Metalanguage for the Formal Requirement Specification of Reactive Systems 135
Activity Diagrams Patterns for Modeling Business Processes 134
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry 132
Deontic concepts in the algebraic specification of dynamic systems: The permission case 131
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA 130
Tutorials at the MODELS 2005 Conference 129
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 129
Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications 129
Comparing direct and continuation semantics styles for concurrent languages 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
Processes as data types: Observational semantics and logic 124
Data in a concurrent environment 124
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod 123
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 122
A method for requirements capture and specification based on disciplined use cases and screen mockups 122
Revising the UML Collaborations: A Well-Founded Approach 121
What Are the Used Activity Diagram Constructs? A Survey 121
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 120
An outline of the SMoLCS approach 120
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 119
Algebraic Specification of Concurrent Systems 117
Formal or not, but Precise Modelling of Services with CASL4SOA and SoaML 117
A Modelling Approach with Coloured Petri Nets 115
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL 115
Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development 115
What are the used UML diagram constructs? A document and tool analysis study covering activity and use case diagrams 114
Algebraic-Oriented Institutions 113
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 112
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems 112
Gesper: Support to Capitalize on Experience in a Network of SMEs 112
Towards a Well-Founded UML-Based Development Method 112
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
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
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments 110
A Framework for Defining and Comparing Modelling Methods 110
Event logic for specifying abstract dynamic data types 109
Knowledge structuring and representation in requirement specification 109
A UML-Based Approach for Problem Frame Oriented Software Development 109
SOA Adoption in the Italian Industry 108
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 108
Early Experiences on Model Transformation Testing 108
Stores as Homomorphisms and their Transformations 108
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 106
Improving Use Case Based Requirements Using Formally Grounded Specifications 105
Tight Structuring for Precise UML-based Requirement Specifications 105
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach 104
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 104
Estimating the Effort to Develop Screen Mockups 103
A UML-Based Approach for Problem Frame Oriented Software Development 103
SMoLCS-driven concurrent calculi 103
A Method for Developing Model to Text Transformations 102
From ADT to UML-Like Modelling (Short Abstract) 101
Empirical Evaluation of UML-based Model-driven Techniques: Poster Paper 100
Modeling Business within a UML-Based Rigorous Software Development Approach 98
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
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
Applying the SMoLCS Specification Methodology to the CNET Architecture 96
Labelled Transition Logic:an outline 95
Towards an approach for developing and testing Node-RED IoT systems 94
Observational Structures and Their Logics 94
A lightweight semi-automated acceptance test-driven development approach for web applications 94
Consistency Problems in UML-Based Software Development 93
A Formally Grounded Software Specification Method 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
A UML-based proposal for IoT system requirements specification 91
Unit Testing of Model to Text Transformations 90
Towards a Holistic Method for Business Process Analytics 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 88
Improving the Quality and the Comprehension of Requirements: Disciplined Use Cases and Mockups 88
Stores as Homomorphisms and Their Transformations 85
Algebraic Specification at Work 84
Totale 11.520
Categoria #
all - tutte 32.184
article - articoli 4.210
book - libri 517
conference - conferenze 16.690
curatela - curatele 706
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 10.061
Totale 64.368

Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.044 0 0 0 0 0 0 0 0 1 208 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.787 213 136 14 215 211 292 6 227 296 16 145 16
2023/2024438 29 105 22 76 49 80 38 39 0 0 0 0
Totale 13.818