Skip to main navigation
Skip to search
Skip to main content
Aston Research Explorer Home
Help & FAQ
Home
Research units
Profiles
Research Outputs
Datasets
Student theses
Activities
Press/Media
Prizes
Equipment
Search by expertise, name or affiliation
Formal approach to assertion-based code generation
Pengyi Li, Jing Sun,
Hai Wang
Computer Science Research Group
Aston University
Department of Computer Science, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand
Aston Institute of Materials Research, School of Engineering & Applied Science and Aston Research Centre for Healthy Ageing, University of Aston, Birmingham B4 7ET, United Kingdom
Research output
:
Contribution to journal
›
Article
›
peer-review
1
Citation (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formal approach to assertion-based code generation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Programmer
100%
Design Model
100%
Software Development
100%
Software Production
100%
Formal Approach
100%
Computer System
100%
Java
100%
Slow Evolution
100%
Code Generation
100%
Modern Computer
100%
Formal Design
100%
Code Development
100%
Software Product
100%
Computer Science
Software Development
100%
Development Process
100%
Software Production
100%
Code Generation
100%
Computer System
100%
Software Product
100%
Modern Computer
100%
Correctness
100%
Engineering
Development Process
100%
Software Product
100%
Design Model
100%
Computer System
100%
Modern Computer
100%