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 × Germany
1 × Spain
1 × UK
Collaborated with:
J.Tuya L.Sánchez A.Goitia J.García-Fanjul R.Zurita
Talks about:
model (2) structur (1) properti (1) internet (1) approach (1) project (1) pragmat (1) current (1) checker (1) verifi (1)

Person: José A. Corrales

DBLP DBLP: Corrales:Jos=eacute=_A=

Contributed to:

ICEIS 20002000
ESEC 19951995
ESEC 19931993

Wrote 3 papers:

ICEIS-2000-GoitiaGTC #internet
Building Internet Shops: Current Status of the Cities Project (AG, JGF, JT, JAC), pp. 529–530.
ESEC-1995-TuyaSC #model checking #modelling #safety #using #verification
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models (JT, LS, JAC), pp. 59–75.
ESEC-1993-TuyaSZC #approach #design #realtime #specification
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification (JT, LS, RZ, JAC), pp. 301–312.

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.