4799 search results - page 204 / 960 » Model Based Requirements Engineering for Embedded Software |
123
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...
103
click to vote
WSR
2008
15 years 4 months ago
2008
: TGraphs are directed graphs with typed, attributed, and ordered nodes and edges. These properties leverage the use of graphs as models for all kinds of artifacts in the context o...
133
click to vote
ISSRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Test suite reduction uses test requirement coverage to determine if the reduced test suite maintains the original suite’s requirement coverage. Based on observations from our pr...
128
click to vote
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
116
click to vote
SEKE
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a strategy, based on requirement patterns (RP), aimed at improving the requirement analysis discipline by allowing business analysts (BA) to produce more relia...