Testing Software and Systems [[electronic resource] ] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings / / edited by Brian Nielsen, Carsten Weise

• Record Nr.: UNISA996466316303316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
• ISBN: 3-642-34691-X
• Edizione: [1st ed. 2012.]
• Descrizione fisica: 1 online resource (X, 263 p. 97 illus.)
• Collana: Programming and Software Engineering ; ; 7641
• Disciplina: 005.14
• Soggetti: Software engineering; Computer communication systems; Programming languages (Electronic computers); Special purpose computers; Computer logic; Management information systems; Computer science; Software Engineering; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Special Purpose and Application-Based Systems; Logics and Meanings of Programs; Management of Computing and Information Systems
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Requirements-Driven Log Analysis -- Active Learning of Extended Finite State Machines -- Testing in Practice -- Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools -- Managing Execution Environment Variability during Software Testing:mAn Industrial Experience -- A Technique for Agile and Automatic Interaction Testing for Product Lines -- CaPTIF: Comprehensive Performance TestIng Framework -- Test Frameworks for Distributed Systems Towards a TTCN-3 Test System for Runtime Testing of ; Adaptable and Distributed Systems -- Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol -- Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.-Testing of Embedded Systems Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing -- Querying Parametric Temporal Logic Properties on Embedded Systems -- State Estimation and Property-Guided Exploration for Hybrid Systems Testing -- Test Optimization -- Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes -- Using Behaviour Inference to Optimise Regression Test Sets -- New Testing Methods -- Machine Learning Approach in Mutation Testing -- Lightweight Automatic Error Detection by Monitoring Collar Variables -- Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution -- Parameterized GUI Tests.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.

Explorations in the History and Heritage of Machines and Mechanisms : 7th International Symposium on History of Machines and Mechanisms (HMM) / / edited by Marco Ceccarelli, Rafael López-García

• Record Nr.: UNINA9910768476503321
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
• ISBN: 3-030-98499-0
• Edizione: [1st ed. 2022.]
• Descrizione fisica: 1 online resource (502 pages)
• Collana: History of Mechanism and Machine Science, , 1875-3426 ; ; 40
• Disciplina: 670.427; 621
• Soggetti: Machinery; Technology; History; Science - Study and teaching; Mechanics, Applied; Machinery and Machine Elements; History of Technology; Science Education; Engineering Mechanics
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Intro -- Preface -- Organization -- Organizing Committee -- Scientific Committee -- Contents -- Past PC Distinguished Figures and People -- In Memory of Past PC Members -- 1 Prof Carlos López-Cajún (1948-2020) -- 2 Stefanos A. Paipetis (1938-2020) -- 3 J. S. Rao (1939-2020) -- 4 Prof Alberto Rovetta (1940-2020) -- Recent Advances and Challenges in the IFToMM PC for History of MMS -- 1 Introduction -- 2 A Short Outline of the History of the PC -- 3 Recent Advances -- 4 The Future of the PC -- 5 Conclusions -- Appendix -- References -- Contribution of Professor Veniamin Goldfarb to Promotion of Gearing Science and International Cooperation -- 1 Biographical Notes -- 2 All-Russian and International Activities -- 2.1 USSR and All-Russian Conferences and Joint Projects on Gears -- 2.2 International ; Cooperation and Membership in International Organizations and Committees -- 2.3 Publication and Editor's Activity -- 2.4 Initiating International Student Olympiads on MMS -- 2.5 IFToMM Membership and Initiatives -- 3 Conclusion -- References -- An Historical Review and Upload of Juanelo Turriano's Mechanism in Toledo -- 1 Introduction -- 2 Background and Its Context -- 2.1 The Need of Water -- 2.2 Juanelo's Mechanism -- 2.3 Further Mechanisms After Juanelo's -- 3 Mechanism Update -- 4 Conclusions -- References -- The Contribution of Huseyin Vasfi Efendi from Plovdiv to Ottoman Technological Literature -- 1 Introduction -- 2 History of Mankind's Production, Inventions and Discoveries -- 3 Conclusion -- References -- The Robert H Thurston Materials Testing Laboratory Collection at Cornell University -- 1 Introduction -- 2 Work Hardening of Metals -- 3 Invention of a Lubrication Testing Machine -- 4 Contribution to Engineering Education -- 5 National and International Statesman for Mechanical Engineering -- 6 The Uniqueness of the Collection -- References.; Modern Reviews of Past Works -- Additive Technologies for Restoration of Kinematic Mechanism Models -- 1 Introduction -- 1.1 A Brief History of BMSTU Mechanism Collection -- 1.2 Application Prospects of Mechanism Models Collection -- 2 Aim and Research Objectives -- 2.1 Aim -- 2.2 Research Objectives -- 3 Restoration and Technical Renovation of Kinematic Mechanism Models -- 4 What is RP-Technology? -- 5 Additive Technologies While Preserving Mechanism Models -- 6 Example of a Restored Model -- 6.1 Restoration of a Harmonic Mechanism Model -- 6.2 Restoration Methodology for a Broken Part -- 6.3 Installation and Test Run Methodology -- 6.4 Restored Harmonic Mechanism Model -- 7 Conclusions -- References -- 3D Reconstruction of Two Medieval Artifacts by the Engineer Al-Murādī -- 1 Introduction -- 1.1 Written Transmission of Knowledge in Ancient Times -- 1.2 Science and Technology in the Medieval Arab World -- 1.3 The Book of Secrets -- 2 Description and Digital Modelling -- 2.1 Fortress Demolisher -- 2.2 Magic Well -- 3 Physical Reconstruction -- 3.1 3D Printing -- 3.2 Materials and Printing Set up -- 3.3 Assembly and Real Scale Reproduction -- 4 Conclusions -- References -- Reconstruction Designs of the Automata in the Ancient Korean Water Clock "Heumgyeonggaknu" -- 1 Introduction -- 2 Design Procedure -- 3 Design Example -- 4 Computer-Aided Modeling and Prototype Testing -- 5 Conclusions -- References -- Analysis of Mechanisms 2 and 21, Included in Ibn Khalaf Al-Muradi's "The Book of Secrets" -- 1 Introduction -- 2 The 2ndFigure -- 3 The 21thFigure -- 4 Geometric Modeling -- 4.1 Figure 2nd -- 4.2 Figure 21th -- 5 Technological Analysis -- 5.1 Static Analysis -- 5.2 Fatigue Analysis -- 5.3 Kinematic Analysis -- 5.4 Impact Analysis -- 6 Real Scale Reconstruction -- 7 Conclusions -- References.; Analysis of the Codex Madrid I as a Compendium of Mechanisms -- 1 Introduction -- 2 Codex Madrid I -- 3 Historical Scope -- 4 The Mechanisms of Codex Madrid I -- 5 Conclusions -- References -- Ctesibius, Vitruvius and Leonardo: A Digital Reconstruction of the Water Clockwork Timeline -- 1 Introduction -- 2 Water Clocks in Antiquity -- 3 Leonardo's Bell Ringer -- 4 Digital Mock-Up -- 4.1 Hours Basin and Water Supply System -- 4.2 Float Release Mechanism -- 4.3 Central Column (Valve/Actuator) -- 5 Digital Technologies for Cultural Heritage Experience -- 6 LeonARdo: An AR App for Leonardo's Machines -- 7 Conclusions -- References -- History of the Design of Machinesand Mechanisms -- The Hoist of the Aerial Rigging of the Mystery of Elche -- 1 Introduction -- 2 The Aerial Rigging -- 3 The Hoist of the Aerial Rigging -- 3.1 The Pillars -- 3.2 The Ropes -- ; 3.3 The Pulleys -- 3.4 The Winches -- 4 Conclusions -- References -- "El Araceli" Non-destructive Test from the "Misterio de Elche" Play -- 1 Introduction -- 1.1 The Aerial Rigging -- 1.2 Manoeuvres in the Upper Rigging -- 2 "El Araceli" -- 2.1 Structure of "El Araceli" -- 2.2 Restoration of "El Araceli" in 2010 -- 3 "El Araceli" Test -- 3.1 Justification of the Test and Types of Load Applied -- 3.2 Test Procedure and Measurement on Control Points -- 4 Results -- 5 Conclusions -- 6 Future Work -- References -- Ports Design and Construction Machinery Through 19thCentury Atlases -- 1 Introduction -- 2 Description of the Machines and Their Graphic Representation Through Atlas Volumes -- 2.1 Machines to Measure Wave Physic Characteristics and Weather Extreme Conditions -- 2.2 Machines Used During Ports and Harbours Construction -- 2.3 Machines Used During Ports and Harbours Routine Operations -- 3 Conclusions -- References.; Power and Performance the Water Lifting Machines Used in Ancient Mining in the Southwest of the Iberian Peninsula -- 1 Introduction -- 2 Materials and Methods -- 2.1 Archimedes' Screw -- 2.2 Water Wheels (Rotate Aquae) -- 2.3 Bucket Pulley -- 2.4 Ctesibius' Pump -- 3 Results and Discussion -- 4 Conclusions -- References -- Mine Drainage and Steam Engine -- 1 The Work of Drainage in the Mines -- 2 The Steam and the Movement -- 3 The First Steam Engines -- 4 Designs from the Late 17th Century -- 5 The Atmospheric Steam Machine -- 6 The Simple Effect Steam Engine -- 7 The Double Effect Steam Engine -- 8 The High-Pressure Steam Engine -- 9 The Steam Engine Composed of Half Pressure -- 10 Conclusions -- References -- History of Belt Conveyors Until the End of the 19thCentury -- 1 Introduction -- 2 Earliest Examples of Conveyors Since Ancient Times -- 3 Early History of Belt Conveyors -- 4 Conclusions -- References -- Historic Development of Theoriesand Teaching -- A Short Comparative Historiography of Science &amp -- Technology of Mechanics into Engineering-and-Architecture Literatures During the Renaissance -- 1 Singer on Science and Technology -- 2 Briggs, Derry and Williams on Architecture -- 3 Concluding Remarks: The Role of Machines/Mechanics into Engineering/Architecture Designs During the Renaissance -- References -- Historical Details of Coulomb's Torsional Forces in Metal Wires -- 1 Introduction -- 2 Coulomb's Mathematical Model -- 3 Coulomb's Physical Model -- 4 Variation of Torsion Force According to Length of Wire -- 5 Variation of the Torsion Force Using Different Metals -- 6 Balance for Calculating Friction Between Fluids and Solids -- 7 Elastic Force While Twisting the Wire -- 8 Concluding Remarks -- References -- Revisiting Inflection Circle via Level Luffing Crane for Academic Revival -- 1 Introduction -- 2 Level Luffing Crane.; 2.1 Construction and Working -- 2.2 Approximate Nature of the Path -- 3 Inflection Circle -- 3.1 Description -- 3.2 Methods to Draw the ICs -- 3.3 Ball's Point on the ICs -- 4 Syntheses with Inflection Circle -- 5 Observations and Conclusion -- 6 Discussions -- References -- Developing a Virtual Museum of the Escuela Técnica Superior de Ingenieros Industriales of Madrid -- 1 Introduction -- 1.1 Historical-mining Museum Don Felipe de Borbón y Grecia -- 1.2 Museum "Joaquín Serna" -- 1.3 Polytechnic Digital Collection -- 2 Virtual Museums -- 3 Methodology -- 3.1 Virtual Tour -- 4 Creation of the Website -- 4.1 3D Reconstruction of Parts Through Photogrammetry -- 5 Conclusions -- References -- Kinematic Modelling in Greek Astronomy: The Design of Heavenly Mechanisms -- 1 Geometrical Modeling in Greek Astronomy -- 2 The Model in Plato's Timaeus -- 3 Eudoxus' Models -- 4 Apollonius' Epicycle Model -- 5 Hipparchus' Theory of the Motion ; of the Sun (About 150 BCE) -- 6 Ptolemy's Contributions -- 7 Ptolemy's Contributions Continued -- 8 Conclusion -- References -- Representation, Encoding and Geometryof Machines and Mechanisms -- The Contribution of Jesuit Johann Schreck to Development of Chinese Scientific Culture in 17th Century -- 1 Society of Jesus -- 2 Johann Schreck Biographical Notes -- 3 Conversion of European Scientific Knowledge into Chinese by Jesuit in XVIIth Century -- 4 "Qiqi Tushuo" -- 5 Conclusions -- References -- Drawing the Vibrations of Sound -- 1 Introduction -- 2 The Harmonograph -- 3 Tisley's Harmonograph and Lissajous Curves -- 4 Conclusions -- References -- Nomograms: An Old Tool with New Applications -- 1 Introduction -- 2 Nomograms in History of Machines and Mechanisms -- 2.1 Invention and Diffusion: 1800-1960 -- 2.2 Decline: 1960-1990 -- 2.3 Resurgence? 1990-Today -- 3 Nomograms: Methods and Applications.; 3.1 Modern Nomographic Tools: PyNomo.
• Sommario/riassunto: This book gathers the latest advances in the field of history of science and technology, as presented by leading international researchers at the 7th International Symposium on History of Machines and Mechanisms (HMM), held in Granada and Jaén, Spain on April 28-30, 2022. The Symposium, which was promoted by the permanent commission for the History of Machine and Mechanism Science (MMS) of IFToMM, provided an international forum to present and discuss historical developments in the field of MMS. The contents cover all aspects of the development of MMS from antiquity until the present era and its historiography: modern reviews of past works, engineers in history and their works, the development of theories, history of the design of machines and mechanisms, historical developments of mechanical design and automation, historical developments of teaching, the history of schools of engineering, the education of engineers. The contributions, which were selected by means of a rigorous international peer-review process, highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations.