Name
Abstract | ||
|---|---|---|
IntroductionTypelab is an experimental environment that permits the specification of softwareand hardware systems in a modular fashion. Modules are first-class objectsthat can be manipulated in different ways, for example through refinement ina stepwise process. A high degree of abstraction and good reuse properties areachieved by genericity. The specification language of Typelab is based on avery expressive type theory, the Extended Calculus of Constructions [Luo94],which gives the... |
Year | DOI | Venue |
|---|---|---|
1996 | 10.1007/BFb0014353 | AMAST |
Keywords | Field | DocType |
verification environment,typelab specification,specification language,type theory,calculus of constructions | Specification language,Z notation,Programming language specification,Programming language,Intelligent verification,Computer science,Formal specification,Verification,Language Of Temporal Ordering Specification,Formal methods | Conference |
ISBN | Citations | PageRank |
3-540-61463-X | 2 | 0.42 |
References | Authors | |
5 | 7 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Friedrich W. Von Henke | 1 | 425 | 49.05 |
| Marko Luther | 2 | 153 | 16.00 |
| Holger Pfeifer | 3 | 179 | 12.77 |
| Harald Rueß | 4 | 526 | 38.69 |
| Detlef Schwier | 5 | 19 | 2.82 |
| Martin Strecker | 6 | 2 | 0.42 |
| Matthias Wagner | 7 | 72 | 5.47 |