Searching for "The Foundations of Specification." – sorted by Relevance.
131 documents found, showing 1 through 10.
Next 10 →
-
Domains of View: A Foundation for Specification and Analysis
- …Domains of view: a foundation for specication and analysis Michael Huth Department of Computing…
- Cited by 1 (1 self) – Add To MetaCart
-
Towards a Formal Foundation of the Specification and Description Language SDL
- …Abstract Towards a Formal Foundation of the Specification and Description Language S D L Manfred…
- Cited by 20 (1 self) – Add To MetaCart
-
The Logical Approach to Syntax: Foundations, Specifications, and Implementations of Theories
- … Approach to Syntax: Foundations, Specifications, and Implementations of Theories of Government and Binding…
- Cited by 16 (1 self) – Add To MetaCart
-
Specifying Distributed Trust Management in LolliMon
- … programming language Lol-liMon as a new foundation for the specification of distributed trust management…
- Add To MetaCart
-
Towards a formal foundation for domain specific modeling languages
- …Towards A Formal Foundation For Domain Specific Modeling Languages ∗ ABSTRACT Ethan K. Jackson…
- Cited by 7 (7 self) – Add To MetaCart
-
Foundation Library Specification and Virtual Machine Platform (VMP) Specification Radiotherapy
- …Foundation Library Specification and Virtual Machine Platform (VMP) Specification Radiotherapy…
- Add To MetaCart
-
The Uva Virtual Machine
- …, but not full, description of the virtual machine and its assembler programming language. The foundation…
- Add To MetaCart
-
Davide Grossi Doing Argumentation Theory in ML Doing Argumentation Theory in Modal Logic ∗
- … well-investigated modal logics to provide formal foundations to specific fragments of argumentation…
- Add To MetaCart
-
New Foundations for Z
- …New Foundations for Z Martin C. Henson and Steve Reeves Department of Computer Science, University…
- Cited by 2 (2 self) – Add To MetaCart
-
Prototyping Object Specifications Using Active Database Systems
- … the work has been mainly focussed on developing semantic foundations for the specification of objects…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
