RE: [mdt-sbvr.dev] mdt-sbvr.dev Digest, Vol 2, Issue 7 Axiom based decla

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

RE: [mdt-sbvr.dev] mdt-sbvr.dev Digest, Vol 2, Issue 7 Axiom based declarative approach

From: "Stan Hendryx" <stan@xxxxxxxxxxxxxxxx>
Date: Tue, 8 Apr 2008 12:50:30 -0700
Delivered-to: mdt-sbvr.dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/mdt-sbvr.dev>
List-help: <mailto:mdt-sbvr.dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/mdt-sbvr.dev>, <mailto:mdt-sbvr.dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/mdt-sbvr.dev>, <mailto:mdt-sbvr.dev-request@eclipse.org?subject=unsubscribe>
Thread-index: AciZkbG1j0T/NYDqRg+193lzgzmJUwAGAFHQAAHxNoA=

Title: mdt-sbvr.dev Digest, Vol 2, Issue 7

Sjir,

You wrote:

> The approach is based on a very limited set of axioms...

Can you give us the axioms?

Stan

References:
- [mdt-sbvr.dev] mdt-sbvr.dev Digest, Vol 2, Issue 7 Axiom based declarative approach
  - From: Sjir Nijssen

Prev by Date: [mdt-sbvr.dev] mdt-sbvr.dev Digest, Vol 2, Issue 7 Axiom based declarative approach
Next by Date: [mdt-sbvr.dev] Code checked into CVS
Previous by thread: [mdt-sbvr.dev] mdt-sbvr.dev Digest, Vol 2, Issue 7 Axiom based declarative approach
Next by thread: [mdt-sbvr.dev] Code checked into CVS
Index(es):
- Date
- Thread

Back to the top