1121 search results - page 45 / 225 » Building Formal Requirements Models for Reliable Software |
APSEC
2000
IEEE
15 years 4 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
100
click to vote
SIGSOFT
2005
ACM
16 years 17 days 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...
ALGORITHMICA
2006
14 years 12 months ago
2006
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
120
click to vote
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
SIGSOFT
2005
ACM
16 years 17 days ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...