700 search results - page 125 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
ENTCS
2007
14 years 9 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
BMCBI
2010
14 years 10 months ago
2010
Background: Complex diseases are multifactorial traits caused by both genetic and environmental factors. They represent the major part of human diseases and include those with lar...
IJEIS
2010
14 years 7 months ago
2010
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
VL
2008
IEEE
15 years 4 months ago
2008
IEEE
While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as ...