Search Sciweavers | Sciweavers

181 search results - page 1 / 37

» Testable Use Cases in the Abstract State Machine Language

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

13 years 10 months ago

Download research.microsoft.com

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...

claim paper

Read More »

click to vote

QSIC
2003
IEEE

89views Software Engineering» more QSIC 2003»

Validating Use-Cases with the AsmL Test Tool

14 years 8 days ago

Download research.microsoft.com

The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...

Michael Barnett, Wolfgang Grieskamp, Wolfram Schul...

claim paper

Read More »

click to vote

ASPDAC
1995
ACM

130views Hardware» more ASPDAC 1995»

Design for testability using register-transfer level partial scan selection

13 years 10 months ago

Download www.cecs.uci.edu

Abstract - An approach to top down design for testability using register-transfer level(RTL) partial scan selection is described. We propose a scan selection technique based on tes...

Akira Motohara, Sadami Takeoka, Toshinori Hosokawa...

claim paper

Read More »

click to vote

ASM
2000
ASM

133views Computational Biology» more ASM 2000»

Using Abstract State Machines at Microsoft: A Case Study

13 years 11 months ago