959 search results - page 2 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
COLING
1996
13 years 6 months ago
1996
EICS
2009
ACM
13 years 9 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
HICSS
2000
IEEE
13 years 10 months ago
2000
IEEE
We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniq...
FORTE
1990
13 years 6 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
ESM
2000
13 years 6 months ago
2000
The framework of this paper is the design of complex communication protocols by simulation, based on formal description techniques (FDT). We propose a general-purpose scalable mod...