|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
17 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A formal description of the OMG's Core Object Model and the meaning of compatible extension |
Houston, Iain S.C. |
1995 |
17 | 5-6 |
p. 553-558 6 p. |
article |
|
| 2 | Analysis of the STEP standard data access interface using formal methods |
Botting, Richard M. |
1995 |
17 | 5-6 |
p. 437-455 19 p. |
article |
|
| 3 | Applying formal methods to standard development: The open distributed processing experience |
Sinnott, Richard O. |
1995 |
17 | 5-6 |
p. 615-630 16 p. |
article |
|
| 4 | Author index to volume 17 (1995) |
1995 |
17 | 5-6 |
p. 639-641 3 p. |
article |
||
| 5 | Calendar |
1995 |
17 | 5-6 |
p. 647-648 2 p. |
article |
||
| 6 | FDTs for ODP |
Bowman, Howard |
1995 |
17 | 5-6 |
p. 457-479 23 p. |
article |
|
| 7 | Formalizing the Object Management Group's Core Object Model |
Bryant, Tony |
1995 |
17 | 5-6 |
p. 481-489 9 p. |
article |
|
| 8 | Formal methods in the development of premo |
Duce, D.A. |
1995 |
17 | 5-6 |
p. 491-509 19 p. |
article |
|
| 9 | Formal specification and verification of multimedia systems in open distributed processing |
Blair, Lynne |
1995 |
17 | 5-6 |
p. 413-436 24 p. |
article |
|
| 10 | Formal specification of Multilingual Alphanumeric Ordering Systems |
Gaitanis, Nikolaos |
1995 |
17 | 5-6 |
p. 535-552 18 p. |
article |
|
| 11 | Formal test specifications in IEEE POSIX |
Leathrum, J.F. |
1995 |
17 | 5-6 |
p. 603-614 12 p. |
article |
|
| 12 | Object-Z: A specification language advocated for the description of standards |
Duke, Roger |
1995 |
17 | 5-6 |
p. 511-533 23 p. |
article |
|
| 13 | Subject index to volume 17 (1995) |
1995 |
17 | 5-6 |
p. 643-645 3 p. |
article |
||
| 14 | The formal semantics of ISO VDM-SL |
Larsen, Peter Gorm |
1995 |
17 | 5-6 |
p. 585-601 17 p. |
article |
|
| 15 | The formal way |
Kilov, Haim |
1995 |
17 | 5-6 |
p. 409-412 4 p. |
article |
|
| 16 | Uncovering ISO ROSE protocol errors using Estelle |
Jirachiefpattana, A. |
1995 |
17 | 5-6 |
p. 559-583 25 p. |
article |
|
| 17 | Using Z for network modelling: An industrial experience report |
Wezeman, Clazien D. |
1995 |
17 | 5-6 |
p. 631-638 8 p. |
article |
17 results found