498 search results - page 5 / 100 » A Formal Foundation for ODRL |
TISSEC
2008
13 years 7 months ago
2008
JCST
2002
13 years 7 months ago
2002
FM
2001
Springer
13 years 12 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
13 years 2 months ago
2010
Springer
We introduce and give formal definitions of attack
FORTE
1996
13 years 8 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...