Ingeniero de software

Lenguajes de programacion e Ingenieria de Software . Ciencias De La Computaci

12.10.2016

Lenguajes de Programacion e Ingenieria de Software

Lenguajes de programacion e Ingenieria de Software . Ciencias De La Computaci
UW CSE Lenguajes de Programacion e Ingenieria de Software (PLSE) grupo de los avances de la investigacion fundamental y desarrolla soluciones a problemas del mundo real mientras evitando arbitrarias fronteras en el campo. Nuestro enfoque colaborativo y el enfasis en la teoria y en la practica nos distingue de muchos de nuestros companeros. Con cuatro nuevos miembros de la facultad a partir de 2013, estamos creciendo en muchas direcciones.

PLSE de la facultad y los estudiantes se benefician de fuertes lazos con el local de la comunidad de software y la interaccion con investigadores de Cray, de Investigacion de Microsoft, NVIDIA, Pacific Northwest National Laboratory, y otros. Nuestro trabajo abarca el espectro de lenguajes de programacion e ingenieria de software, incluyendo entornos de programacion, analisis de programas, el lenguaje de diseno, tiempo de ejecucion de sistemas, compiladores, pruebas, verificacion, y de seguridad. Varios de nosotros tambien participar en la UW CSE inter-disciplinaria SAMPA grupo. que desarrolla proyectos de investigacion centrados en la fabricacion de sistemas de computacion mas rapido, mas fiable y mas eficiente de la energia.

Nos apoyamos en la teoria, el diseno y la experimentacion para construir software util de los artefactos que beneficien tanto a la comunidad de desarrolladores y usuarios finales. Nuestra investigacion se ha llevado a avances en el tipo de sistemas, pruebas de software, programacion paralela y simultanea, a la verificacion formal, el programa de sintesis, aproximado de la informatica, programacion web, y mas. UW CSE tiene una historia orgullosa de producir graduados con fuerte registros de la realizacion de los lenguajes de programacion e ingenieria de software. Nuestro Tel. D. egresados ir a prestigiosos de la industria y puestos academicos, y muchos estudiantes de pregrado y estudiantes de Master de hacer un gran trabajo con nosotros antes de pasar al empleo con las empresas lideres o entrando en la parte superior de los programas de posgrado.

en general Tenemos tantas que nos cuesta mantener un up-to-fecha de la lista de proyectos disponibles publicamente. Aqui es solo un punado de los muchos de nuestros proyectos mas recientes en los que puede dar un sentido de nuestra gama de intereses:

  • Roseta. Un nuevo solver asistido por el lenguaje que extiende la Raqueta de lenguaje con las instalaciones para el programa de sintesis, verificacion, depuracion y angelical de ejecucion, el uso de SAT y de SMT solucionadores de problemas. Roseta facilita el desarrollo de nuevas solver asistido idiomas para dominios especificos, con solo escribir un interprete o una biblioteca.
  • Verificado la infraestructura de software. Ser capaz de construir software, junto con una maquina-seleccionable prueba de correccion para las principales propiedades del sistema se esta convirtiendo en una realidad. Edificio en nuestros exitos del pasado en la construccion formalmente verificada de los navegadores web y el compilador de optimizacion de marcos, ahora estamos trabajando en ambitos tales como el de binario a nivel de las transformaciones de los sistemas distribuidos y de punto flotante calculos.
  • Pruebas de pruebas. Una prueba de la calidad de la suite es de fundamental importancia para cualquier software, proyecto de ingenieria, pero esta lejos de ser resuelto como crear de manera eficiente la calidad de la suite de prueba o, incluso, como definir y medir la calidad de un conjunto de pruebas. Nuestro ultimo trabajo ha arrojado nueva luz sobre las preguntas con mas rapido, mas escalable tecnicas para la generacion de pruebas de calidad, asi como de los nuevos analisis y parametros de referencia para medir la efectividad de una tecnica de prueba.
  • Enchufable tipo de comprobacion. Un enchufable tipo de corrector refina (fortalece) la incorporada en el sistema de tipos de un lenguaje de programacion. Seguimos el desarrollo de la infraestructura para que sea facil definir el tipo personalizado-las damas de la novela de propiedades del programa, que a su vez ayuda a los desarrolladores a encontrar defectos o probar su ausencia – de forma estatica. Tenemos los desarrolladores de fichas para varias de estas propiedades, incluidos los errores relacionados con las cadenas de formato, graficos hilos, expresiones regulares, y mucho mas.

Descripcion del articulo: ingeniero de software

Fuente: Lenguajes de Programacion e Ingenieria de Software | Ciencias de la computacion & Ingenieria

Також ви можете прочитати