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 × France
2 × USA
Collaborated with:
J.Mariño L.Fredlund R.J.Rodríguez G.Marpons-Ucero J.Mariño-Carballo M.Carro J.J.Moreno-Navarro
Talks about:
program (2) logic (2) synthesi (1) conform (1) automat (1) specif (1) orient (1) object (1) machin (1) formal (1)

Person: Ángel Herranz-Nieva

DBLP DBLP: Herranz-Nieva:=Aacute=ngel

Contributed to:

SEFM 20142014
ICLP 20112011
PADL 20082008

Wrote 3 papers:

SEFM-2014-RodriguezFHM #erlang #execution #state machine #uml #verification
Execution and Verification of UML State Machines with Erlang (RJR, LÅF, ÁHN, JM), pp. 284–289.
ICLP-2011-Herranz-NievaM #logic programming #object-oriented #source code #specification #synthesis
Synthesis of Logic Programs from Object-Oriented Formal Specifications (ÁHN, JM), pp. 95–105.
PADL-2008-Marpons-UceroMCHMF #automation #consistency #logic programming #using
Automatic Coding Rule Conformance Checking Using Logic Programming (GMU, JMC, MC, ÁHN, JJMN, LÅF), pp. 18–34.

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.