| 1. |
Heckler, Andreas Ramses ; Hettler, Rudolf ; Hussmann, Heinrich ; Loeckx, Jacques ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt
(1996)
LEX : a case study in development and validation of formal specifications
Report (Bericht)
|
| 2. |
Lehmann, Thomas ; Loeckx, Jacques
(1990)
OBSCURE, a specification language for abstract data types
Report (Bericht)
|
| 3. |
Loeckx, Jacques
(1989)
OBSCURE : eine Spezifikations- und Verifikationsumgebung
Report (Bericht)
|
| 4. |
Lehmann, Thomas ; Loeckx, Jacques
(1987)
OBSCURE : a specification environment for abstract data types
Report (Bericht)
|
| 5. |
Lehmann, Thomas ; Loeckx, Jacques
(1987)
The specification language of OBSCURE
Report (Bericht)
|
| 6. |
Loeckx, Jacques
(1985)
A formal description of the specification language OBSCURE
Report (Bericht)
|
| 7. |
Loeckx, Jacques ; Mahr, Bernd
(1985)
A note on the equational calculus for many-sorted algebras with possibly empty carrier sets
Report (Bericht)
|
| 8. |
Lermen, Claus-Werner ; Loeckx, Jacques
(1985)
OBSCURE : an interactive specification language for model-oriented specification methods (extended abstract)
Report (Bericht)
|
| 9. |
Loeckx, Jacques
(1985)
The algorithmic specification method of abstract data types : an overview
Report (Bericht)
|
| 10. |
Loeckx, Jacques
(1981)
Algorithmic specifications : a new specification method for abstract data types
Report (Bericht)
|
