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 83
Page 1213
The method being developed is based on a formal specification language,
LOTOS [Brinksma87]. This is done to provide correctness of the design, to make
the design process more auditable, and to increase the level of confidence in the
...
The method being developed is based on a formal specification language,
LOTOS [Brinksma87]. This is done to provide correctness of the design, to make
the design process more auditable, and to increase the level of confidence in the
...
Page 1249
Editi hod bod Besides giving the names of the arguments (if any), specification of
a method body involves the declaration of temporaries (if necessary) and
ordering of actions thanks to control structures. Basic actions are access/update
of the ...
Editi hod bod Besides giving the names of the arguments (if any), specification of
a method body involves the declaration of temporaries (if necessary) and
ordering of actions thanks to control structures. Basic actions are access/update
of the ...
Page 1526
The execution of the method may alter the local data and possibly send
messages to other objects (including itself). When the method is completed, the
control and a value (which may be an object) is returned to the calling method
which is ...
The execution of the method may alter the local data and possibly send
messages to other objects (including itself). When the method is completed, the
control and a value (which may be an object) is returned to the calling method
which is ...
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