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.
Correlating Sensory Objective Measurements: New Methods for Answering Old Problems
| Correlating Sensory Objective Measurements: New Methods for Answering Old Problems |
| Autore | Powers J. J |
| Pubbl/distr/stampa | [Place of publication not identified], : American Society for Testing & Materials, 1985 |
| Descrizione fisica | 1 online resource (134 pages) : illustrations |
| Disciplina | 604.2028 |
| Soggetto topico |
Computer programs
Sensory evaluation |
| ISBN | 0-8031-4671-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910164736503321 |
Powers J. J
|
||
| [Place of publication not identified], : American Society for Testing & Materials, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 1028-1997 : IEEE Standard for Software Reviews / / Institute of Electrical and Electronics Engineers (IEEE)
| IEEE Std 1028-1997 : IEEE Standard for Software Reviews / / Institute of Electrical and Electronics Engineers (IEEE) |
| Pubbl/distr/stampa | New York : , : Institute of Electrical and Electronics Engineers (IEEE), , 1998 |
| Descrizione fisica | 1 online resource (viii, 37 pages) |
| Disciplina | 604.2028 |
| Soggetto topico |
Computer programs
Quality assurance Standards, Engineering |
| ISBN |
1-5044-5710-2
0-7381-0404-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | IEEE Std 1028-1997 |
| Record Nr. | UNISA-996280506303316 |
| New York : , : Institute of Electrical and Electronics Engineers (IEEE), , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
IEEE Std 1028-1997 : IEEE Standard for Software Reviews / / Institute of Electrical and Electronics Engineers (IEEE)
| IEEE Std 1028-1997 : IEEE Standard for Software Reviews / / Institute of Electrical and Electronics Engineers (IEEE) |
| Pubbl/distr/stampa | New York : , : Institute of Electrical and Electronics Engineers (IEEE), , 1998 |
| Descrizione fisica | 1 online resource (viii, 37 pages) |
| Disciplina | 604.2028 |
| Soggetto topico |
Computer programs
Quality assurance Standards, Engineering |
| ISBN |
1-5044-5710-2
0-7381-0404-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | IEEE Std 1028-1997 |
| Record Nr. | UNINA-9910147106703321 |
| New York : , : Institute of Electrical and Electronics Engineers (IEEE), , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ISO/IEC/IEEE 29119-4:2015 . Part 4 Test techniques : ISO/IEC/IEEE International Standard for Software and systems engineering--Software testing / / Institute of Electrical and Electronics Engineers
| ISO/IEC/IEEE 29119-4:2015 . Part 4 Test techniques : ISO/IEC/IEEE International Standard for Software and systems engineering--Software testing / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Geneva, Switzerland : , : IEEE, , 2015 |
| Descrizione fisica | 1 online resource (viii, 127 pages) : illustrations |
| Disciplina | 604.2028 |
| Soggetto topico | Computer programs |
| ISBN | 0-7381-9840-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910135461303321 |
| Geneva, Switzerland : , : IEEE, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ISO/IEC/IEEE 29119-4:2015 . Part 4 Test techniques : ISO/IEC/IEEE International Standard for Software and systems engineering--Software testing / / Institute of Electrical and Electronics Engineers
| ISO/IEC/IEEE 29119-4:2015 . Part 4 Test techniques : ISO/IEC/IEEE International Standard for Software and systems engineering--Software testing / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Geneva, Switzerland : , : IEEE, , 2015 |
| Descrizione fisica | 1 online resource (viii, 127 pages) : illustrations |
| Disciplina | 604.2028 |
| Soggetto topico | Computer programs |
| ISBN | 0-7381-9840-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280990203316 |
| Geneva, Switzerland : , : IEEE, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / / Oleg Sokolsky, Serdar Taşiran (editors)
| Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / / Oleg Sokolsky, Serdar Taşiran (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (VIII, 218 p.) |
| Disciplina | 604.2028 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer programs |
| ISBN | 3-540-77395-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- PSL for Runtime Verification: Theory and Practice -- AOP-Related Papers -- On the Semantics of Matching Trace Monitoring Patterns -- Collaborative Runtime Verification with Tracematches -- Static and Dynamic Detection of Behavioral Conflicts Between Aspects -- Escaping with Future Variables in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification -- ARVE: Aspect-Oriented Runtime Verification Environment -- Core Runtime Verification Papers -- From Runtime Verification to Evolvable Systems -- Rule Systems for Run-Time Monitoring: From Eagle to RuleR -- The Good, the Bad, and the Ugly, But How Ugly Is Ugly? -- Translation Validation of System Abstractions -- Instrumentation of Open-Source Software for Intrusion Detection -- Statistical Runtime Checking of Probabilistic Properties -- Temporal Assertions with Parametrised Propositions -- Rollback Atomicity -- Runtime Checking for Program Verification. |
| Record Nr. | UNINA-9910484840603321 |
| Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / / Oleg Sokolsky, Serdar Taşiran (editors)
| Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / / Oleg Sokolsky, Serdar Taşiran (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (VIII, 218 p.) |
| Disciplina | 604.2028 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer programs |
| ISBN | 3-540-77395-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- PSL for Runtime Verification: Theory and Practice -- AOP-Related Papers -- On the Semantics of Matching Trace Monitoring Patterns -- Collaborative Runtime Verification with Tracematches -- Static and Dynamic Detection of Behavioral Conflicts Between Aspects -- Escaping with Future Variables in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification -- ARVE: Aspect-Oriented Runtime Verification Environment -- Core Runtime Verification Papers -- From Runtime Verification to Evolvable Systems -- Rule Systems for Run-Time Monitoring: From Eagle to RuleR -- The Good, the Bad, and the Ugly, But How Ugly Is Ugly? -- Translation Validation of System Abstractions -- Instrumentation of Open-Source Software for Intrusion Detection -- Statistical Runtime Checking of Probabilistic Properties -- Temporal Assertions with Parametrised Propositions -- Rollback Atomicity -- Runtime Checking for Program Verification. |
| Record Nr. | UNISA-996466240503316 |
| Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||