BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
Collaborated with:
M.J.F.Iglesias F.J.González-Castaño J.C.Burguillo-Rial J.M.P.Carballo A.R.Feijoo
Talks about:
case (3) specif (2) studi (2) prototyp (1) protocol (1) heurist (1) complex (1) select (1) formal (1) driven (1)

Person: Martín Llamas Nistal

DBLP DBLP: Nistal:Mart=iacute=n_Llamas

Contributed to:

FME 20022002
FME 20012001

Wrote 2 papers:

FME-2002-Burguillo-RialIGN #case study #heuristic #specification #testing
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study (JCBR, MJFI, FJGC, MLN), pp. 57–76.
FME-2001-IglesiasGCNF #case study #protocol #prototype #specification
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study (MJFI, FJGC, JMPC, MLN, ARF), pp. 436–448.

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.