3192 search results - page 108 / 639 » A Requirements-Driven Development Methodology |
139
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
125
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
The World Wide Web (WWW) has been predominantly responsible for instigating radical paradigm transformations in today’s global information rich civilizations. Many societies hav...
161
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
192
Voted
ICAIL
2003
ACM
15 years 10 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
168
Voted
FPGA
2008
ACM
15 years 6 months ago
2008
ACM
Architecture development for FPGAs has typically been a very empirical discipline, requiring the synthesis of benchmark circuits into candidate architectures. This is difficult to...