2748 search results - page 202 / 550 » Generating Object-Z Specifications from Use Cases |
107
Voted
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
108
Voted
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
108
click to vote
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...
81
Voted
ICCD
1992
IEEE
15 years 4 months ago
1992
IEEE
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...
92
Voted
TCS
2010
14 years 7 months ago
2010
Constructions of cryptographic primitives based on general assumptions (e.g., one-way functions) tend to be less efficient than constructions based on specific (e.g., number-theor...