Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Jeffrey Terrell"'
Autor:
Maribel Fernández, Jeffrey Terrell
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 108, Iss Proc. FESCA 2013, Pp 63-77 (2013)
In model-driven development, an ordered model transformation is a nested set of transformations between source and target classes, in which each transformation is governed by its own pre and post- conditions, but structurally dependent on its parent.
Externí odkaz:
https://doaj.org/article/b18abbbaa7cd46d4847217f854eeb2d4
Autor:
Jeffrey Terrell
Ready for a Tyler Posey change? This book is your ultimate resource for Tyler Posey. Here you will find the most up-to-date 36 Success Facts, Information, and much more.In easy to read chapters, with extensive references and links to get you to know
Autor:
William J. Lyddon, C. Jeffrey Terrell
Publikováno v:
Journal of Constructivist Psychology. 9:27-44
Narrative thinking is a fundamental form of human knowing that has particular relevance for the domain of psychotherapy. After reviewing the historical and epistemic foundations of narrative knowing in the social and behavioral sciences, we (a) outli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::408363ab20891f12f71dfd65acab5f6b
https://doi.org/10.1080/10720539608404650
https://doi.org/10.1080/10720539608404650
Publikováno v:
Journal of Cognitive Psychotherapy. 9:287-290
Mapping the Journey: Evolution of a Story From Cognitive Behavior Therapy to Psychotherapy Integration: An Evolving View Marvin R. Goldfried. New York: Springer Publishing Company, 1995, 304 pp., $42.95 (hardcover). With the ever increasing prolifera
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::520fbe75c5e2a52e487e296fc61d8b8e
https://doi.org/10.1891/0889-8391.9.4.287
https://doi.org/10.1891/0889-8391.9.4.287
Autor:
Iman Poernomo, Jeffrey Terrell
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783642169007
ICFEM
ICFEM
This paper sketches an approach to the synthesis of provably correct model transformations within the Coq theorem prover, an implementation of Coquand and Huet's Calculus of Inductive Constructions. It extends work done by Poernomo on proofs-as-model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f773e3144a9812a304884b7c1ebc9adc
https://doi.org/10.1007/978-3-642-16901-4_6
https://doi.org/10.1007/978-3-642-16901-4_6
Autor:
Jeffrey Terrell
Publikováno v:
Archives of Dermatology. 123:958
This second edition of Clinical Dermatology: An Illustrated Textbook has been extensively revised and rewritten to give medical students, residents, and nondermatologists a thorough introduction to common skin disorders and the essential concepts of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff6683bc5812eea502432c02c857c75a
https://doi.org/10.1001/archderm.1987.01660310128030
https://doi.org/10.1001/archderm.1987.01660310128030