What’s in a code? Towards a formal account of the relation of ontologies and coding systems (corrected version) Alan L Rector MD PhD School of Computer Science, University of Manchester, Manchester, England M13 9PL cit

Source URL: www.cs.man.ac.uk

• Information science
• Semantic Web
• Technical communication
• Knowledge representation
• SNOMED CT
• Web Ontology Language
• Description logic
• Open Biomedical Ontologies
• Knowledge representation and reasoning
• Ontology
• Information
• Science

Protein Engineering vol.15 no.7 pp.619–626, 2002 Evolvability of random polypeptides through functional selection within a small library Asao Yamauchi1, Toshihiro Nakashima1,2,

Source URL: peds.oxfordjournals.org

• Bacteriophages
• Biotechnology
• Caudovirales
• Amino acid
• Phage display
• Lambda phage
• Monoclonal antibodies
• Phagemid
• M13 bacteriophage
• Biology
• Microbiology
• Molecular biology

A Taxonomy of Software Composition Mechanisms∗ Kung-Kiu Lau and Tauseef Rana School of Computer Science, The University of Manchester, Manchester M13 9PL, UK {kung-kiu,trana}@cs.man.ac.uk

Source URL: www.cs.man.ac.uk

• Computing
• Aspect-oriented software development
• Mixin
• Component-based software engineering
• Function composition
• Aspect-oriented programming
• Multiple inheritance
• Trait
• Object composition
• Software engineering
• Object-oriented programming
• Software development

Domain-Specific Software Component Models Kung-Kiu Lau and Faris M. Taweel School of Computer Science , The University of Manchester Manchester M13 9PL, United Kingdom {Kung-Kiu,Faris.Taweel}@cs.manchester.ac.uk

Source URL: www.cs.man.ac.uk

• Object-oriented programming
• Software development
• Data model
• Component-based software engineering
• Decomposition
• Domain-specific language
• SIGNAL
• D-subminiature
• Control theory
• Software engineering
• Systems engineering
• Computing

Extracting Elements of Component-based Systems from Natural Language Requirements Kung-Kiu Lau, Azlin Nordin and Keng-Yap Ng School of Computer Science, The University of Manchester, Manchester M13 9PL, UK Email: {kung-k

Source URL: www.cs.man.ac.uk

• Behavior Trees
• Enterprise modelling
• Computer science
• System
• Component-based software engineering
• Parallel computing
• Science
• Systems engineering
• Software engineering
• Systems science

Verified Component-based Software in SPARK: Experimental Results for a Missile Guidance System Kung-Kiu Lau and Zheng Wang School of Computer Science, The University of Manchester Oxford Road, Manchester M13 9PL, United

Source URL: www.cs.man.ac.uk

• Component-based software engineering
• Object-oriented programming
• Ada programming language
• SPARK
• Software architecture
• Software engineering
• Computing
• Computer programming

CrossMark_Color_flat+click

Source URL: www.bakerlab.org

• Filamentous phage
• Inovirus
• M13 bacteriophage
• Capsid
• Virus
• Protein structure
• Phage display
• Alpha helix
• Bacteriophages
• Microbiology
• Biology

Mei 2015 Actiefolder Volop lente bij Halfords! LIMIT CityComfort 3

Source URL: files.m13.mailplus.nl

ASIATOX 2015 Poster Prsentation Poster Session I (June 24, Posting: June 24, 08:30 ~ 09:00

Source URL: www.asiatox2015.org

• Salmi
• Incheon
• Seoul
• M13 bacteriophage

Manchester University Press Oxford Road Manchester M13 9NR +2310 www.manchesteruniversitypress.co.uk

Source URL: www.phil.uni-greifswald.de

• Central Europe
• Iberian Peninsula
• Email
• Portugal
• Scandinavian Peninsula
• Middle Ages
• Geography of Europe
• Europe
• Geography