4799 search results - page 684 / 960 » Model Based Requirements Engineering for Embedded Software |
154
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...
161
click to vote
AAAI
2008
15 years 9 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
150
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
This study proposes a new bandwidth reservation strategy (Two Level Guarantee) in wireless environment based on the user mobility specification which is assumed to be given at cal...
218
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
158
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...