498 search results - page 5 / 100 » A Formal Foundation for ODRL |
TISSEC
2008
14 years 9 months ago
2008
JCST
2002
14 years 9 months ago
2002
FM
2001
Springer
15 years 2 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
We introduce and give formal definitions of attack
FORTE
1996
14 years 11 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...