2206 search results - page 218 / 442 » Software Engineering and Modeling Education: Problems and So... |
221
click to vote
SDL
2007
15 years 8 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...
212
click to vote
MOBIDE
2003
ACM
15 years 11 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
173
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
157
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
179
click to vote
SEFM
2003
IEEE
15 years 11 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...