181 search results - page 18 / 37 » Testable Use Cases in the Abstract State Machine Language |
215
click to vote
ACSE
2000
ACM
15 years 11 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...
233
click to vote
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
212
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
167
Voted
ICTAC
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
159
Voted
ASM
2005
ASM
16 years 28 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...