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