IEEE Code of Ethics for Engineers

Código de ética propuesto por la Accreditation Board for Engineering and Technology, aceptado por el IEEE. De libre reproducció

Algunos Comentarios a los Objetivos del MIRFAC

Nota del traductor. En 1963, H. James Gawlik publicó su artículo “MIRFAC: A Compiler Base on Standard Mathematical Notation and Plain English”, en el que describe una versión piloto del compilador MIRFAC. Las principales características del sistema, de acuerdo con el autor, es que está destinado a la solución de problemas científicos con presentación totalmente de fórmulas matemáticas. El uso del inglés sin formato para las instrucciones organizacionales, diagnostica los errores de manera automática e indica la ubicación real del error en un programa sin compilar. Además es un intento por minimizar la fragmentación de la declaración del problema original, que es una característica normal de los sistemas de programación. En esta carta, Dijkstra le escribe al editor de la revista, Communications of the ACM, sus comentarios acerca de dicho artículo

Prueba funcional del software. Un proceso de verificación constante

En este libro se describen conceptos específicos para examinar los procesos de verificación del software, desde la perspectiva del análisis a varias propuestas que aplican la técnica Casos de prueba desde los casos de uso, e ilustra la estructura de un importante concepto en las pruebas del software: el esfuerzo de las pruebas se debe integrar linealmente al proceso de desarrollo del producto, desde las fases iniciales del ciclo de vida, para alcanzar logros eficientes y efectivos. Aislar el esfuerzo de la prueba en una caja negra para el final de ese ciclo es un error común y se debe evitar, porque se puede incurrir en un incremento en el tiempo de entrega y de los costos finales.El libro es el resultado de un proceso de investigación en el cual se evaluaron las propuestas recientes para diseñar casos de prueba para las pruebas funcionales del software. De la muestra inicial, se seleccionaron nueve, que posteriormente se aplicaron en un proceso experimental para validar, verificar y comparar la eficiencia y eficacia de los casos de prueba que estructuran y generan. Luego, se tomó los resultados para diseñar una nueva propuesta metodológica aprovechando las mejores prácticas de cada una. La nueva propuesta se describe y aplica a un estudio de caso, mediante el cual se realiza la prueba funcional del software a través de un proceso de verificación paralelo a la Ingeniería de Requisitos.Extendemos nuestros agradecimiento en este proceso.This book describes specific concepts for examining software verification processes, from an analysis perspective to various proposals that apply the Test Cases technique from use cases, and illustrates the structure of an important concept in software testing. - The testing effort must be linearly integrated into the product development process, from the initial phases of the life cycle, to achieve efficient and effective achievements. Isolating the testing effort in a black box for the end of that cycle is a common mistake and should be avoided, because it may incur an increase in lead time and final costs. The book is the result of a research process in which recent proposals to design test cases for functional software testing were evaluated. From the initial sample, nine were selected, which were subsequently applied in an experimental process to validate, verify and compare the efficiency and effectiveness of the test cases that they structure and generate. Then, the results were taken to design a new methodological proposal taking advantage of the best practices of each one. The new proposal is described and applied to a case study, through which the functional testing of the software is carried out through a verification process parallel to the Requirements Engineering. We extend our gratitude in this process

Construcción disciplinar del conocimiento científico

This article presents an analysis of the disciplinary construction of knowledge from a perspective of multidimensionality and complexity. A study is made of the social dimensions that encompass the effects of scientific research on human life and social and cultural relations. The socio-cultural aspects of trust, truth, and disciplinarity, and the order and rationality of scientific knowledge are covered in the development, from the perspective of a democratic and socio-responsible science.En este artículo se presenta un análisis a la construcción disciplinar del conocimiento desde una perspectiva de la multidimensionalidad y la complejidad. Se hace un estudio de las dimensiones sociales que abarcan los efectos de la investigación científica sobre la vida humana y las relaciones sociales y culturales. En el desarrollo se cubren los aspectos socio-culturales de confianza, verdad y disciplinariedad, y del orden y la racionalidad del conocimiento científico, desde la perspectiva de una ciencia democrática y socio-responsable. &nbsp

La Ingeniería y la Ética Profesional

Se reproduce este artículo del Ingeniero Carrillo, previa autorización vía mail, debido a su importanciapara la revista y como temática de reflexión para nuestra profesión. El artículo apareció en el “Boletínde la Sociedad Geológica Mexicana”, ISSN 0366-1784. Tomo XLV, No. 1-2, 1984, pp. 107-120

Solución de un Problema de Control en Programación Concurrente

Trad. E. W. Dijkstra “Solution of a Problem in Concurrent Programming Control”. Es posible diseñar una serie de procesos secuenciales-cíclicos, principalmente independientes, con medios de comunicación limitados entre sí, de tal manera que en cualquier momento uno y sólo uno de ellos esté ocupado en la "sección crítica" de su cicl

Edsger Wybe Dijkstra

Fue uno de los más influyentes miembros de la generación fundadora de las ciencias computacionales. Son notables son aportes científicos en las áreas de: Diseño de Algoritmos Lenguajes de programación Diseño de programas Sistemas operativos Procesamiento distribuido Especificación y verificación formal Diseño de argumentos matemático

Estratón de Lámpsakos

Es considerado el autor del primer artículo de ingeniería en la historia, titulado "Mecánica". En ese texto se estudiabanconceptos básicos de la ingeniería como la teoría de la palanca, y contenía un diagrama que ilustraba un tren de tres engranes mostrados como círculos, lo que constituye la primera descripción conocida de engranajes.Es muy probable que éstos no tuvieran dientes, por lo que tuvo que ocurrir mucho deslizamiento antes de que se conociera la ventaja de los dientes y la manera de producirlos. A Estratón se atribuye además el libro IV de la meteorología de Aristóteles, la única obra conocida que trata de alquimia antes de los textos de la época alejandrina

Por Qué Johnny No Puede Comprender

Traducción de WHY JOHNNY CAN'T UNDERSTANDEWD991-0Edsger Wybe Dijkstr

La Ingeniería de Sistemas y su Evolución hacia la Arquitectura de Sistemas

Muchas de las empresas modernas entendieron que sus antiguas unidades de sistemas ya no son funcionales, y comienzan a subdividirlas en dos grupos de trabajo diferenciadores: el encargado de la infraestructura y el de los denominados “arquitectos de Sistemas”. Esta decisión lógica la inspira la actual evolución de la Ingeniería de Sistemas que, como área de conocimiento, genera los mismos subgrupos como agentes para formación. Además, la evolución y complejidad de lossistemas de información en medio de la sociedad del conocimiento, con exigencias y expectativas muy complejas, también determinan la necesidad de esta especialización. En este documento, una traducción casi literal de un white paper que publicó la empresa Quidnunc -www.quidnunc.com consultado en abril del año 2000- especializada en gestión de configuración, se detalla la importancia de esta división y las pautas a seguir a la hora de diseñar la arquitectura de sistemas de una empres