國立清華大學「動物實驗計畫」申請表填寫說明 原則：動物福祉、replacement, reduction, refinement，請參閱《實驗動物管理與使用指南》一書與實驗動物資訊網 _http://las.nhri

Source URL: my.nthu.edu.tw

Rigorous development of reusable, domain-specific components, for complex applications* I. Johnson1, C. Snook2, A Edmunds2 & M. Butler2 1 2

Source URL: rodin.cs.ncl.ac.uk

• Unified Modeling Language
• Infographics
• Diagrams
• Models of computation
• Formal methods
• State diagram
• Object Process Methodology
• Stereotype
• Class diagram
• Refinement
• Object-oriented design
• Action

A Refinement of SCSI Disks Using Cusp Ike Antkaretoo International Institute of Technology United Slates of Earth

Source URL: membres-lig.imag.fr

• Actor model
• Concurrent computing

Balcombe JPA global overview of law and policy concerning animal use in education. Ppin M Balls, A-M Zeller, ME Halder (eds.) Progress in the Reduction, Refinement and Replacement of Animal Experiment

Source URL: www.humanelearning.info

• Animal welfare
• Dissection
• Post-mortem
• Animal rights
• Animal testing
• Cruelty to animals
• Fetal pig
• Veterinary physician
• New England Anti-Vivisection Society
• Alternatives to animal testing

Lai, Albert Yu Cheong Curriculum Vitae (address and phone omitted in public) email: trebla [at] vex [dot] net Born in 1969 Citizenship: Canadian

Source URL: www.vex.net

• Formal methods
• University of Toronto
• Theoretical computer science
• Eric Hehner
• Program derivation
• Predicative programming
• Refinement
• Formal verification
• Department of Computer Science

1 Translating SCXML Statecharts to iUML-B State-machines Karla Morris1 and Colin Snook2 1

Source URL: wiki.event-b.org

• SCXML
• Models of computation
• State diagram
• Formal methods
• Refinement

A BI-DIRECTIONAL REFINEMENT ALGORITHM FOR THE CALCULUS OF (CO)INDUCTIVE CONSTRUCTIONS ANDREA ASPERTI, WILMER RICCIOTTI, CLAUDIO SACERDOTI COEN, AND ENRICO TASSI Dipartimento di Scienze dell’informazione, Mura Anteo Zam

Source URL: matita.cs.unibo.it

• Type theory
• Matita
• Agda
• Unification
• Calculus of constructions
• Type system
• HindleyMilner type system
• System F
• Refinement
• Type inference
• Algorithm
• Dependent type

Towards Modular Development in Event-B Thai Son Hoang1 , Hironobu Kuruma2 , and Michael Butler1 1 2

Source URL: wiki.event-b.org

• Formal methods
• B-Method
• Refinement

2017 science-based refinement awards ATTENTION VETERINARIANS, ANIMAL TECHS,

Source URL: caat.jhsph.edu

• Animal testing
• Alternatives to animal testing
• Animal rights
• Center for Alternatives to Animal Testing
• Animal welfare