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
- Día 1 (L 4/6/2001): Arquitectura del Software y Marcos
de Trabajo (Lección 1, primera parte)
- Día 2 (M 5/6/2001): Programación Orientada a Componentes
(Lección 1, segunda parte)
- Día 3 (X 6/6/2001): Métodos Formales para Sistemas
Abiertos (Lección 2)
- Día 4 (J 7/6/2001): Interoperabilidad de Componentes
(Lección 3)
Bibliografía Básica
- S. Robertson, J. Robertson. “Mastering the Requirement Process”.
Addison-Wesley, 1999.
- C. Szyperski. “Component Software. Beyond Object-Oriented Programming”
Addison-Wesley. 1998.
- D. D’Souza, A. Wills. “Objects, Components, and Frameworks
with UML”. Addison-Wesley, 1999.
- R. Sessions. “COM and DCOM. Microsoft’s Vision for Distributed
Objects”. John Wiely and Sons, 1998.
- S. Baker. “CORBA Distributed Objects”. Addison-Wesley,
1997.
- S. Zamir (ed). “Handbook of Object Technology”. CRC Press,
1999.
- G. Leavens, T. Sitaraman. “Foundations of Component-Based Systems”.
Cambridge University Press, 2000.
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