42 search results - page 7 / 9 » A Methodology for the Derivation and Verification of Use Cas... |
SPLC
2008
13 years 8 months ago
2008
Domain analysis involves not only looking at standard requirements documents (e.g., use case specifications) but also at customer information packs, market analyses, etc. Looking ...
ICRA
2009
IEEE
13 years 5 months ago
2009
IEEE
In a previous paper, we developed a robotic finger equipped with optical three-axis tactile sensors, of which the sensing cell can separately detect normal and shearing forces. Wit...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
ECSA
2011
Springer
12 years 7 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
POPL
2010
ACM
13 years 9 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...