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

14 years 1 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 2 months 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

14 years 27 days 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

14 years 1 months ago