Up to personal profile

Sergio Silva's Bookmarks


Software Engineering

AT&T Bell Laboratories Research
Bibliographies on OOP
Cleanroom Software Engineering
Designing and Building Parallel Programs
DRA-Open Distributed Systems
Information systems Technische Universität Wien
Politecnico di Milano SE Area
Software Engineering@RSPA
SRI-CSL-PVS
The Stanford SUIF Compiler Group
University of Klagenfurt

Space

Carlo Gavazzi Space S.p.A. - Home Page
Fuchs Gruppe
European Space Agency
ESTEC External Home Page
ESA/ESTEC/WME Software Engineering and Standardisation
International Space Station
CNN: International Space Station
SOI/MDI Operations

Ada

ACES v2.0
Ada
Ada Core Home Page
Ada Europe
ASSET Welcome Page
GNAT Reference Manual
GNAT User's Guide
Home of the Brave Ada Programmers
Introduction to Steelman On-Line
PAL Top-Level Directory
SIGAda Home Page
Software Innovations Technology Home Page
The (free) Ada95 Booch Components
The GNAT Project
The NPL Home Page
Threads: A Modula-3 Newsletter

Testing

Cantata and Ada TEST for Ada, C & C++
Cleanroom Software Engineering, Inc.
Comp.Software.TestingArchive:MainIndex
Control Flow Graph Toolset
ISSE Home Page (George Mason University)
Marick's Corner
Panorama C/C++ for software testing
Purdue Department of Computer Sciences
Pure Atria
Reliable Software Technologies Corporation
Software Research, Inc.
Software Testing Institute
Software Testing Laboratories, Inc.
Software Testing Support
Test Environment Toolkit (TET)
Testlinks
The Arcadia Research Project

OO Testing

Bibliography on testing object-oriented software
Bullseye Testing Technology
Clemson Computer Science Research Summary
EPFL List of OO Research Projects
FAQ GNU C++ compiler - TOC
Index to Object-Oriented Information Sources
OSM Lab Home Page
Object-Orientation Ph.D. Network- Home Page
Project Technology, Inc.

Petri Nets

Of course... Cabernet
Petri Nets Tools List
Petri Nets Web Overview

CASE

Aonix Home Page
CASE Tool Home Page
MetaCASE-Tools
MetaEdit:The CASE tool with a difference
The Metaview Project
Welcome to the Graphical Designer

STL

Generic Programming
STL Web Site
Standard Template Library

Mach

CMUCS Project Mach Home Page
Getting Started With POSIX Threads
OSF and Mach Kernel Presentation
The Mach4 Project
Yahoo-Mach

IBM

AIXtra Magazine
IBM RISCSystem/6000 Products & Services
RS/6000 Other Net Resources

Mexico

CONACyT
CONACyT-Informacion a Becarios
CONACYT_List
Diario de Yucatán
ELNET Home Page
InfoSel Home Page
Mexico Virtual
Mexico-ITESM-
Mexico-UdG-
The Aztec Calendar
UNAMSat (Mexican Satellite Built by UNAM)
Welcome to Mexico!
WWW de SPIN-Internet Mexico, D.F.

Journals and Magazines

CSP:Sommario Televideo Ultim'ora
Electronic Magazines
Excelsior: Express
Jornal do Brasil
La Jornada
Proceso
Reforma
Science On-Line
SPIN-Internet: Resumen de Noticias

Spare Time

Brescia e Provincia
General Astronomy Information
Heineken e-cards
Hypertext Webster Interface
La Guida Del Nottambulo
LucasArts Entertainment Company
Lucasfilm's THX Home Page
Mark's Tai Chi Page
PIZZA.IT
Puzzles
Rabbit's Ph.D. Thesis
Secular Humanism Web
Squash
Star Wars Home Page at UPENN
STAR WARS QUIZ ANSWERS
Subway navigator
The National Football League (NFL)
The Postcard Store
The ultimate band list
What to see on the Web

Literature

Ernest M. Hemingway
Italian literature in HTML
Milan Kundera

Music

Caifanes
Canzoni d'autore italiane
Juan Luis Guerra
Lyrics server
Peyote
Pink Floyd
Queen
U2
Videomusic

Sax

Saxophone Buyer's Guide
The International Saxophone Home Page
The Saxophone Page
Your Saxophone Links!

Traveling

Air France
City.Net
ClupViaggi Home Page
Epicurious travel
Foreign Languages for Travelers
Il Touring Club Italiano
Internet Air Fares
Italian Railways Timetables
KLM

Others

Altavista
AltaVista: Advanced Query
Applicazione OPAC CILEA
CORDIS
Exchange Rate Menu
INTELLICAST: Milan Weather
JohnWiley&Sons, Inc. Publishers
Lycos Search Form
Lying with numbers



Up to personal profile


s.silva@computer.org, March 1999