726 search results - page 98 / 146 » Formal Requirements Engineering: Learning from the Students |
ER
2003
Springer
15 years 5 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
The goal of this workshop is to provide an opportunity for researchers and industry practitioners to explore both the stateof-the art and the state-of-the-practice in global softw...
ECLIPSE
2006
ACM
15 years 5 months ago
2006
ACM
Frameworks provide means to reuse existing design and functionality, but first require developers to understand how to use them. Learning the correct usage of a framework can be ...
SIGSOFT
2008
ACM
16 years 17 days ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...