1099 search results - page 14 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
FMOODS
2007
15 years 1 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
119
click to vote
SDL
2007
15 years 1 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
109
click to vote
RTCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
SOQUA
2004
15 years 1 months ago
2004
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
COMPSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...