Luis Iribarne's Home Page > Miscelanea


Home
Courses
Research
Biography
Links













Luis Iribarne
Miscelanea
 

Luis Iribarne's bookmark

Express links

1 - Luis Iribarne's home page
2 - University of Almería (Spain)
3 - Colegio Profesional de Ingenieros de Informática de Andalucía 

The Hunger Site Home - Donate Food for Free to Hungry People in the World

Research Links on Software Engineering

CBSE -- Component Based Software Engineering

Actors

Cetus Links: 15,723 Links on Objects and Components / Distributed Objects & Components: Overview

Architecture & Design

ACME (David Garlan)
Carnegie Mellon University
AESOP (David Garlan)
Carnegie Mellon University
Darwin
Distributed Software Engineering Group
Rapide[tm]
Program Analysis and Verification Group
SADL
SRI System Design Laboratory
Unicon
Carnegie Mellon University
The Wright Architecture Description Language
Carnegie Mellon University
The Role of Architecture Description Languages in Component-Based Development: The SRI Perspective
Software Engineering Institute
Architecture Description Languages
Software Engineering Institute (SEI)
Patterns Home Page
Cetus Links: 18,825 Links on Objects and Components / Architecture and Design: General Information

COTS CBSE

Search Engines

Search Engine World By Webmasters For Webmasters
COTS Journal

COTS -- Commercial Off The Shelf

COTS Workshop Position Papers
Commercial Off-The-Shelf Software
RESG Events in 1999/2000
Software Tech News 2-3: COTS Software
Agora: A Search Engine for Software Components
An Architectural Approach to Building Systems from COTS Software Components
CBS Overview
COTS-Based Systems (CBS) Initiative
COCOTS
CBS Activity Areas
Commercial Off-The-Shelf Software
Component-Based Software Development / COTS Integration
Discussion with Members of the SEI COTS-Based Systems Initiative
Simplex Architecture - Apr 98
SEI Interactive: COTS Spot, Sept 1998
Software Tech News 2-3: COTS Software
SEI Interactive: COTS Spot, Dec 1998
SEI Interactive: COTS Spot, Mar 1999
System Implementation Using Commercial Off-The-Shelf (COTS) Software

Trader component

Trader Publications
Tutorial on ODP Trading Function

Components

Characterization of Components
Nilesh Sampat's Research Page: Components and Component-ware Development
Martin Büchi, Emil Sekerinski, Formal Methods for Component Software: The Refinement Calculus Perspective
A Component Engineering Cornucopia
MTS vs EJB (with specific code examples)
DCOM,CORBA,Java-RMI - A Step by Step Comparison
Component Based Development Forum
Performance Computing - COM vs. CORBA Debate
Component Development Strategies: Home Page
Component Technology Homepage
Component Strategies Online
Component Design Research Study
Component-Based Development
Component Oriented Middleware
Components Online
Component-Speak: A Glossary - CIO - March 1, 1997
Component Software Resources
Component Competence Resources
Component Development 99
ComponentWare Vision and Product Roadmap
Eagle - Thought Leadership
Open Directory - Computers
Specification Matching of Software Components
Why Component-Oriented Programming?

COM/DCOM (Microsoft)

Microsoft COM Technologies - Information and Resources for the Component Object Model-based technologies

CORBA (OMG)

PrismTech integrating CORBA Services, J2EE and XML software standards for enterprises in the telecom, finance and electronic marketplace sectors.
ORBit y GTK: guia rapida como
JavaORB -- Distributed Object Group - CORBA Objects and Components Technologies
ORBacus -- Home Page
MICO - Mico Is COrba
Orbix -- IONA Technologies - Products - Internet
JacORB
VisiBroker -- for Java 4.0: Installation instructions
CORBA with TAO (The ACE ORB)
The Free CORBA page
A CORBA Tutorial
CORBA
Distributed Object Computing Page
CORBA.org -- Welcome To The OMG's CORBA Website
OMG -- Object Management Group Home Page
CORBA EL BUS LOGICO
Rincón del programador : OrbixWeb
COM and CORBA Side by Side
Cetus Links: Objects and Components / CORBA
CORBA
Curso de CORBA
Distributed Object Computing and CORBA Documents
Agentes Móviles y CORBA
Corba/Java Seminar Tour
Distributed Objects - aglets, CORBA, beans, Objects, ORDER, interoperable, JavaBeans, rmicorba, archives, atterns, corbapatterns, Distributed, istributedObjects, OLOR, portfolio, servers, your, ActiveX, Aglets, alphaworks,
Grupo CELSIUS.
ORBit
Welcome to the CORBA Showroom!

Distributed Systems

MIDDLEWARESPECTRA Home Page
Redes de Computadores
Quoin's published articles and 1999 events
sockets
Sistemas Distribuidos
SERVICIOS
Reading from and Writing to a Socket
Practicas de Sistemas Distribuidos
Object Management Group Home Page
Laboratorio de Redes
Introducción a las Redes de Petri.
HIDRA
Design for Open Systems in Java
DCE 1.1 Online Documentation
Dpto. S. Distribuidos. Univ. de Stuttgart
component software
Comunicación entre Procesos UNIX.
Bringing Distributed Objects to the WWW
Algo sobre redes locales ...
Cetus Links: 15,723 Links on Objects and Components / Distributed Objects & Components: General Information
Tecnologias Abiertas

JavaBeans & EJB -- Enterprise JavaBeans (Sun)

J2EE vs. Microsoft.NET
Enterprise JavaBeans(TM) Technology
IDL
Java Middleware Catalog
EJB Resources
VADD - Welcome to VisualAge Developer Domain
Java Beans and EJBs: What's the difference?
JavaBeans(TM): Development Tools
JavaBeans: The Only Component Architecture for Java(tm) Technology
The state of Java application middleware, Part 1 - JavaWorld March 1999
View Source: Advanced JavaBeans
Cetus Links: 15,723 Links on Objects and Components / JavaBeans and Enterprise JavaBeans
Write a session EJB - JavaWorld July 1998

UML (OMG)

Rose Architect Magazine Contents: Visual Modeling, UML, Rational Rose
The Journal of Conceptual Modeling
UML Resource Center: Unified Modeling Language, Standard Software Notation

Formal Methods

NASA Langley Formal Methods Program
WWW Virtual Library: Formal Methods - The B-Method
The World Wide Web Virtual Library: Formal Methods

Larch

Larch Frequently Asked Questions
Specifying Web Architecture with Larch
Larch Project at SRC Home Page
Research Directed by Gary T. Leavens
Larch: Languages and Tools for Formal Specification
An Introduction to Larch
Larch

Standars

The World Wide Web Consortium
International Organization for Standardization homepage

Vendors -- COMPONENTS ...

Instantiations, Inc.
Software Development: Conference & Expo
Specialized Software
Penton Media (formerly Mecklermedia)
Component Development 99
WIPC | Home
KL Group Inc. - Software Development Productivity
Web hosting solution provider, HostPro - cost effective website hosting services
9 Net Avenue -- Web Hosting Solution
Riverton Software
The Object People
SL-GMS: Dynamic Graphics for Monitoring and Control Applications
Welcome to Elixir Technology
Welcome to Force 5 Software
TogetherSoft Company Home Page
Welcome to the Insignia Solutions Home Page
Formula One - Java and ActiveX analytical spreadsheet reporting tool
Sybase, Inc - Corporate Home Page
ObjectSwitch Home
Standard Deviants - Educational Videos and Study Guides
DevelopMentor
Cyrus InterSoft, Inc.
Java database company that provides a pure java database solutions for distributed and mobile applications, Cloudscape Inc.
PointBase, Inc.
BEA Systems: Home of WebLogic
Downloads: Jasmine ii v.2.0 Beta Program Registration
EnterpriseSoft - Java Reporting / Printing Solutions
ProtoView | The Leader In Software Components

Descriptions

Object Request Broker
Two Tier Software Architectures
Three Tier Software Architectures
Software Inspections
Remote Procedure Call
Reference Models, Architectures, Implementations--An Overview
Object-Oriented Design
Object-Oriented Programming Languages
Middleware
Object-Oriented Analysis
Message-Oriented Middleware
Mainframe Server Software Architectures
Java
Firewalls and Proxies
COTS and Open Systems--An Overview
Component Object Model (COM), DCOM, and Related Capabilities
Component-Based Software Development / COTS Integration
Common Object Request Broker Architecture
Client/Server Software Architectures--An Overview
Component Object Model (COM), DCOM, and Related Capabilities
Distributed Computing Environment

Overviews and Information

Object Management Group Home Page
Publicaciones ACM-store
Referencia -- Component Software: Beyond Object-oriented Programming
Software Development Online
Object News

Research Groups in Software Engineering (COTS, Requirements, Components, ...)

Researching Groups SE -- International

ESI Headlines (Europe)
IIT Software Engineering (Canada)
SEI: Software Engineering Institute (USA)
TUCS. Turku Centre for Computer Science
SEI Interactive
CBSE Home Page - Welcome
Software Engineering Information Repository
DSTC - Distributed Systems Technology Centre
CORBA and Distributed Systems Research Group Home Page
Distributed Software Engineering Research Pages
OBJS Home Page
VSYS-WWW Main Page
CREWS: Cooperative Requirements Engineering With Scenarios
Formal Modeling of Information Systems
INCOSE Requirements Work Group
ISE/Inspections-RE at IESE in Kaiserslautern
LRGL-SOFTWARE ENGINEERING MANAGEMENT RESEARCH LABORATORY
Requirements Engineering
Quality Systems & Software - enterprise-wide requirements management solutions for small to large-scale projects
REAIMS Project
RECORD
RENOIR: Requirements Engineering Network
Computer Science Home
General Information

Researching Groups SE -- Spain

Grupo de Ingeniería del Software e Inteligencia Artificial (UCM)
Grupo de Ingenieria del Software y del conocimiento (Las Palmas)
Grupo de Ingeniería del Software / Software Engineering Group - (Murcia)
Grupo de Investigación en Ingeniería del Software - (Sevilla)
GISUM main page - (Malaga)
Grupo de Investigación en Reutilización y Orientación al Objeto (Valladolid)
Object Oriented Conceptual Modeling and Databases Group (Valencia)
Lista CORBA
Grupo CELSIUS.
Ingeniería del Software Basada en Componentes

People -- COMPONENTS

Robert Orfali
Agha, Gul (ACTORS)
Michael Mattsson
Brown, Alan (COTS / Commercial Off-The-Shelf)
Martin Büchi, Åbo Akademi, Turku, Finland
Doug Lea's Workstation
Il-Hyung Cho's Welcome Page
Kistler, Thomas (WebL)
Jan Bosch's home page
Gopalan Suresh Raj (EJB/CORBA/DCOM...)
Oscar Nierstrasz -- Home Page
Pavón Mestras, Juan
Rolland, Colette
Diego Sevilla Ruiz
Schmidt, Douglas C.
Schneider, Jean-Guy
Szyperski, Clemens (COMPONENT SOFTWARE)
Vallecillo, Antonio (COMPONENTS)
Yelmo García, Juan Carlos
Staff Page for Kurt C. Wallnau (COTS)
Wegner, Peter
Zaremski, Amy Moormann (Specification Matching)

Mobile computing & computation

Process calculus models & languages

Action Calculi -- (Peter Sewell)
Ambient Calculus -- (Luca Cardelli)
Blue-Calculus
Fusion Calculus -- (Joachim Parrow & Björn Victor)
Join-calculus -- (Jean-Jacques Lévy)
Spi Calculus -- (Martín Abadi and Andrew D. Gordon)
Seal Calculus -- (Jan.Vitek@HOME)

Programming languages, environments and plataforms

AgentBuilder Pro Evaluation Downloads
AgentBuilder User Guides and Reference Manuals
Agglets -- (MOBILE AGENT SYSTEM)
Ara Platform -- (MOBILE AGENT SYSTEM)
Concordia Documents -- (MOBILE AGENT SYSTEM)
D'Agents -- (MOBILE AGENT SYSTEM)
E -- (Extensions to Java for distributed applitacions)
Erlang
FACILE (European Computer-Industry Research Centre)
Jada home page
JAT- Java(tm) Agent Template
JKQML : another alphaWorks technology
JoCaml system
Kafka -- (multi-agent libraries for Java)
KQML
MARS -- (MOBILE AGENT SYSTEM)
Messenger (Project at the University of Geneva)
Obliq Quick Start
TACOMA -- (MOBILE AGENT SYSTEM)
Tcl/Tk
WebL - A Programming Language for the Web (Thomas Kistler and Hannes Marais)
X-Klaim framework

Tools -- Mobile computing & computation

JAE project
IBM Aglets Software Development Kit - Home Page
Join-calculus (Jean-Jacques Lévy)
JACK (Rocco De Nicola)
Mobility Workbench (Björn Victor)
Mozart Programming System
Nomadic Pict Page (Peter Sewell)
Pict Programming Language (Pierce, Benjamin C.)
TyCO Programming Language (Luís Lopes)

Agents & Multiagents Systems

Agent definitions

Software Agents, what are they ?
Agent or Program
What's an Agent?
What Is...an intelligent agent (a definition)
The Internet Agents Workshop at HUJI

Researching groups & projects

TACOMA - Operating system support for agents
A-Match: Intelligent Software Agent Matchmaking System
Carnegie Mellon University Robotics Institute - Intelligent Software Agents
KADS-II Project
UMBC Agent Web
MAGMA
University of Michigan DIAG Homepage
The Institute for Intelligent Systems
FIPA Home Page
UMBC CSEE Department
Departamento de Inteligencia Artificial

Bibliography & Related links

AgentLink: A Network of Excellence for Agent-Based Computing
Agentes Inteligentes
Agent Teaching Database
Agent Technologies
Autonomous Agents
Artificial Intelligence Subject Index
AgList
A Mobile Agent Architecture for Distributed Information Management
Bibliography on Software Agents
Bibliography on Distributed Artificial Intelligence and Multi-Agent Systems
Mark's Agents Page
Computer simulation of societies: Home Page
Cooperative Information Agents
Direcciones de interes
"Distributed Artificial Intelligence and Multi-Agent Systems" (W-DAIMAS'97)
Distributed Artificial Intelligence Unit.
Intelligent Software Agents and Telecommunications Control (by Alex Hayzelden)
Lista de Agentes Inteligentes
Links2Go: Agents
MultiAgent Systems Tool information page
Multi-Agent Systems Protocol Language Specification
Other DAI/MAS WWW pages
Software Agents
UK SIG: Foundations of Multi-Agent Systems
WPI AIRG -- Multi-Agent Systems Webliography

People

Mobile Computing

Abadi, Martín (CALCULI FOR MOBILE PROCESSES: Spi-Calculus)
Baggio, Aline (MOBILE COMPUTING)
Björn Victor (CALCULI FOR MOBILE PROCESSES: Fusion Calculus)
Cardelli, Luca (CALCULI FOR MOBILE PROCESSES: Ambient-Calculus)
Cheyer, Adam (CALCULI FOR MOBILE PROCESSES
Christine Röckl (CALCULI FOR MOBILE PROCESSES)
Cocoa's home page (CALCULI FOR MOBILE PROCESSES)
De Nicola, Rocco (CALCULI FOR MOBILE PROCESSES)
Gordon, Andrew D. (CALCULI FOR MOBILE PROCESSES: Spi-Calculus)
Lévy, Jean-Jacques (CALCULI FOR MOBILE PROCESSES: Join-Calculus & Lambda-Calculus)
Parrow, Joachim (CALCULI FOR MOBILE PROCESSES: Fusion Calculus)
Pierce, Benjamin C. (CALCULI FOR MOBILE PROCESSES: Pict Programming Language)
Sangiorgi, Davide (CALCULI FOR MOBILE PROCESSES)
Sewell, Peter (CALCULI FOR MOBILE PROCESSES: Nomadic Pict & Action-Calculus)
Vitek, Jan (CALCULI FOR MOBILE PROCESSES: Seal-Calculus)

Agents & MAS

Baker, Albert D. (JAFMAS)
Brazier, Frances (AGENTS & MAS)
d'Inverno, Mark
Durfee, Edmund H. (AGENTS & MAS)
Escamilla.de.los.Santos, Jose.Gpe.
Hewitt, Carl
Finin, Tim (AGENTS & MAS)
Gadomski, Adam Maria (AGENTS & MAS)
Garrido, Leonardo (AGENTS & MAS)
Gomez Labrador (AGENTS & MAS)
Iglesias Fernández, Carlos Ángel (MAS-COMMONKADS)
Jennings, N.R. (AGENTS & MAS)
Labrou, Yannis (AGENTS & MAS)
Luck, Michael
Stan Franklin--Control of Autonomous Agents
Sascha's Private Page (AGENTS & MAS)
Sierra, Carles (AGENTS & MAS)
Treur, Jan (AGENTS & MAS)
Vázquez, Alejandro
Wooldridge, Mike (AGENTS & MAS)

Resources

Books & Papers

REQUIREMENTS ENGINEERING - A Good Practice Guide
Business Components Factory : A Comprehensive Overview of Business Component Development for the Enterprise
Software Requirements Engineering
Requirements Engineering and Rapid Development : An Object-Oriented Approach
Software Requirements Engineering, Second Edition
Software Architecture in Practice
Requirements Engineering and Rapid Development: An Object-Oriented Approach
Capturing the Benefits of Requirements Engineering
Impact of commercial off-the-shelf (COTS) software on the interface between systems and software engineering

LaTeX and BibTeX

El Paraíso de las Matemátic@s - LaTeX para Windows
Una Descripción de LaTeX
(La)TeX Navigator
The Bibtex2html home page
Preparing a Bibliography With BibTeX
TeX, LaTeX, dvips, bibtex, slitex, ...
LaTeX2HTML Overview
LaTeX help 1.1 - Table of Contents
Graphics and colour with LaTeX
CervanTeX
Los primeros pasos en LaTeXlandia
The WinEdt Home Page
TeX Users Group y otras fuentes de informaciIn sobre TeX

Linux

Linux.com - A Means to World Liberation!
Quanta Plus Web Development Environment
KSourcerer.org - Development tools
Acerca de Eurolinux
KDevelop - Download
GNU No es Unix! - El Proyecto GNU y la Fundación para el Software Libre (FSF)
Woven Goods for Linux - Development Software
GNU/Linux Frequently Asked Questions
The Linux Home Page at Linux Online
Welcome to the RPM repository on www.kaybee.org
GNU No es Unix! - El Proyecto GNU y la Fundación para el Software Libre (FSF)
The Linux Counter
RedHat
The K Desktop Environment
Gul: Grupo de Usuarios de Linux
HispaLiNUX: Asociación de Usuarios Españoles de LiNUX
Software: Indice temático
Página principal de GLUB
Spanish Linux Users Group
Linux/España / Archive at cs.us.es

JAVA

Your local JAVA-Page
Java-Linux
Java(TM) 2 Platform, Standard Edition, v1.2.2 API Specification
Java(TM) 2 Platform, Standard Edition, v1.2.2 API Specification: Class Hierarchy
Java Programming Resources: Java, Java and More Java.
The WDVL: Introduction to Web Programming
Performance tests show Java as fast as C++ - JavaWorld February 1998
La JAVATECA
IBM Privacy
Java en Castellano. Pagina principal
Tutorial de Java - Tabla de Contenido
Tutorial de Java - Home Page
JAVA
Manual del Usuario de Internet
Cookies
Trabajo de Redes de Ordenadores 1997/98: AGLETS
Revista JavaWorld
LECCIONES JAVA
Products & APIs
Java Information Links
JavaScript Guide
JavaMania
Java Programming With CORBA by Andreas Vogel and Keith Duddy
Download Java(TM) 2 SDK, Standard Edition 1.2.2
Download Java Development Kit 1.2
Java Development Kit 1.2
Java IDL Documentation
Java(TM) Foundation Classes

XML

Cape Clear: XML and SOAP middleware connecting J2EE, EJB and CORBA to the Web.
iX: Web languages
webreview.com - XML Tutorial 2: DTDs
Working with XML: The Java(TM)/XML Tutorial
DTD - Webopedia Definition and Links
TOC for XML Tutorial
Developers : XML : Library - Papers
http://www.gca.org/whats_xml/default.htm
xml.apache.org
MSDN Online: XML Developer Center
Arbortext: Enterprise XML Software - Fast Information Creation and Delivery
XML WORLD
XML.com - XML Object Persistence





Applied Computing Group
 
July 2011

©University of Almería (SPAIN)










SOLERES Project