| Shortcuts
|
|
Institutions around the world offer electronic services
related to LOTOS, ODP and others. Here are the links to
those that we are aware of.
Let us know
of others that should be added, or of those that should
be changed. |
| LOTOS
|
|
Stirling University
|
From Computing Science and
Mathematics, Kenneth J. Turner's page of
Research
Activities offers a
World-wide
Environment for Learning LOTOS (WELL), with
much varied topics.
|
|
Université de Liège
|
The
Research
Unit in Networking (RUN) has a LOTOS
page discussing LOTOS, ELOTOS, research
activities on LOTOS at RUN and recent
LOTOS-related RUN publications.
|
|
University of Sussex
|
A discussion mailing list about datatypes in E-LOTOS
has been set up at the University of Sussex. You may
Send a
Request to join in and/or consult the WWW
Searchable Archive of the list.
|
|
Technical University of Madrid (UPM), Telematica dept. (DIT)
|
The University of Madrid provides a home page on
LOTOS, with pointers
to bibliographies and a related
WAIS, documents,
tools, etc.
There is also an
E-LOTOS
page and a repository of the related
Working Documents.
|
|
University of Twente
|
The University of Twente provides a home page with
Pointers to Various
LOTOS Sources (papers, examples, tools), including one to
LOTOS
News.
An Index
to All Issues of AMAST (Algebraic
Methodology And Software Technology)
newsletters is available on the WWW server, as well as a
General
Index of AMAST related topics.
|
|
INRIA Rhône-Alpes
|
VASY (VAlidation of
SYstems) presents
CADP
(Caesar/Aldebaran Development Package), dedicated to the
efficient compilation, simulation, formal verification, and
testing of descriptions written in the ISO language
LOTOS.
|
| Use Case Maps (UCM)
|
|
Carleton University
|
The Department
of Systems and Computer Engineering at
Carleton
University maintains the official site of
UCM, prime
source of news, discussions, papers, theses, tools, and
various documentation concerning Use Case Maps.
|
| Features Interactions
|
|
University of
Strathclyde
|
The Feature
Interaction Group present their work, including
information on the
Feature
Interactions in Multimedia Systems project which
aims to determine if and where feature interactions are
likely to occur in present and emerging multimedia services.
|
| Formal Methods
|
|
University of Michigan
|
Abstract State Machines.
|
|
University of Glasgow
|
The Formal
Methods and Theory Research Group of the Department
of Computing Science at the University of Glasgow provides a
home page.
|
|
Oxford University
|
The Oxford University World-Wide Web Virtual Library Computing
Software Engineering contains a home page about
Formal
Methods.
|
|
Formal Methods Europe
|
FME is a European organization supported by the
Commission of the European Union (via ESSI
of the ESPRIT programme), with the mission of promoting
and supporting the industrial use of formal methods for
computer systems development.
|
|
NASA Langley Research Center
|
The Assessment Technology
Branch (ATB) has a
Formal Methods
Program.
|
|
Carnegie Mellon University
|
The School of Computer
Science offers information on
Formal Methods - Model
Checking.
|
|
SRI International
|
The Computer Science Laboratory
(CSL) has a page on
Formal
Methods and Dependable Systems.
|
|
UseNet
|
Some newsgroups of UseNet may hold FDT-related
topics. For instance,
Comp.Specification and
Comp.Theory are good prospects.
|
|
CNUCE Institute
|
Visit the site of the
Formal Methods
In Concurrency (FMC) group.
|
|
INRIA
|
The INRIA of Paris has a page dedicated to Pi-Calculus and the Calculi
of Mobile Processes.
|
|
search engine
|
search on Formal Methods by
www.links2go.com.
|
| ATM, GSM
|
|
3GPP
|
A Global Initiative in coordination with
ARIB,
CWTS,
ETSI,
T1,
TTA
and TTC.
Not to forget the corresponding
FTP site with a section
on GSM
specifications.
|
|
The ATM Forum
|
The ATM Forum is a worldwide organization, aimed at
promoting ATM within the industry and the end user
community.
|
|
University of Waterloo
|
The Shoshin
Web Server is at the
Department
of Computer Science of the
University
of Waterloo. Their main research interests are in
management of distributed applications and systems, performance and
quality of service in mobile computing environments, broadband
systems and services in high-speed networks. They have links to
research centres in mobile computing and ATM. A
GSM Page
is also available.
|
|
Indiana University
|
The Cell Relay
Retreat hosts the archives to the cell-relay mailing list,
several other ATM-related mailing lists, and many other
resources. This service is intended as a replacement for the
Cell Relay Gopher.
|
|
Uppsala University
|
Research topics at the Uppsala University (Sweden)
include Feature
Interaction, providing information on upcoming events,
links to places working on the subject, bibliography and papers
available on-line.
|
|
IEC
|
The International Engineering Consortium offers
Web
ProForums that provide working knowledge
of key information technology areas, such as
PCS, IN,
SS7, WIN,
GSM and ATM.
|
|
UNIK
|
Universtetsstudiene på Kjeller has a
GSM-magazine
on the WWW.
|
| Telecommunications
|
|
University of Montreal
|
The "Teleinformatique"
research group works in the areas of
software engineering, distributed algorithms and communication
protocols for OSI and high-speed networds, including topics like
feature interactions, protocol design methods, executable formal
specifications, test case selection and analysis of test cases
and test results with respect to the specification.
|
|
University of Manitoba
|
The
Comprehensive
Telecommunications Resource Web site is a telecom information
page maintained by
Prof. Blight from
the
Department of ECE at
Manitoba. The information collection is
semi-automated and periodically filtered to eliminate any potential
stale links.
|
|
IFIP
|
The International Federation for Information Processing.
The home page of IFIP
TC6 (Communication Systems) contains, in particular,
lists of workgroups and events.
There is also IFIP
TC6 WG6.1, Architecture and Protocols for Computer Networks
|
|
JAIN
|
A set of JavaTM technology based APIs which enable the
rapid development of Next Generation telecom products
and services on the Java platform.
|
| Standardization
|
|
ITU
|
International Telecommunication Union
|
|
TSACC/CCCNT
|
The Telecommunications Standards
Advisory Council of Canada Standards Information Service Web
site is dedicated to standards in Information Technology and
Telecommunications (IT&T). You will find not only Canadian sources
of information, but also access to American and International
sources available on the Internet.
|
|
ISO On-Line
|
The International Organization for Standardization (ISO)
offers an On-Line Service in
English and in
French).
|
|
Parlay APIs
|
The Parlay
Group is an open multi-vendor consortium formed
to develop open technology-independent Application
Programming Interfaces (APIs).
|
| ODP
|
|
TINAC
|
The Telecommunications Information Networking Architecture
Consortium (TINAC) tackles research areas related to
ODP and telephony applications.
|
|
University of Queensland
|
The University of Queensland (DSTC) set up an RM-ODP
Home Page. They also provide information on the
ODP
Trader. Topics covered by this service include trader
description, trader tutorial, papers on trader, presentations on
trader, people doing work with trader, ongoing trader research,
trader related work, trader related events and trader standards.
On the same server, one can find the home page of the
architectural semantics discussion group, dealing with
issues related to RM-ODP, Part 4:
Architectural Semantics. It contains presentations, tutorials,
papers related to the subject, sample specifications, and the
archive of the discussion.
|
|
Electronic Journal on Networks and Distributed Processing
|
The Electronic Journal on Networks and Distributed Processing
(EJNDP) is an international journal catering for all those involved
in managing, designing or operating networking and distributed
computing activities. It is published by the
TASC
(Téléinformatique et Analyse des Systèmes
Communicants) laboratory,
University of Pau, France,
and is accessible via WWW
and FTP.
|
|
CONCURRENCY
|
A moderated CONCURRENCY FORUM discusses concurrent
process theory. This includes operational and abstract
semantics, specification, and verification of concurrent,
distributed, reactive, real-time and hybrid systems (e.g. Trace
theory, Pi-calculus, Concurrent proof nets and Linear Logic,
Linear and Branching Temporal Logic, Concurrent Logic- and
Constraint-Logic Programming).
|
|
SEWORLD
|
SEWORLD is a mailing list provided as a service to the
Software Engineering community, and is intended primarily
for the dissemination of time-sensitive information
relevant to the field of software engineering research.
|