310 search results - page 59 / 62 » A language and framework for invariant-driven transformation... |
UML
2005
Springer
14 years 1 months ago
2005
Springer
Design patterns embody proven solutions to recurring design problems. Ever since the gang of four popularized the concept, researchers have been trying to develop methods for repre...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
DAGSTUHL
2007
13 years 9 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
SIGIR
2010
ACM
13 years 8 months ago
2010
ACM
Inferring the score distribution of relevant and non-relevant documents is an essential task for many IR applications (e.g. information filtering, recall-oriented IR, meta-search,...
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....