Faculty of Engineering




HOME : RESEARCH : STAFF : RESEARCH KEYWORDS (BY DISCIPLINE) All Disciplines \| Aerospace Engineering \| Applied Mechanics \| Artificial Intelligence \| Bioinformatics \| Biomedical Engineering \| Computer Architecture \| Computer Systems Engineering \| Databases \| Design (Mechanical) \| Electrical Energy \| Electrochemical Eng. & Battery Research \| Engineering Construction & Management \| Environmental Tech. & Pollution Control \| Fluid Mechanics and Thermodynamics \| General Engineering \| Geotechnical Engineering \| High Temperature Chemistry \| Manufacturing Engineering & Management \| Mechatronic Engineering \| Membrane Science and Technology \| Microelectronics \| Minerals and Energy \| Mining Engineering \| Naval Architecture \| Networks \| Particle and Catalysts Technology \| Petroleum Engineering \| Photonics \| Photovoltaics and Solar Energy \| Polymer Science \| Process Engineering (Chemical) \| Process Modelling (Chemical) \| Reaction Engineering \| Software Engineering \| Structural Engineering \| Supercritical Fluid Technology \| Surveying & Spatial Information Systems \| Systems and Control \| Telecommunications \| Transport Engineering \| Water Engineering


Research Keywords for the Discipline: Software Engineering Applications of Process Algebra Business Workflow Evolution Compilation Computational Algebra Concurrency Concurrency Theory and Practice Cost Modelling Design Recovery/Reverse Engineering Distributed Computing Electronic Commerce Enterprise Architectures Formal Methods Formal Methods of Reasoning Formal Specification and Refinement Functional Programming Fuzzy Systems and Evidence Theory Graph-theoretic Algorithms Groupware and Workflow Heterogeneous Computing Individual & Team Reviews Intensional Programming Languages Microprocessors and Embedded Systems Mobile Computing Multilingual Typography Multiversion Web Sites Object Oriented Design and Technology Object-Oriented Design; Design by Contract Parallelism Parsing Parsing and Translation Probabilistic Refinement Programming Languages Quantum Rationality Reactive Systems Rigorous Methods for Program Construction Security Semantics of OO Design Notations and Programming Software Components: Systems & Application Design Software Configuration Software Design Software Development Cost Estimation Software Engineering Software Experience Factory Software Inspections Software Metrics Software Process Improvement Software Process Modelling Software Quality Specification and Refinement Synthetic Aperture Radar Interferometry (InSAR) Teaching Theory of Computing Timed Systems Type Systems Version Control Versioned Software Engineering Visualisation for Object Run-times Web Operating Systems

Page created 12/06/03 and last updated 17/07/03 Please report any problems with this site to: eng-web@eng.unsw.edu.au Please read this disclaimer and copyright statement. CRICOS Provider No: 00098G © UNSW 2002

Research Keywords for the Discipline: Software Engineering