BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
2 × Germany
Collaborated with:
Talks about:
tool (4) asm (3) workbench (2) abstract (2) support (2) environ (2) machin (2) state (2) model (2) architectur (1)

Person: Giuseppe Del Castillo

DBLP DBLP: Castillo:Giuseppe_Del

Contributed to:

TACAS 20012001
TACAS 20002000
FM-Trends 19981998

Wrote 3 papers:

TACAS-2001-Castillo #analysis #modelling #state machine #tool support #validation
The ASM Workbench — A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration (GDC), pp. 578–581.
TACAS-2000-CastilloW #model checking
Model Checking Support for the ASM High-Level Language (GDC, KW), pp. 331–346.
FM-1998-Castillo #architecture #state machine #tool support #towards
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture (GDC), pp. 311–325.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.