4799 search results - page 789 / 960 » Model Based Requirements Engineering for Embedded Software |
168
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to loc...
163
click to vote
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...
217
click to vote
ACSAC
2007
IEEE
16 years 23 days ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
136
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Component-Based Development(CBD) is an emerging discipline for promoting practical reuse of software. In CBD, by building new software with independently developed components, we ...
186
click to vote
ICSEA
2009
IEEE
16 years 1 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...