Bookmarks

Congresos

1997

10th International Conference of Z Users - ZUM'97
2nd Workshop on Component Oriented Programming (WCOP'97)
AOP Workshop
ECOOP´97 (Finnish Site)
II JORNADAS DE INGENIERIA DEL SOFTWARE (JIS97)

1998

11th International Conference of Z Users - ZUM'98
19 escuela de verano
Call for Participation CSS `98
ECOOP'98 Reflective Object-Oriented Programming and Systems Workshop
ECOOP'98 Workshop Reader
ECOOP'98 Workshops
ICSE98 joint workshop announce
III Jornadas sobre Tecnología de Objetos_ Introducción.
IX CLAIO - 27 JAIIO
JIS 98. III Jornadas de Ingeniería del Software
JIS'98_ Artículos recibidos
Middleware'98
papers de Reflective WS (ECOOP'98)

1999

DRAFT ETAPS'99 programme
ECOOP'99 Workshop Guidelines
ECOOP'99 Workshop on Object Interoperability
ECOOP'99
esec99.html
FM'99 mini-track _ user group meeting_ B-Method
FM'99 World Congress on Formal Methods
FMOODS'99
FoCBS
IFM '99
IV Jornadas de Ingeniería del Software y Bases de Datos.
IV Jornadas de Ingeniería del Software
OOPSLA 99 Home Page
SEID´99
TOOLS Europe'99
WCOP'99
Workshop on Compositional Software Architectures
Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours

2000

5th FMICS workshop
Architectures & Component Technology
Coco 2000 Homepage
ECOOP 2000 Home Page
eGroups _ cbd-tools2000
FMOODS 2000 - Call For Papers
FSE 2000 - Home
I Taller de Trabajo en Lenguajes Formales de Especificación en el Desarrollo de Software
ICFEM 2000
Integrated Formal Methods 2000
ISCDIS'00 Pagina Principal. I Taller de Trabajo en Ingeniería del Software basada en Component
JELIA 2000
Seid 2000_ Simposio Español de Informática Distribuida
TOOLS Europe'2000 Home Page
V Jornadas de Ingeniería de Software y Bases de Datos. Valladolid 2000
Web Engineering Workshop, WWW9 Conference, Amsterdam, May 2000
websuvigo
WOI'00. 2nd ECOOP Workshop on Object Interoperability
ZB 2000
ZB2000_ International Conference of B and Z Users

2001

27th EUROMICRO CONFERENCE
ASSE-2001 Home Page
CAiSE'2001
CSMR 2001
Distributed Multimedia Object_Component Systems (DMMOS'2001)
ECOOP 200 Workshop proposal
ECOOP 2001
EDOC 2001
ESEC - 8th European Software Engineering Conference and 9th ACM Sigsoft Symposium on Foundation
Euromicro'2001 Workshop on CBSE
formal foundations of software evolution (FFSE)
Formal Methods for Parallel Programming_ Theory and Applications
ICEIS 2001
International Conference on Distributed Computing Systems 2001 (ICDCS21)
ISCDIS'01. 2º Taller de Trabajo en Ingeniería del Software basada en Componentes Distribuidos
JAIIO 2001 - Jornadas Argentinas de Informática e Investigación Operativa
Tenth OOPSLA Workshop on Behavioral Semantics
The Home Page of POPL 2001
The Third IFIP International Working Conference on Distributed Applications and Interoperable S
TOOLS EUROPE 2001
TOOLS USA 2001 - 39th International Conference on Component and Object Technology
VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD´2001)
WICSA 2001_ The Working IEEE_IFIP Conference on Software Architecture
Woobs' Home Page
WOODPECKER'2001
Workshop en Requisitos 2001

2002

ccs
CD 2002
ECOOP'2002 Task Schedule
FMCO 2002
IDEAS2002

antiguos

OOPSLA 1995
OOPSLA Workshops Overview & Schedule

general

ECOOP Home Page
FMOODS homepage
ICSE 2001 Other ICSE Conferences
Object-Orientation Ph.D. Network - Home Page
TOOLS_ Technology of Object-Oriented Languages and Systems
ZUM_ International Conference of Z Users

Organizacion de congresos

Conference resources

Cosas mias

Acceso a Bases de Datos
ATI_ Glosario de Internet, página de acceso
Ayuntamiento de Málaga - INICIO -
Banco de Santander
Biblioteca Nacional
Bienvenidos a la web de AI2A - Asociación de Ingenieros en Informática de Andalucía
Boletín Oficial del Estado
calendario nacinal de carreras populares
Callejero, plano y guía de la ciudad de Málaga
Cancionero de la Tuna
cartelera de cine (Málaga)
CENTRO DE ESTUDIOS HERALDICOS
CervanTeX
Ciencia Digital - Nº 9, Junio 2000
Correo de Alumnos
Cortijo el Alamo
Dictionary of Computing (Brighton Univ.)
El digital en Altavista
EL PAIS DIGITAL - ENVIO DE TITULARES
Enlaces de Interés del SCI
FAST Search_ All the Web, All the Time
Floramar Garden Center
Foreign Exchange Rates
FTP de Rediris
Iberia_ Home Page
IJA - International Jugglers' Association
Index of _Mirrors_info-mac.org_game
inedito, grafismo y multimedia
La Página del Idioma Español - The Spanish Language Home-Page
Millennium Marathon Madrid
Museo del Prado
Nuevo Tesoro Lexicográfico de la Lengua Española la RAE.
Periodicos_ Diario Sur
Periodicos_ EL PAIS DIGITAL
Postales
Página nueva 4
Página personal de Antonio Vallecillo
Páginas Amarillas Online
Shockwave Download Center
Software Bugs
The ACM Portal to Computing Literature
The Interactive Currency Table(tm)
The Manhattan Transfer Discography
Virtual Tourist - Europe
WEBON, PICA, PICA
Welcome to euroShell International
Welcome to MapQuest_ Driving Directions, Maps, and Live Traffic Reports.
XVI Maratón de Sevilla.

Editoriales, Revistas y Serv. de Publicaciones

Editoriales y Servicios de Publicaciones

Adobe Systems Ibérica
Elsevier Science _ Your gateway to science
IEEE proceedings instructions
IEEE Software Engineering Standards Zone
Kluwer Academic Publishers Group (ftp___ftp.wkap.com_)
Kluwer Academic Publishers
LNCS_LNAI_ Information for Authors
Prentice Hall College Publishing_Prentice Hall PTR
Ratio Group - Excellence in Object and Component Software
Simon & Schuster_ A Viacom Company
The Collection of Computer Science Bibliographies
TUCS General Publications
Welcome to IEEExplore

Librerías

Amazon.com
biblioteca UMA
Librería Proteo
Searching for books in the Springer Catalogue
World Scientific Online Bookshop

Revistas

ACM Transactions on Internet Technology
ACM Transactions on Programming Languages and Systems (TOPLAS)
Annals of Software Engineering - An International Journal
Computer Science Journals
Computer Standards & Interfaces
Computer Standards & Interfaces
ContentsDirect Change Registration
http___www.elsevier.nl_locate_jss
IEEE Distributed Systems Online
IEEE Transactions on Software Engineering
Information and Software Technology (Elsevier)
JCR-Web Welcome
JOOP
Journal Lists_ ISI
Journal of Systems and Software
Journal of the ACM
Parallel Computing
ResearchIndex [NEC Research Institute; Steve Lawrence, Kurt Bollacker, Lee Giles; Computer Science]
Revista Computación y Sistemas
Science of Computer Programming
SEweb
Software Development Online
Springer LINK_ Software - Concepts & Tools
The Component-based Development Headquarters
The Computer Journal
Theoretical Computer Science (Elsevier Science)
Theoretical Computer Science
Theory and Practice of Object Systems

People & groups

People

Andy S. Evans
Anna Mikhajlova
Antonio Brogi's Home Page
Bedarra
Bertrand Meyer's home page at Monash
Bill Pugh
Carolyn L. Talcott
Christiano Braga Home Page
Claudia Pons' Home Page
Clemens Szyperski
Computer Science_ Dr J Derrick
Datos personales de Juan Carlos Yelmo García
Don Knuth's Home Page
Doug Lea's Workstation
Douglas C. Schmidt's Welcome Page
Dr. Fayad's Webpage
EKIN Research Group
Elie Najm's Home Page
Fan Chung Graham's Homepage
GARY T. LEAVENS
Giuseppe Castagna, home page
Grit Denker
Home Page - Jaelson Freire Brelaz de Castro
Home Page for Alex Borgida
Home Page for Boris Magnusson
Home page for Jørgen Lindskov Knudsen
Houari A. Sahraoui
Hussein Zedan's Home Page
Index of _~martin_bp
J L Balcázar
Jaime Gomez Home Page
Jan Bosch's Home Page
Jim Woodcock
Jonathan Bowen
Joseph Goguen
Juan Jose Moreno Navarro
Juan Pavón Mestras
Leonid Mikhajlov
llf home page
Luca Cardelli
Martin Büchi, Åbo Akademi, Turku, Finland
Matthew Hennessy
Mehmet Aksit
N.Minksy
Nenad Medvidovic
Oscar Nierstrasz's Home Page
Peter Henderson's Home Page
Peter Hodgson Friedrichs
Peter Wegner's Home Page
Página Personal de Oscar Pastor
Página web de Macario Polo Usaola
Robert Tolksdorf Homepage
Ronald Graham's special page
Rémi Bastide
The people behind Eiffel_ Bertrand Meyer
TriReme Object and Component Based Development - Catalysis
vv home page
Wolfgang Weck
Xavier.Blanc
Yoshida's web page

Universidades, centros y departamentos

Bienvenidos a Telefónica Investigación y Desarrollo
Centro de Informática UFPE -Brasil
Department of Computer Science at University of Pisa_ Home Page
Dpto. de Sistemas Informáticos y Programación
DSSE_ Declarative Systems & Software Engineering
Innovación Educativa y Enseñanza Virtual · Página Principal
Instituto de Ciencias de la Educación
LRGL-SOFTWARE ENGINEERING MANAGEMENT RESEARCH LABORATORY
news@sei interactive
Politecnico di Milano - DEI Department - Main Menu
Procedimientos Uno - Página principal
Programming Methodology Group
Rutgers Research
Software Engineering Institute (SEI) Home Page
Software tecnico para Arquitectura e Ingenieria - Procedimientos-Uno
U.Toronto - Department of Computer Science
Universidades
UPC

Proyectos

Año mundial de las matematicas

Comité Malagueño para el Año Mundial de las Matemáticas
La Ciencia es Divertida
World Mathematical Year 2000

CICYT

COMISION INTERMINISTERIAL DE CIENCIA Y TECNOLOGIA

WEST

BIENVENIDO AL WEB DEL CYTED

Research Topics & Groups

comunicacion de datos

IETF Home Page
NCSA HTTPd Tutorials

Formal Methods

Calculi for Mobile Processes
High-Integrity System Specification and Design
International Petri Nets Community
Larch Frequently Asked Questions
Maude
Model checkers versus Theorem Provers
ProCoS archive
SVRC Technical Reports
SVRC Web Pages
The World Wide Web Virtual Library_ Formal Methods Meetings
The World Wide Web Virtual Library_ Formal Methods
The World Wide Web Virtual Library_ The Z notation
The Z formal specification notation
TLA - The Temporal Logic of Actions
What is Object-Z_

Frameworks & Componentes

COTS

ComponentSource - Welcome
COTS-Based Systems (CBS) Initiative
developerWorks Java technology Web services History-making components
Flashline.com - Transforming Software Development
Hyperwave Root Collection
JARS.COM The #1 Java Review Service
SURPRISE 2001 Component Based Development

A Component Engineering Cornucopia by Gopalan Suresh Raj
ACE Papers
BBN Distributed Systems Papers and Presentations
CBSE Home Page - Welcome
cbse@eGroups.com
Commercial Off-The-Shelf Software
ComponentSource - The Definitive Source of Software Components
COTS-Based Systems (CBS) Initiative
documentos de SD
DOTS Diversity with Off-The-Shelf Components
GNOME España
Hector
IBM Dynamic e-business Resources
Ingeniería del Software Basada en Componentes
loop-index
Mundo Delphi.
Página de Información de Swcomp
SIGS_Acceptor and Connector Patterns
Taking a global view of legacy systems
Talkitover - Trusted Components
The JML Project
The Object-Oriented Framework Bibliography
The Trusted Components Initiative
Trusted Components for the software industry

ISO_ITU-T & RM-ODP

Documentos en revisión _ ctn71sc7 - Conjunto de marcos
Guide to the SWEBOK
http--www.jtc1-sc7.org-
International Telecommunication Union (ITU) Home Page
ISO homepage, English, with graphics
ISO_IEC JTC1 SC7
JTC1_SC7 Web Site
ODP Enterprise language editing meeting, Helsinki 2001
Open Distributed Processing - Reference Model
Publicly Available Standards
THE ISO9126 FRAMEWORK

Lenguajes, Productos, Prototipos y Herramientas

.NET_C#

csharp tutorial
El rincón español del C#
Microsoft .NET Home Page

Fishmarket

Jim
The Fishmarket Project

InfoSpheres

Caltech Infospheres Group

Java

J2EE

Java(TM) 2 Platform, Enterprise Edition

Java Beans
Java Platform 1.1.1 Core API Package Index
Java Tools Ref (Solaris)
Java(tm) Developers Kit Installation
JavaBeans Spec
The Infospheres Java Coding Standard
The Java(tm) Development Kit 1.1.1
Welcome to AppleJava

Linda

Persistent Linda Home Page
The ACLT system

Maude

Maude

PageSpace

PageSpace

Pi-calculus

e-pi
The TyCO Programming Language

Ada Programming Language Resources for Educators and Students
C++ tutorials for beginners
Generative Programming
Java Programming with CORBA, 3E
Message Sequence Charts (MSC) - Home page
Object Constraint Language (OCL)
Programar con estilo
Programming tutorials for beginners - 1001 Tutorials
The CorbaScript Language

Listas de Distribución de Grupos

av at uma.es Configuración de la lista Ldpdi
CHOOSE Home Page
Javares mailing list
Servicio DISEVEN

misc

GEB web
Ian Sommerville Lecture
Proyecto LuCAS_ Página Principal
Reengineering Taxonomy
Requirements Engineering
The Computer Forum (IEE)
Welcome to WebRing!

OMG & CORBA

CORBA & CORBA Component Model (CCM)
CORBA Services Available Electronically
CORBAnet - The ORB Interoperability Showcase
CORVAL2 - CORBA Validation Home Page
CURSO PRÁCTICO DE CORBA EN GNU_LINUX
Deja.com_ View Discussion_ The CORBA "component model"_
Distributed Object Group - CORBA Objects and Components Technologies
DSTC Meta-Object Facility Information
DSTC Products
eGroups _ xmlpc-corba
Genesis Development® - Enterprise Component Strategies & Solutions (Home Page)
GNOME - BarraPunto
Important OMG Documents
IONA Technologies - OrbixWEB (for developers)
IONA Technologies - OrbixWeb 3.0 for Java (download)
IONA Technologies - OrbixWEB page
Object World Berlin '99 - International Trade Fair on Object Technology
OMG Presentation Library
Specification Vault
UML Open Edition

Paradigmas

Agentes

Agentes Inteligentes

AOP

Aspect-Oriented Programming Home Page

Arquetipos y Esqueletos

Caltech Archetypes_eText Project
para.html
Skeletal Parallelism Homepage
The P3L Project

Composition Filters

TRESE

OSL and Actors

OSL Home Page

Tex

FTP Directory_ estilos
FTP Directory_ Fuentes de la AMS
Open Directory - Computers_ Software_ Typesetting_ TeX
Pagina de la AMSFonts
The TeX Catalogue OnLine, Complete Home Edition

XML_Internet

FAQ for XML-PC - OMG Corba Integration
OBJS Home Page
Resin _ Developer Source, XSL-enhanced JSP and Servlets
Simple Object Access Protocol (SOAP) 1.1
W3C Technical Reports and Publications
Web Service Definition Language (WSDL)
XML Schema Part 0_ Primer
XML Schema Part 1_ Structures
XML Schema Part 2_ Datatypes

Vínculos