Curso Doctorado - Componentes

Índice/Temario

Enlaces de Interés

Research Topics

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 JML Project
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
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

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. Valladolid 2000
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