Formal Methods for Industrial Critical Systems

Συγγραφείς: Mariëlle Stoelinga, Ralf Pinger

Resource Type: eBook.

Θέματα: Conference proceedings, Formal methods (Computer science)--Congresses, Software engineering--Congresses, Computer programs--Verification--Congresses, Computer programs--Reliability--Congresses, Computer programs--Reliability, Computer programs--Verification, Formal methods (Computer science), Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science

Propuesta y validación de metodología para asegurar la información en una base de datos

Συγγραφείς: Gonzales Estrada, Daniel Ricardo, Zapata Jimenez, Lisdey Yubeiny, Villa Becerra, Yennifer Cristin

Συνεισφορές: Macias Suárez, Gustavo Hernán

Θεματικοί όροι: MySQL(Administrador de bases de datos), SQL(Administrador de bases de datos), Administración de bases de datos, Seguridad de la Información, Informática, Bases de datos orientadas a objetos, Computer software - Development, Data protection, Operating systems (computers), Computer programs - Reliability, Data encryption (computer science), Database security, DESARROLLO DE PROGRAMAS PARA COMPUTADOR, PROTECCIÓN DE DATOS, SISTEMAS OPERACIONALES (COMPUTADORES), PROGRAMAS PARA COMPUTADOR - CONFIABILIDAD, CIFRADO DE DATOS (INFORMATICA), SEGURIDAD EN BASES DE DATOS

Περιγραφή αρχείου: Recurso electrónico; application/pdf

Relation: NA CEA; https://hdl.handle.net/20.500.12622/1507; instname:Instituto Tecnológico Metropolitano; reponame:Repositorio Institucional Instituto Tecnológico Metropolitano; repourl:https://repositorio.itm.edu.co/

Διαθεσιμότητα: https://hdl.handle.net/20.500.12622/1507

Elaboración de plan de mantenimiento para fresadora MFG de 3 ejes del Laboratorio de Mecatrónica Universidad EAFIT

Συγγραφείς: Sánchez Agredo, Alexander

Συνεισφορές: Betancur Maya, John Alberto

Θεματικοί όροι: EQUIPO INDUSTRIAL - MANTENIMIENTO Y REPARACIÓN, MÁQUINAS HERRAMIENTAS - CONTROL NUMÉRICO, FRESADORAS, MÁQUINAS HERRAMIENTAS, CALIBRACIÓN, INGENIERÍA INDUSTRIAL, CONTROL AUTOMÁTICO, PROCESOS DE MANUFACTURA, PROGRAMAS PARA COMPUTADOR - CONFIABILIDAD, Industrial equipment - Maintenance and repair, Machine-tools - numerical control, Milling-machines, Machine-tools, Calibration, Automatic control, Manufacturing processes, Computer programs - Reliability

Θέμα γεωγραφικό: Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees

Περιγραφή αρχείου: application/pdf

Relation: 658.202CDS211; https://hdl.handle.net/10784/4223

Διαθεσιμότητα: https://hdl.handle.net/10784/4223

Modelo de madurez para la seguridad de la información

Συγγραφείς: Lopera Díaz, Juan Camilo, Henao Montoya, Juan David

Συνεισφορές: Rincón Bermúdez, Rafael David

Θεματικοί όροι: Proyecto de Grado. Ingeniería de Sistemas, Seguridad en Bases de Datos, Norma ISO 17799, Seguridad de la Información, CMMI (Programa para computador), COBIT (Objetivos de Control para la Información y Tecnologías relacionadas), DESARROLLO DE PROGRAMAS PARA COMPUTADOR, PROTECCIÓN DE DATOS, SISTEMAS OPERACIONALES (COMPUTADORES), INDUSTRIA DE PROGRAMAS PARA COMPUTADORES, PROGRAMAS PARA COMPUTADOR - CONFIABILIDAD, Computer software - Development, Data protection, Operating systems (computers), Computer programs - Reliability

Θέμα γεωγραφικό: Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees

Περιγραφή αρχείου: application/pdf

Relation: 005.8CD M467MO; https://hdl.handle.net/10784/2543

Διαθεσιμότητα: https://hdl.handle.net/10784/2543

Remote Data Collection: How Broadband Connectivity Affected the Conversion of Physical Performance Testing to the Remote Setting During COVID-19: A Research Assistant's Assessment

Συγγραφείς: Eslami, Ramyar

Πηγή: University Honors Theses

Θεματικοί όροι: Broadband communication systems -- Reliability, Cancer -- Patients -- Rehabilitation -- Evaluation, Computer conferencing -- Computer programs – Reliability, Cisco Systems, Inc, COVID-19 (Disease), Communication Technology and New Media, Medicine and Health Sciences, Rehabilitation and Therapy

Περιγραφή αρχείου: application/pdf

Relation: https://pdxscholar.library.pdx.edu/honorstheses/979; https://pdxscholar.library.pdx.edu/context/honorstheses/article/2183/viewcontent/auto_convert.pdf

Διαθεσιμότητα: https://pdxscholar.library.pdx.edu/honorstheses/979
https://doi.org/10.15760/honors.1003
https://pdxscholar.library.pdx.edu/context/honorstheses/article/2183/viewcontent/auto_convert.pdf

Elaboración de plan de mantenimiento para fresadora MFG de 3 ejes del Laboratorio de Mecatrónica Universidad EAFIT

Συγγραφείς: Sánchez Agredo, Alexander

Συνεισφορές: Betancur Maya, John Alberto

Θεματικοί όροι: Automatic control, Machine-tools - numerical control, Milling-machines, Machine-tools, Computer programs - Reliability, EQUIPO INDUSTRIAL - MANTENIMIENTO Y REPARACIÓN, INGENIERÍA INDUSTRIAL, PROCESOS DE MANUFACTURA, Industrial equipment - Maintenance and repair, Calibration, CALIBRACIÓN, MÁQUINAS HERRAMIENTAS - CONTROL NUMÉRICO, MÁQUINAS HERRAMIENTAS, FRESADORAS, CONTROL AUTOMÁTICO, PROGRAMAS PARA COMPUTADOR - CONFIABILIDAD, Manufacturing processes

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10784/4223

Modelo de madurez para la seguridad de la información

Συγγραφείς: Lopera Díaz, Juan Camilo, Henao Montoya, Juan David

Συνεισφορές: Rincón Bermúdez, Rafael David

Θεματικοί όροι: Seguridad de la Información, Computer software - Development, Seguridad en Bases de Datos, PROTECCIÓN DE DATOS, COBIT (Objetivos de Control para la Información y Tecnologías relacionadas), CMMI (Programa para computador), Computer programs - Reliability, INDUSTRIA DE PROGRAMAS PARA COMPUTADORES, Norma ISO 17799, DESARROLLO DE PROGRAMAS PARA COMPUTADOR, SISTEMAS OPERACIONALES (COMPUTADORES), Operating systems (computers), PROGRAMAS PARA COMPUTADOR - CONFIABILIDAD, Proyecto de Grado. Ingeniería de Sistemas, Data protection

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10784/2543

Formal Methods: Applications and Technology

Συγγραφείς: Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Resource Type: eBook.

Θέματα: Computer programs--Reliability--Congresses, Computer software--Verification--Congresses, Computer software--Reliability--Congresses, Formal methods (Computer science)--Congresses, Software engineering--Congresses, Computer programs--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

RELIABILITY OF CRITICALITY SAFETY CALCULATIONS USING THE NEW CODES CSC AND KENO.

Συνεισφορές: Crume, Jr, E

Πηγή: Other Information: UNCL. Orig. Receipt Date: 31-DEC-72

Περιγραφή αρχείου: Medium: X; Size: Pages: 14

Σύνδεσμος πρόσβασης: http://www.osti.gov/scitech/biblio/4638159

Lower confidence interval bounds for coherent systems with cyclic components

Συγγραφείς: Covington, Valerie A.

Θεματικοί όροι: Computer programs. Reliability. Cycles.

Διαθεσιμότητα: http://edocs.nps.edu/npspubs/scholarly/theses/1990/Sep/90Sep%5FCovington.pdf
http://handle.dtic.mil/100.2/ADA242713

A comparison of the Lieberman-Ross and Mann-Grubbs methods

Συγγραφείς: Schoenstadt, Arthur L.

Θεματικοί όροι: Lieberman-Ross Method, Mann-Grubbs Method, Reliability Testing, Reliability, Simulation, COMPUTER PROGRAMS--RELIABILITY

Περιγραφή αρχείου: NA; application/pdf

Relation: NA; https://hdl.handle.net/10945/29223

Διαθεσιμότητα: https://hdl.handle.net/10945/29223

Microprocessors as aircraft monitors

Συγγραφείς: Lindsey, Gerald Herbert

Θεματικοί όροι: Aircraft Fatigue, Monitor, Microprocessor, Microcomputer, Data Acquisition, COMPUTER PROGRAMS--RELIABILITY

Περιγραφή αρχείου: application/pdf

Relation: NA; https://hdl.handle.net/10945/29969

Διαθεσιμότητα: https://hdl.handle.net/10945/29969

Development of an Environment for Software Reliability Model Selection

Συγγραφείς: Elewa, Salah A.

Πηγή: Theses and Dissertations

Θεματικοί όροι: Computer programs--Reliability, Software Engineering

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.afit.edu/etd/7358; https://scholar.afit.edu/context/etd/article/8361/viewcontent/AFIT_DS_ENC_92_1_Elewa_S_PhD_ADA256609_no_vita.pdf

Διαθεσιμότητα: https://scholar.afit.edu/etd/7358
https://scholar.afit.edu/context/etd/article/8361/viewcontent/AFIT_DS_ENC_92_1_Elewa_S_PhD_ADA256609_no_vita.pdf

A Standardized Software Reliability Measurement Methodology

Συγγραφείς: Stanko, Joseph J.

Πηγή: Theses and Dissertations

Θεματικοί όροι: Computer programs--Reliability, Computer Engineering

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.afit.edu/etd/7510; https://scholar.afit.edu/context/etd/article/8513/viewcontent/AFIT_GCE_ENG_91D_09_Stanko_J_ADA244184_vita_not_published.pdf

Διαθεσιμότητα: https://scholar.afit.edu/etd/7510
https://scholar.afit.edu/context/etd/article/8513/viewcontent/AFIT_GCE_ENG_91D_09_Stanko_J_ADA244184_vita_not_published.pdf

Specifying reliability as a software attribute

Συγγραφείς: Ivor Durham, Mary Shaw

Θεματικοί όροι: Information and Computing Sciences not elsewhere classified, Computer programs Reliability, stat, manag

Relation: https://doi.org/10.1184/r1/6609791.v1

Διαθεσιμότητα: https://doi.org/10.1184/r1/6609791.v1

Reliability Issues for DOD Systems : Report of a Workshop

Συγγραφείς: National Research Council, Division of Behavioral and Social Sciences and Education, Committee on National Statistics, Michael Cohen, Francisco Samaniego

Resource Type: eBook.

Θέματα: Computer programs--Reliability, Reliability (Engineering)--Statistical methods

Categories: TECHNOLOGY & ENGINEERING / Military Science, SCIENCE / Research & Methodology, SOCIAL SCIENCE / Statistics

Software quality assurance

Συνεισφορές: Soistman, Edward C. (Author), null, null (Committee Chair), Engineering (Degree Grantor)

Θεματικοί όροι: Computer programming, Computer programs -- Reliability

Relation: CFR0003518; ucf:52989; http://purl.flvc.org/ucf/fd/CFR0003518

Διαθεσιμότητα: http://purl.flvc.org/ucf/fd/CFR0003518

An automatic test path generator for path oriented testing strategies

Συγγραφείς: Lai, Kwok-on Terence.

Θεματικοί όροι: Computer programs--Reliability, Debugging in computer science, Vector spaces--Data processing, Computer programs--Testing

Περιγραφή αρχείου: application/pdf

The language approach to the development of reliable concurrent programs

Συγγραφείς: De Villiers, Pieter Jan Albertus

Συνεισφορές: Stellenbosch University. Faculty of . Dept. of .

Θεματικοί όροι: Computer programs -- Reliability, Concurrent Pascal (Computer program language), Dissertations -- Computer science

Περιγραφή αρχείου: 1 v. (various pagings) : ill.

Relation: https://hdl.handle.net/10019.1/68462

Διαθεσιμότητα: https://hdl.handle.net/10019.1/68462

Software Quality Assurance

Συγγραφείς: Soistman, Edward C.

Committee Members: University of Central Florida. College of Engineering [VIAF]University of Central Florida. College of Engineering [LC]

Σύνδεσμος: https://stars.library.ucf.edu/rtd/447