2339 search results - page 335 / 468 » Software processes for the development of electronic commerc... |
143
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
172
click to vote
NDSS
2005
IEEE
16 years 3 hour ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
214
click to vote
SDL
2007
15 years 7 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...
184
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
134
click to vote
BIOCOMP
2006
15 years 7 months ago
2006
A Clinical Decision Support System has been developed using the Exsys software for the flexor tendon injuries in Zone II encompassing the continuum from injury to complete rehabil...