3792 search results - page 245 / 759 » Techniques for Trusted Software Engineering |
158
click to vote
WER
2005
Springer
16 years 1 days ago
2005
Springer
Distance between stakeholders working on a global software development project introduces problems in communication and control. Processes like requirements elicitation, where comm...
155
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
135
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Scenario is a description technique which has attracted much attention not only from practitioners but also from researchers. Literature on this topic shows the possibilities that...
191
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Off-The-Shelf (OTS) software components are being used within complex safety-critical applications. However, to use these untrustworthy components with confidence, it is necessary...
138
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...