Advances in Laboratory Testing and Modelling of Soils and Shales (ATMSS) / / edited by Alessio Ferrari, Lyesse Laloui |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XII, 527 p. 337 illus., 223 illus. in color.) |
Disciplina | 624.15 |
Collana | Springer Series in Geomechanics and Geoengineering |
Soggetto topico |
Engineering geology
Engineering—Geology Foundations Hydraulics Geotechnical engineering Soil science Soil conservation Geoengineering, Foundations, Hydraulics Geotechnical Engineering & Applied Earth Sciences Soil Science & Conservation |
ISBN | 3-319-52773-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote Lectures -- Feature Lectures -- Unsaturated behaviour of soils and shales -- Advanced laboratory testing -- Hydro – Mechanical behaviour of shales and stiff clays -- Opalinus Clay shale -- Advanced laboratory testing for site characterization and in – situ application studies -- Soil – structure interactions -- Constitutive and numerical modelling of soils and shales. |
Record Nr. | UNINA-9910160715803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Energy Geotechnics : SEG-2018 / / edited by Alessio Ferrari, Lyesse Laloui |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (515 pages) |
Disciplina | 333.88 |
Collana | Springer Series in Geomechanics and Geoengineering |
Soggetto topico |
Engineering geology
Engineering—Geology Foundations Hydraulics Geotechnical engineering Geoengineering, Foundations, Hydraulics Geotechnical Engineering & Applied Earth Sciences |
ISBN | 3-319-99670-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Energy geostructures and shallow energy geostorage -- Thermo-hydro-chemo-mechanical behaviour of geomaterials -- Unconventional resources, hydraulic stimulation and induced seismicity -- CO2 geological storage and nuclear waste disposal -- Others geotechnical activities related to the energy sector. |
Record Nr. | UNINA-9910337464403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Multiphysical testing of soils and shales / / Lyesse Laloui and Alessio Ferrari (eds.) |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, 2012, c2013 |
Descrizione fisica | 1 online resource (330 p.) |
Disciplina | 631.416 |
Altri autori (Persone) |
LalouiLyesse
FerrariAlessio |
Collana | Springer series in geomechanics and geoengineering |
Soggetto topico |
Soils - Testing
Shale - Testing |
ISBN |
1-283-91124-8
3-642-32492-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From the Contents: Theme lectures -- Testing in variably saturated conditions -- Testing in non-isothermal conditions -- Micro-scale investigations and image analysis techniques -- Compressibility, strength and time-dependent investigations -- Experimental analyses of shales behaviour. |
Record Nr. | UNINA-9910437903803321 |
Berlin ; ; Heidelberg, : Springer, 2012, c2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Requirements Engineering : Foundation for Software Quality / / Alessio Ferrari and Birgit Penzenstadler, editors |
Edizione | [First edition.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
Descrizione fisica | 1 online resource (379 pages) |
Disciplina | 005.10685 |
Collana | Lecture Notes in Computer Science Series |
Soggetto topico |
Computer software - Quality control
Requirements engineering |
ISBN |
9783031297861
9783031297854 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Requirements Communication and Conceptualization -- Requirements Engineering Issues Experienced by Software Practitioners: A Study on Stack Exchange -- An Empirical Study of the Intuitive Understanding of a Formal Pattern Language -- Supporting Shared Understanding in Asynchronous Communication Contexts -- Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution -- Understanding the Role of Human-Related Factors in Security Requirements Elicitation -- Scope Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements -- NLP and Machine Learning for AI Using Language Models for Enhancing the Completeness of Natural-language Requirements -- Requirement or not, that is the question: A case from the railway industry 97 -- Summarization of Elicitation Conversations to Locate Requirements Relevant Information -- Ontology-based Automatic Reasoning and NLP for Tracing Software Requirements into Models with the OntoTrace Tool -- Requirements classi cation using fastText and BETO in Spanish documents -- RE for Artificial Intelligence -- Exploring Requirements for Software that Learns: A Research Preview -- Requirements Engineering for Automotive Perception Systems: an Interview Study -- An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications -- A Requirements Engineering Perspective to AI-based Systems Development: A Vision Paper -- Out-of-Distribution detection as Support for Autonomous Driving Safety Lifecycle -- Crowd RE -- Automatically Classifying Kano Model Factors in App Reviews -- Data-driven Persona Creation, Validation, and Evolution -- Towards a Cross-Country Analysis of Software-related Tweets -- Integrating Implicit Feedback into Crowd Requirements Engineering - a Research Preview -- RE in Practice -- Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft -- Knowns and Unknowns: An Experience Report on Discovering Tacit Knowledge of Maritime Surveyors -- Feel It, Code It: Emotional Goal Modelling for Inclusive Design -- A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report -- Eliciting Security Requirements - an Experience Report. |
Record Nr. | UNISA-996525672103316 |
Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Requirements Engineering : Foundation for Software Quality / / Alessio Ferrari and Birgit Penzenstadler, editors |
Edizione | [First edition.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
Descrizione fisica | 1 online resource (379 pages) |
Disciplina | 005.10685 |
Collana | Lecture Notes in Computer Science Series |
Soggetto topico |
Computer software - Quality control
Requirements engineering |
ISBN |
9783031297861
9783031297854 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Requirements Communication and Conceptualization -- Requirements Engineering Issues Experienced by Software Practitioners: A Study on Stack Exchange -- An Empirical Study of the Intuitive Understanding of a Formal Pattern Language -- Supporting Shared Understanding in Asynchronous Communication Contexts -- Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution -- Understanding the Role of Human-Related Factors in Security Requirements Elicitation -- Scope Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements -- NLP and Machine Learning for AI Using Language Models for Enhancing the Completeness of Natural-language Requirements -- Requirement or not, that is the question: A case from the railway industry 97 -- Summarization of Elicitation Conversations to Locate Requirements Relevant Information -- Ontology-based Automatic Reasoning and NLP for Tracing Software Requirements into Models with the OntoTrace Tool -- Requirements classi cation using fastText and BETO in Spanish documents -- RE for Artificial Intelligence -- Exploring Requirements for Software that Learns: A Research Preview -- Requirements Engineering for Automotive Perception Systems: an Interview Study -- An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications -- A Requirements Engineering Perspective to AI-based Systems Development: A Vision Paper -- Out-of-Distribution detection as Support for Autonomous Driving Safety Lifecycle -- Crowd RE -- Automatically Classifying Kano Model Factors in App Reviews -- Data-driven Persona Creation, Validation, and Evolution -- Towards a Cross-Country Analysis of Software-related Tweets -- Integrating Implicit Feedback into Crowd Requirements Engineering - a Research Preview -- RE in Practice -- Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft -- Knowns and Unknowns: An Experience Report on Discovering Tacit Knowledge of Maritime Surveyors -- Feel It, Code It: Emotional Goal Modelling for Inclusive Design -- A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report -- Eliciting Security Requirements - an Experience Report. |
Record Nr. | UNINA-9910686779403321 |
Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Requirements Engineering: Foundation for Software Quality [[electronic resource] ] : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings / / edited by Nazim Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XV, 308 p. 85 illus., 48 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Artificial intelligence Application software User interfaces (Computer systems) Computer organization Software Engineering Artificial Intelligence Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computer Systems Organization and Communication Networks |
ISBN | 3-030-44429-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Requirements Specification -- How do Quantifiers Affect the Quality of Requirements? -- Generation of Formal Requirements from Structured Natural Language -- Using Eye Tracking Data to Improve Requirements Specification Use -- Requirements Documentation -- Hearing the Voice of Software Practitioners on Causes, Effects, and Practices to Deal with Documentation Debt -- Innovation Workshop Documentation for Following Software Engineering Activities -- Industrial Practices on Requirements Reuse: An Interview-based Study -- Privacy and Legal Requirements -- Disambiguating Requirements through Syntax-Driven Semantic Analysis of Information Types -- On Understanding How Developers Perceive and Interpret Privacy Requirements Research Preview -- A Methodology for Implementing the Formal Legal-GRL Framework: A Research Preview -- Stakeholders Feedback and Training -- Towards Integrating Data-Driven Requirements Engineering into the Software Development Process: A Vision Paper -- Identifying and Classifying User Requirements in Online Feedback via Crowdsourcing -- Designing a Virtual Client for Requirements Elicitation Interviews -- Agile Methods and Requirements Comprehension -- Explicit Alignment of Requirements and Architecture in Agile Development -- Applying Distributed Cognition Theory to Agile Requirements Engineering -- Automatic Word Embeddings-Based Glossary Term Extraction from Large-Sized Software Requirement -- Requirements Modelling -- Conceptualizing Requirements Using User Stories and Use Cases: A Controlled Experiment -- A Semi-Automated Approach to Generate an Adaptive Quality Attribute Relationship Matrix -- Evaluating the Effects of Different Requirements Representations on Writing Test Case -- Requirements Visualization -- Vision Meets Visualization: Are Animated Videos an Alternative? -- Requirements Assessment in Smart City Districts: A Motivation Concept for Citizens -- Visualizing Feature-Level Evolution in Product Lines: A Research Preview. |
Record Nr. | UNISA-996418222503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Requirements Engineering: Foundation for Software Quality : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings / / edited by Nazim Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XV, 308 p. 85 illus., 48 illus. in color.) |
Disciplina |
005.1
005.12 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Artificial intelligence Application software User interfaces (Computer systems) Computer organization Software Engineering Artificial Intelligence Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computer Systems Organization and Communication Networks |
ISBN | 3-030-44429-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Requirements Specification -- How do Quantifiers Affect the Quality of Requirements? -- Generation of Formal Requirements from Structured Natural Language -- Using Eye Tracking Data to Improve Requirements Specification Use -- Requirements Documentation -- Hearing the Voice of Software Practitioners on Causes, Effects, and Practices to Deal with Documentation Debt -- Innovation Workshop Documentation for Following Software Engineering Activities -- Industrial Practices on Requirements Reuse: An Interview-based Study -- Privacy and Legal Requirements -- Disambiguating Requirements through Syntax-Driven Semantic Analysis of Information Types -- On Understanding How Developers Perceive and Interpret Privacy Requirements Research Preview -- A Methodology for Implementing the Formal Legal-GRL Framework: A Research Preview -- Stakeholders Feedback and Training -- Towards Integrating Data-Driven Requirements Engineering into the Software Development Process: A Vision Paper -- Identifying and Classifying User Requirements in Online Feedback via Crowdsourcing -- Designing a Virtual Client for Requirements Elicitation Interviews -- Agile Methods and Requirements Comprehension -- Explicit Alignment of Requirements and Architecture in Agile Development -- Applying Distributed Cognition Theory to Agile Requirements Engineering -- Automatic Word Embeddings-Based Glossary Term Extraction from Large-Sized Software Requirement -- Requirements Modelling -- Conceptualizing Requirements Using User Stories and Use Cases: A Controlled Experiment -- A Semi-Automated Approach to Generate an Adaptive Quality Attribute Relationship Matrix -- Evaluating the Effects of Different Requirements Representations on Writing Test Case -- Requirements Visualization -- Vision Meets Visualization: Are Animated Videos an Alternative? -- Requirements Assessment in Smart City Districts: A Motivation Concept for Citizens -- Visualizing Feature-Level Evolution in Product Lines: A Research Preview. |
Record Nr. | UNINA-9910409679003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|