73 search results - page 8 / 15 » An Approach of Requirements Tracing in Formal Refinement |
ASE
2006
13 years 7 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
CASCON
2006
13 years 9 months ago
2006
E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the enviro...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
KDD
1999
ACM
13 years 11 months ago
1999
ACM
Many advanced safety and navigation applications in vehicles require accurate, detailed digital maps, but manual lane measurements are expensive and time-consuming, making automat...
JUCS
2008
13 years 7 months ago
2008
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...