Academic literature on the topic 'Verification-based software inspection'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Verification-based software inspection.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Verification-based software inspection"
Simon, S., and J. P. Rogala. "Model-based prediction-verification scheme for real-time inspection." Pattern Recognition Letters 7, no. 5 (June 1988): 305–11. http://dx.doi.org/10.1016/0167-8655(88)90071-2.
Full textBESSON, FRÉDÉRIC, THOMAS DE GRENIER DE LATOUR, and THOMAS JENSEN. "Interfaces for stack inspection." Journal of Functional Programming 15, no. 2 (March 2005): 179–217. http://dx.doi.org/10.1017/s0956796804005465.
Full textShi, Mengdi, Jun Ji, and Wei Wang. "Development of Railway Bridge Deflection Detection System Based on NI-cDAQ Inclinometer." Journal of Physics: Conference Series 2160, no. 1 (January 1, 2022): 012068. http://dx.doi.org/10.1088/1742-6596/2160/1/012068.
Full textSuharev, N. V. "DEVELOPMENT OF CHARGING AND DISCHARGE SOFTWARE AND HARDWARE COMPLEX APPLICABLE FOR CHECKING BATTERIES OF SPACE VEHICLES." EurasianUnionScientists 5, no. 5(74) (June 14, 2020): 67–71. http://dx.doi.org/10.31618/esu.2413-9335.2020.5.74.758.
Full textHÄRKÖNEN, ARI, JARI MIETTINEN, and ILKKA MORING. "DESIGN OF IMAGE ACQUISITION FOR SURFACE INSPECTION." International Journal of Pattern Recognition and Artificial Intelligence 10, no. 01 (February 1996): 15–32. http://dx.doi.org/10.1142/s0218001496000037.
Full textRimshin, Vladimir, and Pavel Truntov. "An integrated approach to the use of composite materials for the restoration of reinforced concrete structures." E3S Web of Conferences 135 (2019): 03068. http://dx.doi.org/10.1051/e3sconf/201913503068.
Full textIvan, Virgala, and Filakovský Filip. "CONCERTINA LOCOMOTION OF A SNAKE ROBOT IN THE PIPE." TECHNICAL SCIENCES AND TECHNOLOG IES, no. 4 (14) (2018): 109–17. http://dx.doi.org/10.25140/2411-5363-2018-4(14)-109-117.
Full textSun, Tao, Liangpeng Ye, Jia Xie, Jiaqing Zhang, Minghao Fan, and Hao Fan. "Research and application of substation cable trench inspection robot communication system." Journal of Physics: Conference Series 2031, no. 1 (September 1, 2021): 012025. http://dx.doi.org/10.1088/1742-6596/2031/1/012025.
Full textChen, Liqiong, Shilong Song, and Can Wang. "A Novel Effort Measure Method for Effort-Aware Just-in-Time Software Defect Prediction." International Journal of Software Engineering and Knowledge Engineering 31, no. 08 (August 2021): 1145–69. http://dx.doi.org/10.1142/s0218194021500364.
Full textStojadinovic, Slavenko M., Vidosav D. Majstorovic, Adam Gąska, Jerzy Sładek, and Numan M. Durakbasa. "Development of a Coordinate Measuring Machine—Based Inspection Planning System for Industry 4.0." Applied Sciences 11, no. 18 (September 10, 2021): 8411. http://dx.doi.org/10.3390/app11188411.
Full textDissertations / Theses on the topic "Verification-based software inspection"
Powell, Daniel, and n/a. "Formal Methods For Verification Based Software Inspection." Griffith University. School of Computing and Information Technology, 2003. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20030925.154706.
Full textPowell, Daniel. "Formal Methods For Verification Based Software Inspection." Thesis, Griffith University, 2003. http://hdl.handle.net/10072/366466.
Full textThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Computing and Information Technology
Full Text
Conference papers on the topic "Verification-based software inspection"
Powell, D. "Tool support for verification-based software inspection." In 2004 Australian Software Engineering Conference. Proceedings. IEEE, 2004. http://dx.doi.org/10.1109/aswec.2004.1290476.
Full textKorngold, Jacob, Russ Kraft, Tony Luscher, Minsup Lee, and Gopal Shenoy. "Automatic Feature and Tolerance Modeling for in-Process Verification of 2D Punch Press Parts." In ASME 1993 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/cie1993-0030.
Full textRoberts, Alexandra, John True, Nathan T. Jessurun, and Dr Navid Asadizanjani. "An Overview of 3D X-Ray Reconstruction Algorithms for PCB Inspection." In ISTFA 2020. ASM International, 2020. http://dx.doi.org/10.31399/asm.cp.istfa2020p0188.
Full textEstep, Neal, and Ryan Sicking. "IST Management Software for Check Valves, MOVs, and AOVs." In ASME/NRC 2014 12th Valves, Pumps, and Inservice Testing Symposium. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/nrc2014-5027.
Full textChan, James K., and John W. Ramsey. "Pressure Protection Evaluation Program at Savannah River Site." In ASME 2003 Pressure Vessels and Piping Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/pvp2003-2039.
Full textTahara, Takayasu, Yoshiharu Shimura, and Minoru Niimura. "3D Measurement and FFS Assessment for LTA in Pressure Equipment According to WES2820:2015." In ASME 2016 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/pvp2016-63912.
Full textDuan, Xinjian, Min Wang, and Michael J. Kozluk. "Benchmarking PRAISE-CANDU 1.0 With NURBIM Project Fatigue Cases." In ASME 2013 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/pvp2013-97785.
Full textPai, Shantaram S., and David S. Riha. "Model Verification and Validation Concepts for a Probabilistic Fracture Assessment Model to Predict Cracking of Knife Edge Seals in the Space Shuttle Main Engine High Pressure Oxidizer." In ASME Turbo Expo 2012: Turbine Technical Conference and Exposition. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/gt2012-70132.
Full textYeap, Wei Jian, Qi Zheng Lee, Anie Jelie, Nurfatin Adibah M Habib, Sulaiman Sidek, Zulkifli M Zin, Hazrina Abdul Rahman, et al. "Pioneering Application of Plasma Spray Coatings to Improve the Erosion Resistance of Rod Based Wedge Wire Screen." In SPE Annual Technical Conference and Exhibition. SPE, 2022. http://dx.doi.org/10.2118/210377-ms.
Full text