| Your search for 39657 returns 3263 document(s) |
| Automating text case generation from Z specifications with isabelle, (LNCS-Lecture Notes in Computer Science 1212)Hal. 52-72 |
|
Author: Steffen Helke; Thomas Neustupny; Thomas Santen; | Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automating the generation and sequencing of test cases from model-based specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 268-284 |
|
Author: Jeremy Dick; Alain Faivre; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the derivation of executable database programs from formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 351-366 |
|
Author: Thomas Gunther; Klaus-Dieter Schewe; Ingrid Wetzel; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281 |
|
Author: Zohar Manna; Pierre Wolper; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multy-party Computation from any linear secret sharing scheme unconditionally secure againts adaptive adversary: the zero-error case, (LNCS-Lecture Notes in Computer Science 2576) Hal 1-15 |
|
Author: Ventzislav Nikov; Svetla Nikova; Bart Preneel; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automating the addition of fault-tolerance, (LNCS-Lecture Notes in Computer Science 1926) Hal 82-93 |
|
Author: Sandeep S. Kulkarni; Anish Arora; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Capitalization recovery for text, (LNCS-Lecture Notes in Computer Science 2773) Hal 11-22 |
|
Author: Eric W. Brown; Anni R. Coden; | Call Number: 006.4 Cod i | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| From quantity to quality, (LNCS-Lecture Notes in Computer Science 1201) Hal 48-62 |
|
Author: Thomas A. Henzinger; Orna Kupferman; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming from specifications |
|
Author: Morgan, Carroll; | Call Number: 005.1 Mor p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577 |
|
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result