AsmL

AsmL: Abstract State Machine Language. AsmL is an industrial-strength executable specification language. It can be used at any stage of the programming process: design, coding, or testing. It is fully integrated into the Microsoft .NET environment: AsmL models can interoperate with any other .NET assembly, no matter what source language it is written in. AsmL uses XML and Word for literate specifications. AsmL is the Abstract State Machine Language. The FSE group develops AsmL. It is an executable specification language based on the theory of Abstract State Machines, invented by Yuri Gurevich. The current version, AsmL for Microsoft .NET, is embedded into Microsoft Word. It uses XML and Word for literate specifications. It is fully interoperable with other .NET languages. AsmL generates .NET assemblies which can either be executed from the command line, linked with other .NET assemblies, or packaged as COM components.


References in zbMATH (referenced in 37 articles , 2 standard articles )

Showing results 1 to 20 of 37.
Sorted by year (citations)

1 2 next

  1. Hierons, Robert M.: Overcoming controllability problems in distributed testing from an input output transition system (2012)
  2. Hierons, Robert M.: The complexity of asynchronous model based testing (2012)
  3. Hierons, Robert M.; Merayo, Mercedes G.; Núñez, Manuel: Implementation relations and test generation for systems with distributed interfaces (2012)
  4. Sinnig, Daniel; Khendek, Ferhat; Chalin, Patrice: Partial order semantics for use case and task models (2011)
  5. Cégielski, Patrick; Guessarian, Irène: Normalization of some extended abstract state machines (2010)
  6. Hierons, Robert M.: Canonical finite state machines for distributed systems (2010)
  7. Jourdan, Guy-Vincent; Ural, Hasan; Yenigün, Hüsnü; Zhang, Ji Chao: Lower bounds on lengths of checking sequences (2010)
  8. Veanes, Margus; Bjørner, Nikolaj: Symbolic bounded conformance checking of model programs (2010)
  9. Beierle, Christoph; Kern-Isberner, Gabriele: A verified AsmL implementation of belief revision (2008)
  10. Beierle, Christoph; Kern-Isberner, Gabriele; Koch, Nicole: A high-level implementation of a system for automated reasoning with default rules. (System description) (2008)
  11. Börger, Egon (ed.); Butler, Michael (ed.); Bowen, Jonathan P. (ed.); Boca, Paul (ed.): Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16--18, 2008. Proceedings (2008)
  12. Fruja, Nicu G.: Towards proving type safety of .NET CIL (2008)
  13. Hierons, R.M.; Ural, H.: Checking sequences for distributed test architectures (2008)
  14. Veanes, Margus; Saabas, Ando: On bounded reachability of programs with set comprehensions (2008)
  15. Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin: Interactive small-step algorithms. I: Axiomatization (2007)
  16. Gurevich, Yuri; Veanes, Margus; Wallace, Charles: Can abstract state machines be useful in language theory? (2007)
  17. Gurevich, Yuri: Interactive algorithms 2005 with added appendix (2006)
  18. Artho, Cyrille; Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Khurshid, Sarfraz; Lowry, Mike; Pasareanu, Corina; Roşu, Grigore; Sen, Koushik; Visser, Willem; Washington, Rich: Combining test case generation and runtime verification (2005)
  19. Gurevich, Yuri; Rossman, Benjamin; Schulte, Wolfram: Semantic essence of AsmL (2005)
  20. Gurevich, Yuri; Tillmann, Nikolai: Partial updates (2005)

1 2 next