Sciweavers

2687 search results - page 7 / 538
» Formal Analysis of PKCS
Sort
View
IFL
2000
Springer
103views Formal Methods» more  IFL 2000»
14 years 2 months ago
A Usage Analysis with Bounded Usage Polymorphism and Subtyping
Jörgen Gustavsson, Josef Svenningsson
ICST
2009
IEEE
13 years 8 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
IEEEICCI
2005
IEEE
14 years 4 months ago
Formal concept analysis based on hierarchical class analysis
The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...
Yaohua Chen, Yiyu Yao