-
Notifications
You must be signed in to change notification settings - Fork 0
/
publicaciones.html
49 lines (45 loc) · 2.89 KB
/
publicaciones.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
<!DOCTYPE HTML>
<html lang="es">
<head>
<!-- Datos que describen el documento -->
<meta charset="UTF-8" />
<title>SEW.P1</title>
<link rel="stylesheet" href="estilos/estilo.css"/>
<link rel="stylesheet" href="estilos/estilopubli.css" />
<meta name="author" content= "Celia Barral" />
<meta name="description" content="Listado de las publicaciones más destacadas de Margaret Hamilton" />
<meta name="keywords" content="metodología, diseño, software, arquitectura, lenguaje, SysML, Apolo, errores" />
</head>
<body>
<!-- Datos con el contenidos que aparece en el navegador -->
<header>
<h1>Publicaciones de Margaret Hamilton</h1>
<nav>
<a href="">Home</a>
<a href="publicaciones.html">Publicaciones</a>
<a href="premios.html">Premios</a>
<a href="opiniones.html">Formulario</a>
</nav>
</header>
<section>
<p>Durante muchos años parecía que uno de los mayores hitos del siglo XX, la llegada del ser humano a la Luna, hubiera sido cosa de hombres.
Y eso no es verdad. Fueron muchas las mujeres que hicieron posible los grandes avances de la carrera espacial.
La mayoría de ellas han estado en el anonimato durante muchos años, pero por suerte, están saliendo a la luz…</p>
<p>Una de esas mujeres olvidadas durante largo tiempo es nuestra protagonista de hoy. La mujer que acuñó el término “ingeniería de software”.
Una visionaria de la programación informática. La persona que evitó el desastre durante el aterrizaje del Apolo XI. Margaret Hamilton, la primera ingeniera de software.</p>
<p>Por ello hoy, queremos hacer un repaso de sus publicaciones, tanto artículos como obras más destacadas a lo largo de la historia.</p>
<h2>Publicaciones más destacadas:</h2>
<ul>
<li>(1976). "Software de orden superior: una metodología para definir el software". Transacciones IEEE sobre ingeniería de software. </li>
<li>(1979). "La relación entre diseño y verificación". Revista de sistemas y software. </li>
<li>(1994). "Desarrollo interior antes del hecho". </li>
<li>(1994). "001: Un entorno de desarrollo de software e ingeniería de sistemas de ciclo de vida completo". </li>
<li>(2004). "Unidad de navegación de guía profundamente integrada (DI-GNU) Principios comunes de la arquitectura de software"</li>
<li>(2007). "Lenguaje de sistemas universales para la ingeniería de sistemas preventivos". </li>
<li>(2007). "Una semántica de sistemas universales formales para SysML".</li>
<li>(2008). "Lenguaje de sistemas universales: lecciones aprendidas de Apolo". IEEE Computer</li>
<li>(2018). "Lo que nos dicen los errores". IEEE Software. </li>
</ul>
</section>
</body>
</html>