Suchergebnisse - d.2.4 software engineering. software/program verification. statistika methods

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

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

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

Peer Reviewed: Y

Page Count: 16

Sponsoring Agency: National Science Foundation (NSF)

Descriptors: School Business Relationship, Industry, Computer Software, Active Learning, Computer Science Education, Case Studies, Video Technology, Employers, Communication Skills, Research Skills, Grants, Program Development, Focus Groups, Workshops, Course Descriptions, Validity, Engineering, Statistical Analysis, Undergraduate Students, Teaching Methods

Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet

Autoren: Gao, Min

Schlagwörter: Electrical engineering, Energy internet, Formal verification, Functional verification, High-level Synthesis, Software testing

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/6jj2b6jn
https://escholarship.org/content/qt6jj2b6jn/qt6jj2b6jn.pdf

Deductive verification of cryptographic software

Autoren: Almeida, José Bacelar Barbosa, Manuel Pinto, Jorge Sousa et al.

Weitere Verfasser: Almeida, José Bacelar Barbosa, Manuel Pinto, Jorge Sousa et al.

Schlagwörter: Cryptographic algorithms, Program verification, Program equivalence, Self-composition

Dateibeschreibung: application/pdf

Relation: 1614-5046

Verfügbarkeit: https://hdl.handle.net/1822/13451

Accuracy of automated measurement and verification (M&V) techniques for energy savings in commercial buildings

Autoren: Granderson, Jessica Touzani, Samir Custodio, Claudine et al.

Quelle: Applied Energy. 173(C)

Schlagwörter: 33 Built Environment and Design (for-2020), 7 Affordable and Clean Energy (sdg), 11 Sustainable Cities and Communities (sdg), Baseline model, Measurement and verification, Whole-building energy, Predictive performance accuracy, Building energy analysis, M&V 2.0, Baseline model, Measurement and verification, Whole-building energy, Predictive performance accuracy, Building energy analysis, M&, V 2.0, 09 Engineering (for), 14 Economics (for), Energy (science-metrix), 33 Built environment and design (for-2020), 38 Economics (for-2020), 40 Engineering (for-2020)

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/4vt6z6t7
https://escholarship.org/content/qt4vt6z6t7/qt4vt6z6t7.pdf

Towards a Controlled Vocabulary on Software Engineering Education

Autoren: Pizard, Sebastián Vallespir, Diego

Quelle: European Journal of Engineering Education. 2017 42(6):927-943.

Peer Reviewed: Y

Page Count: 17

Descriptors: Computer Science Education, Computer Software, Engineering Education, Taxonomy, Vocabulary, Classification, Publications, Research Reports, Teaching Methods, Definitions, Guidelines, Course Content, Audits (Verification), Documentation, Identification, Correlation

Rule-Based Software Verification and Correction.

Autoren: Ballis, Demis

Weitere Verfasser: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Alpuente Frasnedo, María, FALASCHI, MORENO

Quelle: Riunet

Schlagwörter: Software verification, Software correction, Inductive learning, Abstract diagnosis, Rule-based specification languages, Program transformation, Functional logic languages, Formal methods, Rewriting, Web site verification, Simulation, LENGUAJES Y SISTEMAS INFORMATICOS, 1203 11, 1203 18, 1203 23, 1203 24

Zugangs-URL: http://hdl.handle.net/10251/1948

Safety verification for ROS software

Verificação de propriedades de correção em ROS

Autoren: Santos, André Filipe Faria Cunha, Alcino Macedo, Nuno et al.

Weitere Verfasser: Santos, André Filipe Faria Cunha, Alcino Macedo, Nuno et al.

Quelle: urn:tid:101545509

Schlagwörter: Engenharia de software, Métodos formais, Robótica, Lightweight formal methods, Software engineering, Robotics

Dateibeschreibung: application/pdf

Verfügbarkeit: https://hdl.handle.net/1822/75537

Validation and Verification of Modular Software Applications

Autoren: Ghorbani, Negar

Schlagwörter: Computer science, Modular Software Systems, Software Analysis, Software Architecture, Software Engineering, Software Testing, Validation and Verification

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/9k61z417
https://escholarship.org/content/qt9k61z417/qt9k61z417.pdf

Modular and Safe Event-Driven Programming

Autoren: Desai, Ankush Pankaj

Schlagwörter: Computer science, formal methods, programming languages, safe robotics, software engineering, systematic testing, verification

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/10q825qj
https://escholarship.org/content/qt10q825qj/qt10q825qj.pdf

Certified Synthesis for Interactive Media: High Assurance Metroidvania Generation

Autoren: Mawhorter, Ross Edward

Schlagwörter: Computer science, Computer engineering, Information science, Film studies, Formal Methods, Procedural Content Generation, Software Verification, Super Metroid, Symbolic Dynamic Programming

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/030958w4
https://escholarship.org/content/qt030958w4/qt030958w4.pdf

Combining Induction, Deduction, and Structure for Verification and Synthesis

Autoren: Seshia, Sanjit A

Quelle: Proceedings of the IEEE. 103(11)

Schlagwörter: Automated deduction, cyber-physical systems, electronic design automation, formal methods, machine learning, security, software engineering, specification, synthesis, verification, Artificial Intelligence and Image Processing, Biomedical Engineering, Electrical and Electronic Engineering

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/32g9j8xb
https://escholarship.org/content/qt32g9j8xb/qt32g9j8xb.pdf

A survey of challenges for runtime verification from advanced application domains (beyond software)

Autoren: Sánchez, César Schneider, Gerardo Ahrendt, Wolfgang et al.

Weitere Verfasser: Sánchez, César Schneider, Gerardo Ahrendt, Wolfgang et al.

Schlagwörter: Computer science, Formal methods, Formal verification, Runtime verification, Software, Theoretical Computer Science, Hardware and Architecture

Dateibeschreibung: application/pdf

Relation: Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., Falcone, Y., Francalanza, A., Krstić, S., Lourenço, J. M., Nickovic, D., Pace, G. J., Rufino, J., Signoles, J., Traytel, D., & Weiss, A. (2019). A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, 54(3), 279-335. https://doi.org/10.1007/s10703-019-00337-w; 0925-9856; PURE: 17431851

Verfügbarkeit: http://hdl.handle.net/10362/118499

Integrating Model-Based Verification into Software Design Education

Autoren: Yilmaz, Levent Wang, Shuo

Quelle: Journal of STEM Education: Innovations and Research. Jul-Dec 2005 6(3-4):29-34.

Peer Reviewed: Y

Page Count: 6

Descriptors: Computer Software, Computer System Design, Integrated Curriculum, Design Requirements, Design, Teaching Methods, Error Correction, Evaluation Methods, Models, Educational Practices, Educational Strategies, Pretesting, Quality Control, College Programs

Zugangs-URL: https://www.jstem.org/index.php?journal=JSTEM&page=article&op=view&path%5B%5D=1282

Rule-Based Software Verification and Correction.

Weitere Verfasser: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Alpuente Frasnedo, María, FALASCHI, MORENO

Quelle: Riunet

Schlagwörter: Software verification, Software correction, Inductive learning, Abstract diagnosis, Rule-based specification languages, Program transformation, Functional logic languages, Formal methods, Rewriting, Web site verification, Simulation, LENGUAJES Y SISTEMAS INFORMATICOS, 120311 - Logicales de ordenadores, 120318 - Sistemas de información, diseño y componentes, 120323 - Lenguajes de programación, 120324 - Teoría de la programación

Zugangs-URL: http://hdl.handle.net/10251/1948

Design, Development and Delivery of Active Learning Tools in Software Verification & Validation Education

Autoren: Acharya, Sushil Manohar, Priyadarshan Anant Wu, Peter et al.

Quelle: Journal of Education and Learning. 2018 7(1):13-28.

Peer Reviewed: Y

Page Count: 12

Sponsoring Agency: National Science Foundation (NSF)

Descriptors: Active Learning, Instructional Design, Computer Software, Case Studies, Learning Activities, Video Technology, Job Skills, Communication Skills, Knowledge Level, Research, Higher Education, College Students, Student Attitudes, Teaching Methods, Conventional Instruction, Educational Technology, Technology Uses in Education, Homework, Teamwork, Cooperative Learning, Tests, Questionnaires, Integrated Learning Systems

Geografische Kategorien: Pennsylvania, Michigan

Program Verification with Property Directed Reachability

Autoren: Welp, Tobias

Schlagwörter: Electrical engineering

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/29k4n5d4
https://escholarship.org/content/qt29k4n5d4/qt29k4n5d4.pdf

Message Chains for Distributed System Verification

Autoren: Mora, Federico Desai, Ankush Polgreen, Elizabeth et al.

Quelle: Proceedings of the ACM on Programming Languages. 7(OOPSLA2)

Schlagwörter: Theory Of Computation, Distributed Computing and Systems Software, Information and Computing Sciences, Software Engineering, Formal verification, distributed systems, message passing, Software engineering, Theory of computation, Numerical and computational mathematics

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/2053z0bw
https://escholarship.org/content/qt2053z0bw/qt2053z0bw.pdf

A generalized approach to verification condition generation

Autoren: Belo Lourenco, Claudio Frade, M. J. Nakajima, Shin et al.

Weitere Verfasser: Belo Lourenco, Claudio Frade, M. J. Nakajima, Shin et al.

Schlagwörter: Bounded model checking of software, Deductive verification, Program verification, Verification condition generator

Dateibeschreibung: application/pdf

Relation: 9781538626665; 0730-3157

Verfügbarkeit: https://hdl.handle.net/1822/66208

Scalable Verification with Applications to Hardware Security

Autoren: Dinesh, Sushant

Schlagwörter: Computer science, Engineering, Artificial intelligence, Information technology, Hardware Security, Invariant Learning, Program Synthesis, Verification

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/2vp1w9zt
https://escholarship.org/content/qt2vp1w9zt/qt2vp1w9zt.pdf

CAOVerif: an open-source deductive verification platform for cryptographic software implementations

Autoren: Almeida, José Bacelar Barbosa, Manuel Filliâtre, Jean-Christophe et al.

Weitere Verfasser: Almeida, José Bacelar Barbosa, Manuel Filliâtre, Jean-Christophe et al.

Schlagwörter: Formal verification, Program verification, Cryptographic software, Deductive verification

Dateibeschreibung: application/pdf

Relation: 0167-6423

Verfügbarkeit: https://hdl.handle.net/1822/31023