4919 search results - page 633 / 984 » A Process-Ontological Model for Software Engineering |
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
121
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
135
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
114
click to vote
WER
2005
Springer
15 years 10 months ago
2005
Springer
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...
133
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
Teams of autonomous vehicles (AVs) carry out missions in a number of fields such as space exploration and searchand-rescue. However, human supervision is still required to monito...