{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":57,"n_cols":5,"rows_kept":57,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[4,2,4,3],[11,2,11,3],[12,2,12,3],[13,2,13,3],[14,2,14,3],[18,2,18,3],[19,2,19,3],[22,2,22,3],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[49,2,49,3],[50,2,50,3],[54,2,54,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910146058003321"]
[null,null,"Titolo",null,"Methods for testing and evaluating survey questionnaires / / edited by Stanley Presser, Jennifer M. Rothgeb, Mick P. Couper, Judith T. Lessler, Elizabeth Martin, Jean Martin, Eleanor Singer"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, New Jersey : , : Wiley-Interscience a John Wiley & Sons, Inc. publication, , [2004]"]
[{"$nulls":4},"©2004"]
[null,null,"ISBN",null,"9780471654728"]
[{"$nulls":4},"0471654728"]
[{"$nulls":4},"9781280541988"]
[{"$nulls":4},"1280541989"]
[{"$nulls":4},"9780471654735"]
[{"$nulls":4},"0471654736"]
[{"$nulls":4},"9780471458418"]
[null,null,"Descrizione fisica",null,"1 online resource (xvi, 606 pages) : illustrations"]
[null,null,"Collana",null,"Wiley series in survey methodology"]
[null,null,"Disciplina",null,"300/.72/3"]
[null,null,"Soggetti",null,"Social surveys - Methodology"]
[{"$nulls":4},"Questionnaires - Methodology"]
[{"$nulls":4},"Social sciences - Research - Methodology"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"1. Methods for testing and evaluating survey questions / Stanley Presser, Mick P. Couper, Judith T. Lessler, Elizabeth Martin, Jean Martin, Jennifer M. Rothgeb, and Eleanor Singer -- 2. Cognitive interviewing revisited : a useful technique, in theory? / Gordon B. Willis -- 3. The dynamics of cognitive interviewing / Paul Beatty -- 4. Data quality in cognitive interviews : the case of verbal reports / Frederick G. Conrad and Johnny Blair -- 5. Do different cognitive interview techniques produce different results? / Theresa J. DeMaio and Ashley Landreth -- 6. Evaluating survey questions by analyzing patterns of behavior codes and question-answer sequences : a diagnostic approach / Johannes van der Zouwen and Johannes H. Smit -- 7. Response latency and (para)linguistic expressions as indicators of response error / Stasja Draisma and Wil Dijkstra -- 8. Vignettes and respondent debriefing for "]
[{"$nulls":4},"questionnaire design and evaluation / Elizabeth Martin -- 9. The case for more split-sample experiments in developing survey instruments / Floyd Jackson Fowler, Jr. --"]
[{"$nulls":4},"10. Using field experiments to improve instrument design : the SIPP methods panel project / Jeffrey Moore, Joanne Pascale, Pat Doyle, Anna Chan, and Julia Klein Griffiths -- 11. Experimental design considerations for testing and evaluating questionnaires / Roger Tourangeau -- 12. Modeling measurement error to identify flawed questions / Paul Biemer -- 13. Item response theory modeling for questionnaire evaluation / Bryce B. Reeve and Louise C. Mâsse -- 14. Development and improvement of questionnaires using predictions of reliability and validity / Willem E. Saris, William van der Veld, and Irmtraud Gallhofer -- 15. Testing paper self-administered questionnaires : cognitive interview and field test comparisons / Don A. Dillman and Cleo D. Redline -- 16. Methods for testing and evaluating computer-assisted questionnaire / John Tarnai and Danna L. Moore --"]
[{"$nulls":4},"17. Usability testing to evaluate computer-assisted instruments / Sue Ellen Hansen and Mick P. Couper -- 18. Development and testing of web questionnaires / Reginald P. Baker, Scott Crawford, and Janice Swinehart -- 19. Evolution and adaptation of questionnaire development, evaluation, and testing methods for establishment surveys / Diane K. Willimack, Lars Lyberg, Jean Martin, Lilli Japec, and Patricia Whitridge -- 20. Pretesting questionnaires for children and adolescents / Edith de Leeuw, Natacha Borgers, and Astrid Smits -- 21. Developing and evaluating cross-national survey instruments / Tom W. Smith -- 22. Survey questionnaire translation and assessment / Janet Harkness, Beth-Ellen Pennell, and Alisú Schoua-Glusberg -- 23. A multiple-method approach to improving the clarity of closely related concepts : distinguishing legal and physical custody of children / Nora Cate Schaeffer and Jennifer Dykema --"]
[{"$nulls":4},"24. Multiple methods for developing and evaluating a stated-choice questionnaire to value wetlands / Michael D. Kaplowitz, Frank Lupi, and John P. Hoehn -- 25. Does pretesting make a difference? An experimental test / Barbara Forsyth, Jennifer M. Rothgeb, and Gordon B. Willis."]
[null,null,null,"Sommario/riassunto","The definitive resource for survey questionnaire testing and evaluation Over the past two decades, methods for the development, evaluation, and testing of survey questionnaires have undergone radical change. Research has now begun to identify the strengths and weaknesses of various testing and evaluation methods, as well as to estimate the methods' reliability and validity. Expanding and adding to the research presented at the International Conference on Questionnaire Development, Evaluation and Testing Methods, this title presents the most up-to-date knowledge in this burgeoning field.The only book dedicated to the evaluation and testing of survey questionnaires, this practical reference work brings together the expertise of over fifty leading, international researchers from a broad range of fields. The volume is divided into seven sections: *Cognitive interviews *Mode of administration *Supplements to conventional pretests *Special populations *Experiments *Multi-method applications *Statistical modeling.Comprehensive and carefully edited, this groundbreaking text offers researchers a solid foundation in the latest developments in testing and evaluating survey questionnaires, as well as a thorough introduction to emerging techniques and technologies."]
[null,"2.","Record Nr.",null,"UNISA996465668603316"]
[null,null,"Titolo",null,"Formal Methods and Software Engineering [[electronic resource] ] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings / / edited by Toshiaki Aoki, Kenji Taguchi"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012"]
[null,null,"ISBN",null,"3-642-34281-7"]
[null,null,"Edizione",null,"[1st ed. 2012.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 512 p. 131 illus.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 7635"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Computer communication systems"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Conference proceedings."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods in the Aerospace Industry: Follow the Money -- Applying Term Rewriting to Speech Recognition of Numbers -- Variable Permissions for Concurrency Verification -- A Concurrent Temporal Programming Model with Atomic Blocks -- A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs -- Towards a Formal Verification Methodology for Collective Robotic Systems -- Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS -- Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic "]
[{"$nulls":4},"-- Quantitative Program Dependence Graphs -- Quantitative Analysis of Information Flow Using Theorem Proving -- Modeling and Verification of Probabilistic Actor Systems Using pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste of Separation Logic in First-Order Logic -- The Confinement Problem in the Presence of Faults -- Verification of ATL Transformations Using Transformation Models and Model Finders -- Automatic Generation of Provably Correct Embedded Systems -- Complementary Methodologies for Developing Hybrid Systems with Event-B -- A Temporal Logic with Mean-Payoff Constraints -- Time Constraints with Temporal Logic Programming -- Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System -- Equational Abstraction Refinement for Certified Tree Regular Model Checking -- SMT-Based False Positive Elimination in Static Program Analysis -- Predicate Analysis with Block-Abstraction Memoization -- Heuristic-Guided Abstraction Refinement for Concurrent Systems -- More Anti-chain Based Refinement Checking -- An Analytical and Experimental Comparison of CSP Extensions and Tools -- Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization -- Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers -- State Space c-Reductions of Concurrent Systems in Rewriting Logic -- A Practical Loop Invariant Generation Approach Based on Random Testing, Constraint Solving and Verification -- ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications -- Demonic Testing of Concurrent Programs -- Towards Certified Runtime Verification."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification."]