Searching for "The Meaning of "Formal" From Weak to Strong Formal Methods." – sorted by Relevance.
588,724 documents found, showing 1 through 10.
Next 10 →
-
The Meaning of "Formal": from Weak to Strong Formal Methods
- … by hand later) The Meaning of "Formal": from Weak to Strong Formal Methods Pierre Wolper Institut…
- Cited by 4 (0 self) – Add To MetaCart
-
AND MEANING
- … the weak force. We expect that force will mean different things in the two papers. But how do we evaluate…
- Add To MetaCart
-
Meaning
- …-creation of Mobile Communication’s Public Meaning 5 From another perspective, though, early adopters were of interest…
- Add To MetaCart
-
Formal
- …Formal verification of C systems code Structured types, separation logic and theorem proving…
- Add To MetaCart
-
What does it mean to say that logic is formal?
- …WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? by John Gordon MacFarlane A.B., Philosophy, Harvard…
- Cited by 1 (0 self) – Add To MetaCart
-
Assisting Requirement Formalization By Means of Natural Language Translation
- …1 Assisting requirement formalization by means of natural language translation A. Fantechi Dip…
- Cited by 19 (5 self) – Add To MetaCart
-
Enhancing System Analysis by Means of Formal Concept Analysis
- …Enhancing System Analysis by Means of Formal Concept Analysis Stephan D��wel University…
- Cited by 1 (0 self) – Add To MetaCart
-
Ontologies: Dynamic Networks of Formally Represented Meaning
- ….42 1.43 1.44 Ontologies: Dynamic Networks of Formally Represented Meaning Dieter Fensel Vrije…
- Cited by 6 (2 self) – Add To MetaCart
-
Formal Semantics for Expressing Optimism: The Meaning of HOPE
- …Formal Semantics for Expressing Optimism: The Meaning of HOPE Crispin Cowan Department…
- Cited by 5 (3 self) – Add To MetaCart
-
A Correctness Proof of Sorting by means of Formal Procedures
- …A Correctness Proof of Sorting by means of Formal Procedures Maarten M. Fokkinga University…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
