Curso Doctorado:
"Ingeniería del Software Basada en Componentes"

Primera parte: 4-7/Junio/2001


Objetivos

El objetivo de esta primera parte del curso es presentar los avances más significativos en el campo del Desarrollo de Software basado en Componentes, cubriendo todos los temas que forman parte de esta disciplina, con particular énfasis en los métodos, plataformas y estándares (tanto oficiales como de-facto) que la industria y la academia han desarrollado para tal fin.

Índice/Temario

Desarrollo del curso

Bibliografía Básica


Algunos enlaces de Interés

Investigación y Desarrollo

W3C Technical Reports and Publications
Distributed Object Group - CORBA Objects and Components Technologies
DSTC Meta-Object Facility Information
CORBA & CORBA Component Model (CCM)
Java(TM) 2 Platform, Enterprise Edition
JavaBeans Spec
OMG Presentation Library
RM-ODP
csharp tutorial
UML Open Edition
ComponentSource - The Definitive Source of Software Components
Microsoft .NET Home Page
Página de Información de Swcomp
BBN Distributed Systems Papers and Presentations
CBSE Home Page - Welcome
El rincón español del C#
GNOME España
Trusted Components for the software industry
The Trusted Components Initiative
Talkitover - Trusted Components
The Object-Oriented Framework Bibliography
Ingeniería del Software Basada en Componentes
Aspect-Oriented Programming Home Page
Calculi for Mobile Processes
TLA - The Temporal Logic of Actions
International Petri Nets Community
Maude
The JML Project
High-Integrity System Specification and Design
ProCoS archive
The World Wide Web Virtual Library: Formal Methods
Larch Frequently Asked Questions
SVRC Technical Reports
The World Wide Web Virtual Library: The Z notation
What is Object-Z?
Model checkers versus Theorem Provers

  Congresos Relacionados


Object-Orientation Ph.D. Network - Home Page
FMOODS homepage
ECOOP Home Page
ZUM: International Conference of Z Users
TOOLS: Technology of Object-Oriented Languages and Systems
The World Wide Web Virtual Library: Formal Methods Meetings

VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD´2001)
V Jornadas de Ingeniería de Software y Bases de Datos. Valladolid2000
IV Jornadas de Ingeniería del Software y Bases de Datos.
Seid 2000: Simposio Español de Informática Distribuida

SEID´99: Simposio Español de Informática Distribuida
ZB2000: International Conference of B and Z Users
ISCDIS'00. I Taller de Trabajo en Ingeniería del Software basada en Componentes

Revistas

SEweb
Parallel Computing
Journal of the ACM
ACM Transactions on Internet Technology
Computer Standards & Interfaces
IEEE Transactions on Software Engineering
Science of Computer Programming
Theoretical Computer Science
The Component-based Development Headquarters
Software Development Online
Journal of Systems and Software
Springer LINK: Software - Concepts & Tools
Journal Lists: ISI
Information and Software Technology (Elsevier)
Theory and Practice of Object Systems
ContentsDirect Change Registration
Computer Science Journals
Theoretical Computer Science (Elsevier Science)
http://www.elsevier.nl/locate/jss
Revista Computación y Sistemas
ACM Transactions on Programming Languages and Systems (TOPLAS)


Ayuda para autores de artículos cientificos y presentaciones