827 search results - page 3 / 166 » Patterns for Timed Property Specifications |
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
SNPD
2003
14 years 11 months ago
2003
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
SEKE
2010
Springer
14 years 7 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
BIOCOMP
2009
2009
Improving Remote Homology Detection Using Sequence Properties and Position Specific Scoring Matrices
14 years 10 months ago
Current biological sequence comparison tools frequently fail to recognize matches between homologs when sequence similarity is below the twilight zone of less than 25% sequence id...
SIGSOFT
2005
ACM
15 years 10 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...