Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2012 first International Workshop on Formal Methods in Software Engineering : Rigorous and Agile Approaches (FormSERA) : proceedings : June 2, 2012, Zurich, Switzerland
| 2012 first International Workshop on Formal Methods in Software Engineering : Rigorous and Agile Approaches (FormSERA) : proceedings : June 2, 2012, Zurich, Switzerland |
| Autore | Gnesi Stefania |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Press, 2012 |
| Descrizione fisica | 1 online resource (63 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
FormSERA
Formal Methods in Software Engineering : Rigorous and Agile Approaches Proceedings of the first International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches |
| Record Nr. | UNINA-9910375733903321 |
Gnesi Stefania
|
||
| [Place of publication not identified], : IEEE Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2nd FME Workshop on Formal Methods in Software Engineering : proceedings : June 3, 2014, Hyderabad, India
| 2nd FME Workshop on Formal Methods in Software Engineering : proceedings : June 3, 2014, Hyderabad, India |
| Autore | Gnesi Stefania |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (58 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2853-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
FormaliSE 2014
Formal Methods in Software Engineering 2014 Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering |
| Record Nr. | UNINA-9910376365203321 |
|
Gnesi Stefania
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the seventh International Workshop on Variability Modelling of Software-Intensive Systems
| Proceedings of the seventh International Workshop on Variability Modelling of Software-Intensive Systems |
| Autore | Gnesi Stefania |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (136 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1541-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | VaMoS '13 the seventh International Workshop on Variability Modelling of Software-Intensive Systems, Pisa , Italy - January 23 - 25, 2013 |
| Record Nr. | UNINA-9910375888703321 |
|
Gnesi Stefania
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the Third FME Workshop on Formal Methods in Software Engineering / / Stefania Gnesi, Nico Plat ; Association for Computing Machinery-Digital Library
| Proceedings of the Third FME Workshop on Formal Methods in Software Engineering / / Stefania Gnesi, Nico Plat ; Association for Computing Machinery-Digital Library |
| Autore | Gnesi Stefania |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2015 |
| Descrizione fisica | 1 online resource (85 pages) |
| Disciplina | 004.0151 |
| Soggetto topico | Formal methods (Computer science) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376644803321 |
|
Gnesi Stefania
|
||
| Piscataway, New Jersey : , : IEEE Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SPLC 2014. proceedings of 18th International Software Product Line Conference / Volume 1
| SPLC 2014. proceedings of 18th International Software Product Line Conference / Volume 1 |
| Autore | Gnesi Stefania |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (377 pages) |
| Collana | ACM International Conference Proceedings Series |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2740-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software Product Line Conference 2014
Proceedings of the 18th International Software Product Line Conference SPLC '14 18th International Software Product Line Conference, Florence, Italy - September 15-19, 2014 |
| Record Nr. | UNINA-9910375751603321 |
|
Gnesi Stefania
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SPLC 2014. proceedings of 18th International Software Product Line Conference : Workshops, Demonstrations and Tools / Volume 2
| SPLC 2014. proceedings of 18th International Software Product Line Conference : Workshops, Demonstrations and Tools / Volume 2 |
| Autore | Gnesi Stefania |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (151 pages) |
| Collana | ACM International Conference Proceedings Series |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software Product Line Conference 2014
Proceedings of the 18th International Software Product Line Conference. companion volume for Workshops, Demonstrations and Tools SPLC '14 18th International Software Product Lines Conference - companion volume for Workshop, Tools and Demo papers, Florence, Italy - September 15-19, 2014 |
| Record Nr. | UNINA-9910375744303321 |
|
Gnesi Stefania
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||