Recursos y enlaces
Aquí están algunos de los recursos que utilizo con cierta frecuencia. También figuran algunas utilidades que he escrito.
Prolog / Constraint Logic Programming (CLP)
Verificación, validación e interpretación abstracta
Desarrollo web
HTML
XML
- XML tutorial The XML Revolution. Diapositivas con una introducción a XML, Namespaces, XLink, XPointer, XPath, DTD, XSLT... con enlaces adicionales.
- XML.ORG. El portal de la industria del XML, dicen ellos.
- DTD School. Un buen curso sobre DTD.
XSL/XSLT
VML
JavaScript
- Netscape JavaScript reference. Referencia de JavaScript. Un tanto obsoleta, pero es un buen punto de partida (por lo simple) para hacer cosas básicas.
- The Tab Key. Cómo hacer que la tecla TAB (CTRL+TAB, en concreto) se pueda usar dentro de un campo multilínea.
Componentes software
Información general y contactos
JavaBeans
- BeanPole. Un proyecto del Center for Software Sciences de la Northeastern University.
OCL (Object Constraint Language)
Historia de la Informática
- The Computer Museum History Center. Hechos detallados, y una línea del tiempo que va por años. Muy interesante y con buenas fotos, aunque si no se sabe a qué año se va, las cosas son más difíciles. También tiene los hechos clasificados por materias (software, empresas...)
- A chronology of Computer History. Cronología con eventos descritos muy brevemente, y bastante detallada en la parte reciente de la historia.
Grafos / Colocación de grafos
Cómo escribir
- Never Say Allow To Again. Comentarios de Oscar Nierstrazs sobre el "allow to" y otras construcciones incorrectas en inglés.
- How to's. En esta lista de "cómo hacer" cosas, figuran más artículos sobre cómo escribir, cómo hacer revisiones de artículos, etc.
Docencia
- Microsoft. Algunos contenidos de educación.
- GEIDI. El grupo de estudio sobre innovación docente al que pertenezco. En ese sitio hay más enlaces sobre docencia, que no repetiré aquí.