Searching for authors named "Enn Tyugu" – sorted by Relevance.
-
Large Engineering Knowledge-Bases
- February 18, 1993 1 Large Engineering Knowledge-Bases Enn Tyugu Department of Teleinformatics
- Add To MetaCart
-
Attribute Models Of Design Objects
- ATTRIBUTE MODELS OF DESIGN OBJECTS Enn Tyugu We discuss the usage of deductive systems
- Cited by 2 (0 self) – Add To MetaCart
-
Using Classes As Specifications For Automatic Construction Of Programs In The Nut System
- 1 USING CLASSES AS SPECIFICATIONS FOR AUTOMATIC CONSTRUCTION OF PROGRAMS IN THE NUT SYSTEM Enn
- Cited by 9 (4 self) – Add To MetaCart
-
From Visual Specifications to Executable Code
- From visual specifications to executable code Enn Tyugu Department of Teleinformatics, KTH
- Cited by 1 (0 self) – Add To MetaCart
-
On the border between functional programming and program synthesis: Extensions and applications of the structural synthesis of programs
- of the structural synthesis of programs) Enn Tyugu Royal Institute of Technology Stockholm, Sweden Abstract
- Cited by 1 (0 self) – Add To MetaCart
-
Large Heterogeneous Knowledge Bases
- Large heterogeneous knowledge bases Enn Tyugu Royal Institute of Technology, Sweden Abstract
- Cited by 1 (1 self) – Add To MetaCart
-
Constraints in NUT
- , Estonia Enn T~ougu Inst for Teleinformatik, Kungl Tekniska Hogskolan, Electrum 204, S-16440 KISTA, Sweden
- Add To MetaCart
-
Constraint Semantics of NUT
- of Cybernetics Constraint Semantics of NUT Jaan Penjam, Enn Tyugu November 16, 1993 TRITA-IT-9309 IOC-CS-58
- Add To MetaCart
-
A Specification Logic for Dynamic Composition of Services
- for composition is Enn Tyugu Estonian Business School tyugu@(email omitted); proposed in [2]. It follows the requirements
- Add To MetaCart
-
Strategies of Structural Synthesis of Programs and Its Extensions
- @(email omitted); Enn Tyugu Department of Teleinformatics Royal Institute of Technology Stockholm, Sweden tyugu
- Cited by 7 (4 self) – Add To MetaCart

