Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (Contributo in atti di convegno) (literal)

Anno

• 2014-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-662-45234-9_25 (literal)

Alternative label

• ter Beek M.H.; Fantechi A.; Gnesi S. (2014)
  Challenges in modelling and analyzing quantitative aspects of bike-sharing systems
  in ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium, Corfu, Greece, 8-11 October 2014
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• ter Beek M.H.; Fantechi A.; Gnesi S. (literal)

Pagina inizio

• 351 (literal)

Pagina fine

• 367 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• Grant agreement 600708 Tipo Progetto EU_FP7 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.scopus.com/inward/record.url?eid=2-s2.0-84910613014&partnerID=q2rCbXpz (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 8802 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 8802 (literal)

Rivista

• Lecture notes in computer science (Rivista)

Note

• Scopu (literal)
• PuMa (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• ISTI-CNR, Pisa, Italy; DINFO, Università di Firenze, Firenze, Italy; ISTI-CNR, Pisa, Italy (literal)

Titolo

• Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-662-45234-9 (literal)

Abstract

• Bike-sharing systems are becoming popular not only as a sustainable means of transportation in the urban environment, but also as a challenging case study that presents interesting run-time optimization problems. As a side-study within a research project aimed at quantitative analysis that used such a case study, we have observed how the deployed systems enjoy a wide variety of different features. We have therefore applied variability analysis to define a family of bike-sharing systems, and we have sought support in available tools. We have so established a tool chain that includes (academic) tools that provide different functionalities regarding the analysis of software product lines, from feature modelling to product derivation and from quantitative evaluation of the attributes of products to model checking value-passing modal specifications. The tool chain is currently experimented inside the mentioned project as a complement to more sophisticated product-based analysis techniques. (literal)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• MAURICE HENRI TER BEEK (Unità di personale interno)
• STEFANIA GNESI (Persona)

Insieme di parole chiave

• Keywords of "Challenges in modelling and analyzing quantitative aspects of bike-sharing systems" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR di

• STEFANIA GNESI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale interno)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Lecture notes in computer science (Rivista)

Insieme di parole chiave di

• Keywords of "Challenges in modelling and analyzing quantitative aspects of bike-sharing systems" (Insieme di parole chiave)