Search Results - D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods

1

Full Issue Download Vol. 13 No. 1 2021 The Importance of the Measurement Infrastructure in Economic Recovery from the COVID-19 Pandemic Richard J. C. Brown , Fiona Auty, Eugenio Renedo, Mike King NCSLI Measure | Vol. 13 No. 1 (2021) | doi.org/10.51843/measure.13.1.1 Publisher NCSL International | Published February 2021 | Pages 18-21 Abstract: This paper describes the many, evidenced-based benefits to the economy of a well-developed measurement infrastructure. In particular, it explains how assuring confidence in measurement may be used to accelerate economic recovery from the COVID-19 pandemic including in emerging sectors such as the digital economy. Recommendations are made for providing near term support for national economic recovery whilst also demonstrating the advantages of sustained development of the measurement infrastructure in the medium-term to maximize the potential of future innovative and disruptive technologies. These recommendations, whilst focused on consideration of the UK, should apply globally. References: [1] G. Tassey, 'Underinvestment in public good technologies,' J Technol. Transfer, Vol. 30, pp. 89-113, 2004. https://doi.org/10.1007/s10961-004-4360-0 [2] M. King, and E. Renedo, 'Achieving the 2.4% GDP target: The role of measurement in increasing investment in R&D and innovation,' NPL Report IEA 3, NPL, Teddington, UK, March 2020. [3] M. King and G. Tellett, 'The National Measurement System: A Customer Survey for Three of the Core Labs in the National Measurement System,' NMS Customer Survey Report 2018, NPL Teddington, UK, April 2020 [4] H. Kunzmann, T. Pfeifer, R. Schmitt, H. Schwenke, and A.Weckenmann, 'Productive metrology-adding value to manufacture,' CIRP Annals, vol. 54, pp. 155-168, 2005. https://doi.org/10.1016/S0007-8506(07)60024-9 [5] N. G. Orji, R. G. Dixson, A. Cordes, B. D. Bunday, and J. A. Allgair, 'Measurement traceability and quality assurance in a nanomanufacturing environment,' Instrumentation, Metrology, and Standards for Nanomanufacturing III, Proceedings Vol. 7405, 740505, August 2009. https://doi.org/10.1117/12.826606 [6] Belmana, Analysis for Policy 'Public Support for Innovation and Business Outcomes,' Belmana: London, UK, 2020. [7] R. Hawkins, Standards, systems of innovation and policy in Handbook of Innovation and Standards. Cheltenham, UK: Edward Elgar, 2019. [8] N. Nwaigbo, and M. King, 'Evaluating the Impact of the NMS Consultancy Projects on Supported Firms (Working Paper)' NPL, Teddington, UK, 2020. [9] M. King, R. Lambert, and P. Temple, Measurement, standards and productivity spillovers in Handbook of Innovation and Standards. Cheltenham, UK: Edward Elgar, 2017, p. 162. https://doi.org/10.4337/9781783470082.00016 [10] A. Font, K. de Hoogh, M. Leal-Sanchez, D. C. Ashworth, R. J. C. Brown, A. L. Hansell, and G. W. Fuller, 'Using metal ratios to detect emissions from municipal waste incinerators in ambient air pollution data,' Atmos. Environ., vol. 113, pp. 177-186, July 2015. https://doi.org/10.1016/j.atmosenv.2015.05.002 [11] S. Giannis, M. R. L. Gower, G. D. Sims, G. Pask, and G. Edwards, 'Increasing UK competitiveness by enhancing the composite materials regulatory infrastructure,' NPL Report MAT 90, NPL, Teddington, UK, October 2019. [12] HM Government, UK Research and Development Roadmap, BEIS, London, July 2020. [13] M. R. Mehra, S. S. Desai, F. Ruschitzka, and A. N. Patel, 'Hydroxychloroquine or chloroquine with or without a macrolide for treatment of COVID-19: a multinational registry analysis,' Lancet, 2020, https://doi.org/10.1016/S0140-6736(20)31180-6 (Print: ISSN 1931-5775) (Online: ISSN 2381-0580) ©2021 NCSL International Smart Power Supply Calibration System Iraj Vasaeli , Brandon Umansky NCSLI Measure | Vol. 13 No. 1 (2021) | doi.org/10.51843/measure.13.1.2 Publisher: NCSL International | Published February 2021 | Pages 22-27 Abstract: This paper details the development of an automated procedure to conduct calibrations of power supplies at Jet Propulsion Laboratory, California Institute of Technology (JPL). The fundamentals of power supply calibrations are given, and discussion on the method by which this custom software handles that calibration. Additionally, this technique provides real time uncertainty quantification of the calibrations. This automated system has demonstrated a time savings over existing automated techniques in use today. References: [1] Keysight, 'Low-Profile Modular Power System Series N6700 Service Guide', Part Number: 5969 2938, Edition 7, January 2015. [2] B. N. Taylor and C. E. Kuyatt, 'Guidelines for Evaluating and Expressing the Uncertainty of NIST Measurement Results', NIST Technical Note 1297, 1994. https://doi.org/10.6028/NIST.TN.1297 [3] JCGM, 'Evaluation of measurement data - Guide to the expression of uncertainty in measurement,' first edition (GUM 1995 with minor corrections),' JCGM 100, 2008. (Print: ISSN 1931-5775) (Online: ISSN 2381-0580) © 2021 NCSL International Computer Aided Verification of Voltage Dips and Short Interruption Generators for Electromagnetic Compatibility Immunity Test in Accordance with IEC 61000-4-11: 2004 + AMD: 2017 Hau Wah Lai , Cho Man Tsui , Hing Wah Li NCSLI Measure | Vol. 13 No. 1 (2021) | doi.org/10.51843/measure.13.1.3 Publisher: NCSL International | Published February 2021 | Pages 28-39 Abstract: This paper describes a procedure and a computer-aided system developed by the Standards and Calibration Laboratory (SCL) for verification of voltage dip and short interruption generators in accordance with the international standard IEC 61000-4-11:2004+AMD1:2017. The verification is done by calibrating the specified parameters and comparing with the requirements stated in the standard. The parameters that should be calibrated are the ratios of the residual voltages to the rated voltage, the accuracy of the phase angle at switching, and the rise time, fall time, overshoot and undershoot of the switching waveform. A specially built adapter is used to convert the high voltage output waveforms of the generators to lower level signals to be acquired by a digital oscilloscope. The other circuits required for the testing are also provided. In addition, the paper discusses the uncertainty evaluations for the measured parameters. References: [1] T. Williams, and K. Armstrong, 'EMC for Systems and Installations Part 6 - Low-Frequency Magnetics Fields (Emissions and Immunity) Mains Dips, Dropouts, Interruptions, Sags, Brownouts and Swells,' EMC Compliance Journal, August 2000. [2] M.I. Montrose, and E. M. Nakauchi, Testing for EMC Compliance: Approaches and Techniques, Wiley Interscience, 2004. https://doi.org/10.1002/047164465X [3] International Standard IEC 61000-4-11:2004+AMD1:2017:Electromagnetic Compatibility (EMC) Part 4-11: Testing and measurement techniques - Voltage dips, short interruptions and voltage variations immunity tests. [4] Evaluation of measurement data - Guide to the expression of uncertainty in measurement, First Edition JCGM 100:2008. (Print: ISSN 1931-5775) (Online: ISSN 2381-0580) © 2021 NCSL International Validation of the Photometric Method Used for Micropipette Calibration Elsa Batista , Isabel Godinho, George Rodrigues, Doreen Rumery NCSLI Measure | Vol. 13 No. 1 (2021) | doi.org/10.51843/measure.13.1.4 Publisher: NCSL International | Published February 2021 | Pages 40-45 Abstract: There are two methods generally used for calibration of micropipettes: the gravimetric method described in ISO 8655-6:2002 and the photometric method described in ISO 8655-7:2005. In order to validate the photometric method, several micropipettes of different capacities from 0.1 µL to 1000 µL were calibrated using both methods (gravimetric and photometric) in two different laboratories, IPQ (Portuguese Institute for Quality) and Artel. These tests were performed by six different operators. The uncertainty for both methods was determined and it was verified that the uncertainty component that has a higher contribution to the final uncertainty budget depends on the volume delivered. In the photometric method for small volumes, the repeatability of the pipette is the largest uncertainty component, but for volumes, larger than 100 µL, the photometric instrument is the most significant source of uncertainty. Based on all the results obtained with this study, one may consider the photometric method validated. References: [1] ISO 8655-1/2/6/7, Piston-operated volumetric apparatus, 2002. [2] BIPM, International Vocabulary of Metrology, 3rd edition, JCGM 200:2012. [3] George Rodrigues, Bias and transferability in standards methods of pipette calibration, Artel, June 2003. [4] Taylor, et.al. The definition of primary method of measurement (PMM) of the 'highest metrological quality': a challenge in understanding and communication, Accred. Qual.Assur (2001) 6:103-106. https://doi.org/10.1007/PL00010444 [5] EURAMET project 1353, Volume comparison on Calibration of micropipettes - Gravimetric and photometric methods. [6] ASTM E542: Standard Practice for Calibration of laboratory Volumetric Apparatus, 2000. [7] ISO 4787; Laboratory glassware - Volumetric glassware - Methods for use and testing of capacity, 2010 . [8] ISO 13528:2005 - Statistical methods used in proficiency testing by interlaboratory comparisons. [9] BIPM et al, Guide to the Expression of Uncertainty in Measurement (GUM), 2nd ed., International Organization for Standardization, Genève, 1995. [10] EURAMET guide, cg 19, - Guidelines on the determination of uncertainty in gravimetric volume calibration, version 3.0, 2012. [11] E. Batista et all, A Study of Factors that Influence Micropipette Calibrations, Measure Vol. 10 No. 1, 2015 https://doi.org/10.1080/19315775.2015.11721717 [12] www.BIPM.org. (Print: ISSN 1931-5775) (Online: ISSN 2381-0580) © 2021 NCSL International Material Flow Rate Estimation in Material Extrusion Additive Manufacturing G. P. Greeff NCSLI Measure | Vol. 13 No. 1 (2021) | doi.org/10.51843/measure.13.1.5 Publisher: NCSL International | Published February 2021 | Pages 46-56 Abstract: The additive manufacturing of products promises exciting possibilities. Measurement methodologies, which measure an in-process dataset of these products and interpret the results, are essential. However, before developing such a level of quality assurance several in-process measurands must be realized. One of these is the material flow rate, or rate of adding material during the additive manufacturing process. Yet, measuring this rate directly in material extrusion additive manufacturing presents challenges. This work presents two indirect methods to estimate the volumetric flow rate at the liquefier exit in material extrusion, specifically in Fused Deposition Modeling or Fused Filament Fabrication. The methods are cost effective and may be applied in future sensor integration. The first method is an optical filament feed rate and width measurement and the second is based on the liquefier pressure. Both are used to indirectly estimate the volumetric flow rate. The work also includes a description of linking the G-code command to the final print result, which may be used to create a per extrusion command model of the part. References: [1] T. Wohlers, I. Campbell, O. Diegel, J. Kowen, I. Fidan, and D.L. Bourell, 'Wohlers Report 2017: 3D Printing and Additive Manufacturing State of the Industry Annual Worldwide Progress Report,' 2017. [2] Additive manufacturing -- General principles -- Terminology. Geneva, CH: International Organization for Standardization, 2015. [3] R. Jones et al., 'Reprap - The replicating rapid prototyper,' Robotica, vol. 29, no. 1 SPEC. ISSUE, pp. 177-191, 2011, https://doi.org/10.1017/S026357471000069X [4] T. Wohlers and T. Gornet, 'History of Additive Manufacturing 2017,' 2017. [5] S. A. M. Tofail, E. P. Koumoulos, A. Bandyopadhyay, S. Bose, L. O'Donoghue, and C. Charitidis, 'Additive manufacturing: scientific and technological challenges, market uptake and opportunities, 'Materials Today, vol. 21, no. 1, pp. 22-37, Jan. 2018, https://doi.org/10.1016/j.mattod.2017.07.001 [6] G. Moroni and S. Petrò, 'Managing uncertainty in the new manufacturing era,' Procedia CIRP, vol. 75, pp. 1-2, 2018, https://doi.org/10.1016/j.procir.2018.07.001 [7] R. Leach et al., 'Information-rich manufacturing metrology,'in Eighth International Precision Assembly Seminar (IPAS), 2018, no. January. https://doi.org/10.1007/978-3-030-05931-6_14 [8] S. Moylan, J. Slotwinski, A. Cooke, K. Jurrens, M. A. Donmez, and A. Donmez, 'Proposal for a Standardized Test Artifact for Additive Manufacturing Machines and Processes,' Solid Freeform Fabrication Symposium Proceedings, pp. 902-920, 2012. https://doi.org/10.6028/NIST.IR.7858 [9] ASME Y14.46-2017 Product Definition for Additive Manufacturing. New York:The American Society of Mechanical Engineers, 2017. [10] H. Li, T. Wang, J. Sun, and Z. Yu, 'The effect of process parameters in fused deposition modelling on bonding degree and mechanical properties,' Rapid Prototyping Journal, vol. 24, no. 1, pp. 80-92, Jan. 2018, https://doi.org/10.1108/RPJ-06-2016-0090 [11] A. W. Gebisa and H. G. Lemu, 'Investigating effects of Fused-deposition modeling (FDM) processing parameters on flexural properties of ULTEM 9085 using designed experiment, 'Materials, vol.11, no. 4, pp. 1-23, 2018, https://doi.org/10.3390/ma11040500 PMid:29584674 PMCid:PMC5951346 [12] B. Wittbrodt and J. M. Pearce, 'The effects of PLA color on material properties of 3-D printed components,' Additive Manufacturing, vol. 8, pp. 110-116, 2015, https://doi.org/10.1016/j.addma.2015.09.006 [13] O. A. Mohamed, S. H. Masood, and J. L. Bhowmik, 'Optimization of fused deposition modeling process parameters: a review of current research and future prospects,' Advances in Manufacturing, vol. 3, no. 1, pp. 42-53, Mar. 2015, https://doi.org/10.1007/s40436-014-0097-7 [14] S. K. Everton, M. Hirsch, P. Stravroulakis, R. K. Leach and A. T. Clare, 'Review of in-situ process monitoring and in-situ metrology for metal additive manufacturing,' Materials and Design, vol. 95, pp. 431-445, 2016, https://doi.org/10.1016/j.matdes.2016.01.099 [15] P. K. Rao, J. P. Liu, D. Roberson, Z. J. Kong, and C. Williams,'Online Real-Time Quality Monitoring in Additive Manufacturing Processes Using Heterogeneous Sensors,' Journal of Manufacturing Science and Engineering, vol. 137, no. 6, p.061007, Sep. 2015, https://doi.org/10.1115/1.4029823 [16] J. Pellegrino, T. Makila, S. McQueen, and E. Taylor, 'Measurement science roadmap for polymer-based additive manufacturing,' Gaithersburg, MD, Dec. 2016. https://doi.org/10.6028/NIST.AMS.100-5 [17] T. R. Kramer, F. M. Proctor, and E. Messina, 'The NIST RS274NGC Interpreter -Version 3,' Gaithersburg, Maryland, 2000. https://doi.org/10.6028/NIST.IR.6556 [18] B. N. Turner, R. Strong, and S. A. Gold, 'A review of melt extrusion additive manufacturing processes: I. Process design and modeling,' Rapid Prototyping Journal, vol. 20, no. 3, pp.192-204, Apr. 2014, https://doi.org/10.1108/RPJ-01-2013-0012 [19] Conrad Electronic, 'Renkforce RF1000 3D Drucker,' 2016. https://www.conrad.de/de/renkforce-rf1000-3d-drucker-single-extruder-inkl-software-franzis-designcad-v24-3d-printrenkforce-edition-1007508.html (accessed Sep. 20, 2016). [20] G. Hodgson, A. Ranellucci, and J. Moe, 'Slic3r Manual - Flow Math,' 2016. http://manual.slic3r.org/advanced/flow-math (accessed Jun. 21, 2016). [21] Repetier, 'Repetier-Firmware Documentation.' https://www.repetier.com/documentation/repetier firmware/repetier-firmware-introduction/ (accessed Apr. 17, 2018). [22] B. Weiss, D. W. Storti, and M. A. Ganter, 'Low-cost closedloop control of a 3D printer gantry,' Rapid Prototyping Journal, vol. 21, no. 5, pp. 482-490, Aug. 2015, https://doi.org/10.1108/RPJ-09-2014-0108 [23] R. L. Zinniel and J. S. Batchelder, 'Volumetric Feed Control for Flexible Filament,' US 6085957, 2000. [24] W. J. Heij, Applied Metrology in Additive Manufacturing. Delft: Delft University of Technology, 2016. [25] G. P. Greeff and M. Schilling, 'Closed loop control of slippage during filament transport in molten material extrusion,' Additive Manufacturing, vol. 14, pp. 31-38, 2017, https://doi.org/10.1016/j.addma.2016.12.005 [26] G. P. Greeff, Applied Metrology in Additive Manufacturing, vol. 60. Berlin: Mensch und Buch, 2019. [27] G. P. Greeff and M. Schilling, 'Comparing Retraction Methods with Volumetric Exit Flow Measurement in Molten Material Extrusion,' in Special Interest Group meeting on Dimensional Accuracy and Surface Finish in Additive Manufacturing, 2017, no. October, pp. 70-74. [28] G. P. Greeff and M. Schilling, 'Single print optimisation of fused filament fabrication parameters,' The International Journal of Advanced Manufacturing Technology, Aug. 2018, https://doi.org/10.1007/s00170-018-2518-4 [29] A. Bellini, S. Güçeri, and M. Bertoldi, 'Liquefier Dynamics in Fused Deposition,' Journal of Manufacturing Science and Engineering, vol. 126, no. 2, p. 237, 2004, https://doi.org/10.1115/1.1688377 [30] P. Virtanen et al., 'SciPy 1.0: fundamental algorithms for scientific computing in Python,' Nature Methods, vol. 17, no. 3, pp. 261-272, Mar. 2020, https://doi.org/10.1038/s41592-019-0686-2 PMid:32015543 PMCid:PMC7056644 (Print: ISSN 1931-5775) (Online: ISSN 2381-0580) © 2021 NCSL International Software to Maximize End-User Uptake of Conformity Assessment with Measurement Uncertainty, Including Bivariate Cases. The European EMPIR CASoft Project

Authors: L.R. Pendrill A. Allard N. Fischer et al.

Source: NCSL International measure. 13:58-69

Subject Terms: 9. Industry and infrastructure, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 12. Responsible consumption, 3. Good health

Nájsť tento článok vo Web of Science

2

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems

Authors: Ciancia V Latella D Massink M et al.

Source: Lecture Notes in Computer Science ISBN: 9783319471655
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657–673, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673

Subject Terms: F.4.1 MATHEMATICAL LOGIC AND FORMAL LANGUAGES. Mathematical Logic, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, 3. Good health, Collective adaptive systems, MultiVeStA, Spatio-temporal model checking, Statistical Model Checking, Spatial Logics, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Statistical Model-checking, Spatial Logics Model-checking, Bike-sharing, Smart cities

File Description: application/pdf

Access URL: https://rd.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_46/fulltext.html
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#CianciaLMPV16
https://link.springer.com/10.1007/978-3-319-47166-2_46
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://hdl.handle.net/20.500.14243/318789
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://doi.org/10.1007/978-3-319-47166-2_46
https://hdl.handle.net/11382/534302
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://doi.org/10.1007/978-3-319-47166-2_46

View record at OpenAIRE

Nájsť tento článok vo Web of Science

3

Engineering crowd interaction within smart environments

Authors: Harrison MD Massink M Latella D

Source: 1st ACM SIGCHI symposium on Engineering interactive computing systems, pp. 117–122, Pittsburgh, PA, USA, July 15-17, 2009
info:cnr-pdr/source/autori:Harrison M.D.; Massink M.; Latella D./congresso_nome:1st ACM SIGCHI symposium on Engineering interactive computing systems/congresso_luogo:Pittsburgh, PA, USA/congresso_data:July 15-17, 2009/anno:2009/pagina_da:117/pagina_a:122/intervallo_pagine:117–122

Subject Terms: Software/Program Verification - statistical methods, Stochastic analysis - user interfaces, User Interfaces - theory and methods, 05 social sciences, 0501 psychology and cognitive sciences, 0102 computer and information sciences, 01 natural sciences

File Description: application/pdf

Access URL: http://fmt.isti.cnr.it/WEBPAPER/2009-A2-041.pdf
https://core.ac.uk/display/101035818
https://dblp.uni-trier.de/db/conf/eics/eics2009.html#HarrisonML09
http://portal.acm.org/citation.cfm?doid=1570433.1570456
https://dl.acm.org/doi/10.1145/1570433.1570456
https://eprints.ncl.ac.uk/159900
http://fmt.isti.cnr.it/WEBPAPER/2009-A2-041.pdf
https://hdl.handle.net/20.500.14243/62323
https://dl.acm.org/citation.cfm?id=1570433&picked=prox
https://doi.org/10.1145/1570433.1570456

View record at OpenAIRE

Nájsť tento článok vo Web of Science

4

Highly efficient numerical algorithm based on random trees for accelerating parallel Vlasov-Poisson simulations

Authors: Rodriguez Rozas, Angel Juan A., Acebrón Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID) et al.

Contributors: Rodriguez Rozas, Angel Juan A., Acebrón Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID) et al.

Source: ISSN: 0021-9991.

Availability: https://inria.hal.science/hal-00920998
https://doi.org/10.1016/j.jcp.2013.05.025

View record from BASE

Nájsť tento článok vo Web of Science

5

Using Academia-Industry Partnerships to Enhance Software Verification & Validation Education via Active Learning Tools

Authors: Acharya, Sushil Manohar, Priyadarshan Wu, Peter et al.

Source: Journal of Education and Learning. 2017 6(2):69-84.

Peer Reviewed: Y

Page Count: 16

Sponsoring Agency: National Science Foundation (NSF)

Full Text from ERIC

6

Bell: Bit-Encoding Online Memory Leak Detection

Authors: Michael D. Bond Kathryn S. McKinley The Pennsylvania State University CiteSeerX Archives

Contributors: Michael D. Bond Kathryn S. McKinley The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.utexas.edu/~mikebond/bell-asplos-2006.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Reliability, Statistical Methods General Terms Reliability, Performance, Experimentation Keywords Memory Leaks, Low-Overhead Monitoring, Probabilistic Approaches, Managed Languages

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.9033

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.9033
http://www.cs.utexas.edu/~mikebond/bell-asplos-2006.pdf

View record from BASE

Nájsť tento článok vo Web of Science

7

Software Evaluation for Developing Software Reliability Engineering and Metrics Models

Authors: Brophy, Dennis J. O'Leary, James D. NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Contributors: Brophy, Dennis J. O'Leary, James D. NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Source: DTIC AND NTIS

Subject Terms: Computer Programming and Software, COMPUTER PROGRAM RELIABILITY, DATA BASES, SOFTWARE ENGINEERING, MANAGEMENT INFORMATION SYSTEMS, THESES, STATISTICAL ANALYSIS, COMPUTER PROGRAM VERIFICATION, SOFTWARE METRICS, DBMS(DATABASE MANAGEMENT SYSTEM), stat, manag

Relation: http://www.dtic.mil/docs/citations/ADA361889

Availability: http://www.dtic.mil/docs/citations/ADA361889

View record from BASE

Nájsť tento článok vo Web of Science

8

Statistical Model Checking for Product Lines

Authors: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto et al.

Contributors: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto et al.

Source: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7 th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8

Subject Terms: F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Algebraic approaches to semantics, Statistical model checking, Markov processes, Software Product Lines, G.3 PROBABILITY AND STATISTICS, Programming languages, compilers, interpreters, Software engineering techniques, Quantitative Constraints, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, Statistical Model Checking, D.2.13 SOFTWARE ENGINEERING. Reusable Software. Domain engineering, 02 engineering and technology, [INFO] Computer Science [cs], Artificial intelligence (incl. robotics), F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Process models, F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods, Logics and meanings of programs, 0202 electrical engineering, electronic engineering, information engineering, Computation by abstract devices, Mathematical logic and formal languages, Probabilistic Models

File Description: application/pdf

Access URL: https://backend.orbit.dtu.dk/ws/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://inria.hal.science/hal-01406531v1
https://link.springer.com/10.1007/978-3-319-47166-2_8
https://hal.inria.fr/hal-01406531
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekLLV16
https://hal.inria.fr/hal-01406531/document
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_8/fulltext.html
https://orbit.dtu.dk/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://hdl.handle.net/20.500.14243/321030
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8
https://orbit.dtu.dk/en/publications/d09e64ef-2992-4962-9fab-b03a87e3986c
https://hdl.handle.net/11382/534305
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8

View record at OpenAIRE

Nájsť tento článok vo Web of Science

9

Roundtable: What's Next in Software Analytics

Authors: Hassan, Ahmed E. Hindle, Abram Runeson, Per et al.

Source: IEEE Software. 30:53-56

Subject Terms: Statistical methods, 9. Industry and infrastructure, 1. No poverty, Testing and debugging, 02 engineering and technology, 7. Clean energy, Decision support, Management, Information search and retrieval, 03 medical and health sciences, 0302 clinical medicine, Software/program verification, 8. Economic growth, 0202 electrical engineering, electronic engineering, information engineering, Metrics

Access URL: https://lup.lub.lu.se/search/publication/9f3c9272-9574-4471-b9ea-f1d534093e48
https://portal.research.lu.se/sv/publications/roundtable-whats-next-in-software-analytics
https://www.computer.org/csdl/magazine/so/2013/04/mso2013040053/13rRUxAASRl
https://repository.ust.hk/ir/Record/1783.1-55264
https://ieeexplore.ieee.org/abstract/document/6547637
https://dblp.uni-trier.de/db/journals/software/software30.html#HassanHRSDK13

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

10

Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series

Authors: Clarke D Schaefer I Ter Beek M H et al.

Source: SPLC'13-17th International Software Product Line Conference, pp. 266–267, Tokyo, Japan, 26-30 August 2013
info:cnr-pdr/source/autori:Clarke D.; Schaefer I.; Ter Beek M. H.; Apel S.; Atlee J. M./congresso_nome:SPLC'13-17th International Software Product Line Conference/congresso_luogo:Tokyo, Japan/congresso_data:26-30 August 2013/anno:2013/pagina_da:266/pagina_a:267/intervallo_pagine:266–267

Subject Terms: D.2.2 Design Tools and Techniques, D.2.5 Testing and Debugging, Evolution, Formal methods, Testing, Verification, 02 engineering and technology, D.2.13 Reusable Software, Software Product Lines, D.2.11 Software Architectures, Semantics, D.2.4 Software/Program Verification. Formal methods, D.2.4 Software/Program Ver, D.2.4 Software/Program Verification. Model checking, D.2.4 Software/Program Verification. Validation, 0202 electrical engineering, electronic engineering, information engineering, Variability

File Description: application/pdf

Access URL: http://dl.acm.org/citation.cfm?doid=2491627.2499880
https://doi.org/10.1145/2491627.2499880
https://hdl.handle.net/20.500.14243/253174

View record at OpenAIRE

Nájsť tento článok vo Web of Science

11

MicroVAX/Bus Communication Testing Software for the Low Speed Wind Tunnel Data Acquisition System

Authors: Edwards, Craig D. AERONAUTICAL AND MARITIME RESEARCH LAB MELBOURNE (AUSTRALIA)

Contributors: Edwards, Craig D. AERONAUTICAL AND MARITIME RESEARCH LAB MELBOURNE (AUSTRALIA)

Source: DTIC AND NTIS

Subject Terms: Computer Programming and Software, Computer Systems, Test Facilities, Equipment and Methods, SOFTWARE ENGINEERING, WIND TUNNEL TESTS, DATA ACQUISITION, DATA BASES, COMPUTER COMMUNICATIONS, PARALLEL PROCESSING, PARALLEL PROCESSORS, SYSTEMS ANALYSIS, COMPUTER PROGRAM VERIFICATION, AUSTRALIA, FOREIGN REPORTS, MICROVAX COMPUTERS, LSWT(LOW SPEED WIND TUNNEL)

File Description: text/html

Relation: http://www.dtic.mil/docs/citations/ADA362582

Availability: http://www.dtic.mil/docs/citations/ADA362582
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA362582

View record from BASE

Nájsť tento článok vo Web of Science

12

Faultless Software Project.

Authors: Howden, William CALIFORNIA UNIV SAN DIEGO LA JOLLA DEPT OF ELECTRICAL AND COMPUTER ENGINEERING

Contributors: Howden, William CALIFORNIA UNIV SAN DIEGO LA JOLLA DEPT OF ELECTRICAL AND COMPUTER ENGINEERING

Source: DTIC AND NTIS

Subject Terms: Computer Programming and Software, SOFTWARE ENGINEERING, COMPUTER PROGRAM VERIFICATION, SPECIFICATIONS, ADA PROGRAMMING LANGUAGE, TEST METHODS, STATISTICAL ANALYSIS

File Description: text/html

Relation: http://www.dtic.mil/docs/citations/ADA278161

Availability: http://www.dtic.mil/docs/citations/ADA278161
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA278161

View record from BASE

Nájsť tento článok vo Web of Science

13

Software Verification for Weak Memory via Program Transformation

Authors: Alglave, J Kroening, D Nimal, V et al.

Contributors: Alglave, J Kroening, D Nimal, V et al.

Source: Lecture Notes in Computer Science ISBN: 9783642370359
Lecture Notes in Computer Science
22nd European Symposium on Programming, ESOP 2013

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)

Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-642-37036-6_28.pdf
http://arxiv.org/abs/1207.7264
https://arxiv.org/abs/1207.7264
https://core.ac.uk/display/79540715
https://doi.org/10.1007/978-3-642-37036-6_28
http://www.kroening.com/papers/esop2013-wmm.pdf
https://arxiv.org/pdf/1207.7264
http://www.cprover.org/etaps/esop.pdf
https://ora.ox.ac.uk/objects/uuid:64f6ecc1-b47f-4d48-a78d-a5f522f96f0b
https://ora.ox.ac.uk/objects/uuid:33ec5926-faaa-4759-aec8-ece0cfa0fee9
https://doi.org/10.1007/978-3-642-37036-6_28

View record at OpenAIRE

Nájsť tento článok vo Web of Science

14

Correctness-by-Construction and Post-hoc Verification: Friends or Foes?

Authors: Ter Beek M H Hähnle R Schaefer I

Source: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 723–729, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Hähnle R.; Schaefer I./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:723/pagina_a:729/intervallo_pagine:723–729

Subject Terms: Design for Verification, Synthesis, Statistical Model checking, 0202 electrical engineering, electronic engineering, information engineering, Deductive Verification, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification, 0102 computer and information sciences, 02 engineering and technology, System-of-Systems, Lightweight Verification, 01 natural sciences, Software Product Lines

File Description: application/pdf

Access URL: https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekHS16
https://tubiblio.ulb.tu-darmstadt.de/96680/
https://rd.springer.com/chapter/10.1007/978-3-319-47166-2_51
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_51
https://link.springer.com/10.1007/978-3-319-47166-2_51
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_51
https://doi.org/10.1007/978-3-319-47166-2_51
https://hdl.handle.net/20.500.14243/321029

View record at OpenAIRE

Nájsť tento článok vo Web of Science

15

Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?

Authors: Schoolderman, Marc Smetsers, Sjaak van Eekelen, M.C.J.D. et al.

Contributors: Schoolderman, Marc Smetsers, Sjaak van Eekelen, M.C.J.D. et al.

Source: Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, pp. 50-57
Schoolderman, M, Smetsers, S & van Eekelen, M C J D 2019, Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? in E Rahimi & D Stikkolorum (eds), CSERC '19 : The 8th Computer Science Education Research Conference. 1 edn, Association for Computing Machinery (ACM), New York, NY, pp. 50-57, 8th Computer Science Education Research Conference (CSERC'19), Larnaca, Cyprus, 18/11/19. https://doi.org/10.1145/3375258.3375265

Subject Terms: Formal verification, Teaching, Software Science, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Digital Security, 01 natural sciences, Why3

Access URL: https://repository.ubn.ru.nl/bitstream/handle/2066/218670/3/218670.pdf
https://research.ou.nl/en/publications/d8b4648e-f43a-4352-a867-255c996ca581
https://doi.org/10.1145/3375258.3375265
https://research.ou.nl/en/publications/is-deductive-program-verification-mature-enough-to-be-taught-to-s
https://dl.acm.org/doi/10.1145/3375258.3375265
https://www.narcis.nl/publication/RecordID/oai%3Aresearch.ou.nl%3Apublications%2Fd8b4648e-f43a-4352-a867-255c996ca581
https://repository.ubn.ru.nl/handle/2066/218670
https://dblp.uni-trier.de/db/conf/cserc/cserc2019.html#SchooldermanSE19
https://doi.org/10.1145/3375258.3375265
https://repository.ubn.ru.nl//bitstream/handle/2066/218670/218670.pdf
https://hdl.handle.net/2066/218670
https://www.scopus.com/pages/publications/85082132594
https://research.ou.nl/en/publications/d8b4648e-f43a-4352-a867-255c996ca581
https://doi.org/10.1145/3375258.3375265

View record at OpenAIRE

Nájsť tento článok vo Web of Science

16

Characterizing the Differences Between Pre- and Post- Release Versions of Software

Authors: Paul Luo Li Ryan Kivett Zhiyuan Zhan et al.

Contributors: Paul Luo Li Ryan Kivett Zhiyuan Zhan et al.

Source: http://research.microsoft.com/pubs/149840/ICSE%202010%20Windows%20Reliability.pdf.

Subject Terms: D.2.4 [Software Engineering, Software/Program Verification- Reliability, Statistical Methods, Validation D.2.8 [Software Engineering, Metrics – Product Metrics General Terms Human Factors, Measurement, Reliability, Verification Keywords Windows, Customer experience improvement program, Windows Error Reporting (WER, Reliability Analysis Component (RAC, Usage, Beta

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.5358; http://research.microsoft.com/pubs/149840/ICSE%202010%20Windows%20Reliability.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.5358
http://research.microsoft.com/pubs/149840/ICSE%202010%20Windows%20Reliability.pdf

View record from BASE

Nájsť tento článok vo Web of Science

17

Designing Test Suites for Software Interactions Testing

Authors: Cohen, Myra B AUCKLAND UNIV (NEW ZEALAND)

Contributors: Cohen, Myra B AUCKLAND UNIV (NEW ZEALAND)

Source: DTIC

File Description: text/html

Relation: http://www.dtic.mil/docs/citations/ADA628448

Availability: http://www.dtic.mil/docs/citations/ADA628448
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA628448

View record from BASE

Nájsť tento článok vo Web of Science

18

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems

Authors: Basil Becker João Pedro Sousa Ladan Tahvildari et al.

Contributors: Basil Becker João Pedro Sousa Ladan Tahvildari et al.

Source: Lecture Notes in Computer Science ISBN: 9783642358128

Subject Terms: Automatización y sistemas de control, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Usuarios, Dynamic adaptation verification and validation, self-adaptive software systems verification and validation, 02 engineering and technology, Sistemas de software, Automation Command and control system, self-adaptive software systems properties

File Description: application/pdf; 108-132 páginas; Digital

Access URL: http://hal.inria.fr/docs/00/71/84/09/PDF/run-time-vv.pdf
https://inria.hal.science/hal-00709943v2
https://hal.inria.fr/hal-00709943
https://hal.archives-ouvertes.fr/hal-00709943v2
https://dblp.uni-trier.de/db/conf/dagstuhl/adaptive2010.html#TamuraVMSBKMPSTW10
https://link.springer.com/chapter/10.1007/978-3-642-35813-5_5
https://rd.springer.com/chapter/10.1007/978-3-642-35813-5_5
https://hal.inria.fr/hal-00709943/document
https://hdl.handle.net/10906/81961

View record at OpenAIRE

Nájsť tento článok vo Web of Science

19

Research in Improved Assessment of Software Reliability

Authors: Singpurwalla, N. D. GEORGE WASHINGTON UNIV WASHINGTON DC DEPT OF OPERATIONS RESEARCH

Contributors: Singpurwalla, N. D. GEORGE WASHINGTON UNIV WASHINGTON DC DEPT OF OPERATIONS RESEARCH

Source: DTIC AND NTIS

Subject Terms: Computer Programming and Software, SOFTWARE ENGINEERING, COMPUTER PROGRAM VERIFICATION, COMPUTER PROGRAM RELIABILITY, MODELS, GRANTS, COMPUTERS, QUALITY, STATISTICAL ANALYSIS, WUAFOSR2304ES

File Description: text/html

Relation: http://www.dtic.mil/docs/citations/ADA274161

Availability: http://www.dtic.mil/docs/citations/ADA274161
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA274161

View record from BASE

Nájsť tento článok vo Web of Science

20

Formal verification of automotive embedded software

Authors: Todorov, Vassil Boulanger, Frédéric Taha, Safouan et al.

Contributors: Todorov, Vassil Boulanger, Frédéric Taha, Safouan et al.

Source: FORMALISE: 6th International Conference on Formal Methods in Software Engineering ; https://hal.science/hal-01768687 ; FORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Subject Geographic: Gothenburg, Sweden

Availability: https://hal.science/hal-01768687
https://hal.science/hal-01768687v1/document
https://hal.science/hal-01768687v1/file/article-auteur.pdf
https://doi.org/10.1145/3193992.3194003

View record from BASE

Nájsť tento článok vo Web of Science

Search Results - D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods

Search Tools:

Refine Results

Format

Subject

Publisher

Published in

Source

Geography

Collection

Year of Publication