2493 search results - page 244 / 499 » Tool Support for Design by Contract |
JBCS
2002
14 years 10 months ago
2002
Ontologies are becoming an important mechanism to build information systems. Nevertheless, there is still no systematic approach to support the design of such systems using tools ...
SIPS
2006
IEEE
15 years 5 months ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
FAC
2000
14 years 10 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
191
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
CSCW
2010
ACM
15 years 8 months ago
2010
ACM
A successful collaborative tool designed to aid discussion must be flexible, maintain the user’s coordinative agency, and be appropriable in many contexts. We have developed a ...