An Approach to the Combination of Formal Description Techniques: Statecharts and TLA

IFM’99 ◽  
1999 ◽  
pp. 231-250
Author(s):  
Thomas Deiß
Keyword(s):  
Formal Description ◽  
Formal Description Techniques

Application of Formal Description Techniques to Real-Time Scheduling

1992 ◽  
Vol 25 (11) ◽  
pp. 253-258
Author(s):  
A. García Lirola ◽  
F. Fournón y González-barcia ◽  
F. Gómez Molinero
Keyword(s):  
Real Time ◽  
Formal Description ◽  
Real Time Scheduling ◽  
Time Scheduling ◽  
Formal Description Techniques

PROCONSUL ON THE WAY TO AUTOMATED PROTOCOL ENGINEERING

1994 ◽  
Vol 04 (01) ◽  
pp. 1-22
Author(s):  
KATIE TARNAY ◽  
LÁSZLÓ ZS. VARGA ◽  
GYULA CSOPAKI
Keyword(s):  
Development Process ◽  
Formal Description ◽  
Protocol Development ◽  
Development Tools ◽  
Protocol Engineering ◽  
Specific Protocol ◽  
Computer Aided ◽  
Automated Protocol ◽  
Computer Aided Software Engineering ◽  
Formal Description Techniques

The analysis, development and testing of communication protocols are complex problems. These tasks can be made easier with protocol development tools, which support the whole protocol development process from specification to testing. They are either stand-alone tools related to a specific protocol engineering function (e.g. validation) or integrated protocol workstations solving several functions. The protocol development tools are usually based on formal description techniques. This paper describes the notion of CAPE (Computer-Aided Protocol Engineering) derived from CASE (Computer-Aided Software Engineering) and presents the PROCONSUL protocol workstation. The intelligent editors of PROCONSUL are described in detail.

Formal description techniques

1983 ◽  
Vol 71 (12) ◽  
pp. 1356-1364 ◽  
Author(s):  
C.A. Vissers ◽  
R.L. Tenney ◽  
G.V. Bochmann
Keyword(s):  
Formal Description ◽  
Formal Description Techniques
Sign in / Sign up

Export Citation Format

Share Document