ESPRIT '88: Putting the Technology to Use : Proceedings of the 5th Annual ESPRIT Conference, Brussels, November 14-17, 1988, Part 2North-Holland, 1988 - 1759 pages |
From inside the book
Results 1-3 of 26
Page 1178
The formal language chosen for the PANGLOSS project, is LOTOS [ISO8807).
Since LOTOS has a mathematical basis (CCS and ACT-ONE), a specification
written in LOTOS has always a unique meaning and can not be misunderstood.
The formal language chosen for the PANGLOSS project, is LOTOS [ISO8807).
Since LOTOS has a mathematical basis (CCS and ACT-ONE), a specification
written in LOTOS has always a unique meaning and can not be misunderstood.
Page 1193
We only mention here: Restriction of LOTOS at certain description levels. The
notation in which events are described in LOTOS is very powerful. This is exactly
what is needed for abstract descriptions. Some of these notations however are
not ...
We only mention here: Restriction of LOTOS at certain description levels. The
notation in which events are described in LOTOS is very powerful. This is exactly
what is needed for abstract descriptions. Some of these notations however are
not ...
Page 1215
3 Expressing the design The abstract nature of LOTOS makes it a powerful
specification language. Since it abstracts away from conventional hardware it is
not so good at expressing designs at an implementational level. In fact, hardware
can ...
3 Expressing the design The abstract nature of LOTOS makes it a powerful
specification language. Since it abstracts away from conventional hardware it is
not so good at expressing designs at an implementational level. In fact, hardware
can ...
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Client Design for the MULTOS Multimedia Office Filing System | 893 |
Speech Integration in an Office Demonstrator Project | 906 |
Natural Language Dialogue in an Office Environment Project | 917 |
Copyright | |
57 other sections not shown
Other editions - View all
Common terms and phrases
abstract activities algorithm allows analysis application architecture basic CCITT CFRV client CNMA COMANDOS communication complex components concept database defined described Directory Discrete Cosine Transform distributed document processing domain entities environment ESPRIT Project evaluation factors FAOR Figure format functions gateway graphical hardware implementation input integration interaction internal invocation kernel language layout logical LOTOS machine manufacturing mapped Mbit/s messages method methodology module node object oriented office information system operating system packet PANGLOSS performance Petri nets phase planning possible predicates procedure processors production programming protocol query QUIPU reference requirements ring robot scheme selection semantics server SGML slot specification standard structure subnetworks subsystem task techniques token ring UCOL UNIX uptake user interface workcells workstation X Window System