6581 search results - page 165 / 1317 » Formalizing Design Patterns |
123
click to vote
AIME
2005
Springer
15 years 9 months ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
161
Voted
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
15 years 3 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
138
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
150
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
107
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...