Name
Title | ||
|---|---|---|
Formal methods for telecommunication system requirements: A survey of standardized languages |
Abstract | ||
|---|---|---|
Modern telecommunications systems are so complicated that informal languages are no longer sufficient for expressing their requirements. A brief introduction to the nature of requirements for telecommunication systems is given in this paper. The three standardized formal languages for telecommunications, Estelle, LOTOS, and SDL, are described and compared. Each language is evaluated, and a comparison of all three is offered. Throughout the paper a common example is used. |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1023/A:1018981703781 | Ann. Software Eng. |
Keywords | Field | DocType |
formal method,standardized language,informal language,modern telecommunications system,common example,standardized formal language,brief introduction,telecommunication system requirement,telecommunication system | Telecommunications,Formal language,Programming language,Software engineering,Systems engineering,Computer science,Formal methods,System requirements | Journal |
Volume | Issue | ISSN |
3, | 1 | 1573-7489 |
Citations | PageRank | References |
3 | 0.50 | 10 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mark A. Ardis | 1 | 194 | 39.34 |