2493 search results - page 67 / 499 » Tool Support for Design by Contract |
104
click to vote
SIGIR
1999
ACM
15 years 2 months ago
1999
ACM
Previous examinations of search in textual archives have assumed that users first retrieve a ranked set of documents relevant to their query, and then visually scan through these ...
ASE
2007
14 years 10 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
ASPDAC
2006
ACM
15 years 1 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
TOOLS
1998
IEEE
15 years 2 months ago
1998
IEEE
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...
126
click to vote
HUC
2011
Springer
13 years 9 months ago
2011
Springer
We live in a world where many kinds of data about us can be collected and more will be collected as Ubicomp technologies mature. People reflect on this data using different tools ...