Sciweavers

498 search results - page 6 / 100
» A Formal Foundation for XrML
Sort
View
140
Voted
ICFEM
2000
Springer
15 years 5 months ago
Formal Foundations of Object-Oriented Modeling Notations
Claudia Pons, Gabriel Baum
113
Voted
FOIS
2001
15 years 3 months ago
A formal foundation for process modeling
Christopher Menzel, Michael Grüninger
TISSEC
2008
63views more  TISSEC 2008»
15 years 1 months ago
Formal foundations for hybrid hierarchies in GTRBAC
James B. D. Joshi, Elisa Bertino, Arif Ghafoor, Yu...
132
Voted
JSS
2010
132views more  JSS 2010»
14 years 8 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu