665 search results - page 100 / 133 » Extending Software Development Methodologies to Support Trus... |
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
108
click to vote
BIB
2011
14 years 5 months ago
2011
Programs for RNA mutational analysis that are structure-based and rely on secondary structure prediction have been developed and expanded in the past several years. They can be us...
106
click to vote
CC
2001
Springer
15 years 2 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
UIST
2006
ACM
15 years 4 months ago
2006
ACM
Interaction on digital tables has been restricted to a single layer on the table's active work-surface. We extend the design space of digital tables to include multiple layer...
107
click to vote
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...