2493 search results - page 24 / 499 » Tool Support for Design by Contract |
ASPLOS
1989
ACM
14 years 2 months ago
1989
ACM
A very long instruction word (VLIW) processorexploits parallelism by controlling multiple operations in a single instruction word. This paper describes the architecture and compil...
INFORMATICALT
2008
13 years 11 months ago
2008
Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...
IV
2009
IEEE
14 years 5 months ago
2009
IEEE
Information synthesis is a key portion of the analysis process with visual analytics tools. This stage of work requires users to collect, organize, and add meaning to individual a...
IWC
2006
13 years 11 months ago
2006
The increasing need to check Web site accessibility has stimulated interest in tools to aid the various activities involved. While some tools for this purpose already exist, we be...
ER
2000
Springer
14 years 2 months ago
2000
Springer
: The size and complexity of modern information systems together with requirements for short development time increase the demands for reuse of already existing solutions. The idea...