2493 search results - page 226 / 499 » Tool Support for Design by Contract |
144
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
The creation of an FPGA requires extensive transistor-level design. This is necessary for both the final design, and during architecture exploration, when many different logic and...
161
Voted
SAC
1998
ACM
15 years 10 months ago
1998
ACM
This paper describes a hypermedia infrastructure, called HyperDisco, designed to address important issues such as integration, collaboration, versioning, scalability, openness, di...
211
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
156
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
196
click to vote
JCP
2007
15 years 6 months ago
2007
—Computer Supported Collaborative Learning (CSCL) tool adoption is slow and challenging when compared to the dissemination of simpler content delivery systems. The lack of techni...