inductive specification
Recently Published Documents

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inductive specification and axonal orientation of spinal neurons mediated by divergent bone morphogenetic protein signaling pathways

Neural Development ◽

10.1186/1749-8104-6-36 ◽

2011 ◽

Vol 6 (1) ◽

pp. 36 ◽

Author(s):

Jeanette C Perron ◽

Jane Dodd

Keyword(s):

Signaling Pathways ◽

Bone Morphogenetic Protein ◽

Protein Signaling ◽

Bone Morphogenetic Protein Signaling ◽

Spinal Neurons ◽

Morphogenetic Protein ◽

Inductive Specification

Download Full-text

Expression ofDazlandVasain turtle embryos and ovaries: evidence for inductive specification of germ cells

Evolution & Development ◽

10.1111/j.1525-142x.2009.00360.x ◽

2009 ◽

Vol 11 (5) ◽

pp. 525-534 ◽

Author(s):

Rosemary F. Bachvarova ◽

Brian I. Crother ◽

Katia Manova ◽

Jodie Chatfield ◽

Christina M. Shoemaker ◽

...

Keyword(s):

Inductive Specification

Download Full-text

Automating Inductive Specification Proofs

Fundamenta Informaticae ◽

10.3233/fi-1999-391210 ◽

1999 ◽

Vol 39 (1,2) ◽

pp. 189-209 ◽

Author(s):

Brigitte Pientka ◽

Christoph Kreitz

Keyword(s):

Inductive Specification

Download Full-text

Instantiation of existentially quantified variables in inductive specification proofs

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0055917 ◽

1998 ◽

pp. 247-258 ◽

Author(s):

Brigitte Pientka ◽

Christoph Kreitz

Keyword(s):

Inductive Specification

Download Full-text

Inductive specification recovery: Understanding software by learning from example behaviors

Automated Software Engineering ◽

10.1007/bf00871824 ◽

1995 ◽

Vol 2 (2) ◽

pp. 107-129 ◽

Author(s):

William W. Cohen

Keyword(s):

Inductive Specification

Download Full-text