 | Sociedad de Computación de la IEEE. |
| ACM, Association for Computing Machinery. |
| Software Engineering Institute de la
Carnige-Mellon University. Hacen investigación y desarrollo en temas muy interesantes
sobre arquitecturas, especificaciones, etc. |
| Análisis de Sistemas, materia del
primer cuatrimestre muy relacionada con esta. Allí podrán encontrar material muy útil
sobre los lenguajes de especificación que aquí se consideran aprendidos. |
| Grupo de Métodos Formales del SRI.
El SRI es uno de los institutos de investigación más pretigiosos en varias áreas de las
Ciencias de la Computación. Pueden ver la página sobre Lógica Lineal. |
| Una de las páginas más completas y tradicionales sobre métodos formales,
Universidad de Oxford. Pueden encontrar ligas referentes a cerca de 80 notaciones
formales, a las páginas de los principales investigadores sobre métodos formales, etc.
Es muy completa. |
| Buscador de papers Cora Research Paper Search. |
| Architectures
of Software Systems: de este curso se extrajo la mayoría de los contenidos de la
Unidad II. Dado por David Garlan en la Carnige-Mellon University. |
| Página personal de Mary Shaw
autora de "Software architecture: perspectives on an emergin discipline" y una
de las más reconocidas investigadoras del tema. |
| Página personal de David Garlan autor de
"Software architecture: perspectives on an emergin discipline" y otra de las
autoridades en el tema. |
| SADL es un lenguaje para
especificación formal de arquitecturas desarrollado en el SRI. |
| The Wright
Architecture Description Language otro lenguaje para especificación formal de todo lo
referente a arquitecturas desarrollado en la Carnige-Mellon University por el grupo de
Shaw y Garlan. |
| Arquitectura de
software en el SEI, lugar donde trabajan Bass, Clements y Kazman. |
| Página con numerosos artículos en línea sobre Análisis de Arquitecturas de Software
con especial énfasis en compresión del nivel arquitectónico, testing, debugging,
ingeniería inversa, re-ingeniería, mantenimiento, etc. |
| The Stanford Rapide? Project : proyecto
semejante al de Carnige-Mellon University o al de SRI pero en Stanford. |
| CORBA, ejemplo de arquitectura en la cual los
componentes son objetos. |
| La empresa que fabrica y distribuye Z/EVES, ORA Canada. |
| La página de Larch en el Mit, su
lugar de origen, donde podrán encontrar el LP. |
| Formal Systems es la empresa de B. Roscoe
que desarrolla el verificador de modelos FDR, especial para CSP. |
| Model Checking at Carnige-Mellon University,
aquí nació el model-checking. Pueden encontrar documentación y herramientas
sobre el tema. |
| Página personal de Edmund E. Clarke uno de
los dos creadores del model-checking. |
| The Coq Project está destinado al
desarrollo de un asistente de pruebas sustentado primordialmente en la teoría de tipos,
aunque puede usarse para pruebas en general. |