Formal Specification and Analysis of Timing Properties in Software Systems.

Musab AlTurki Dinakar Dhurjati Dachuan Yu Ajay Chander Hiroshi Inamura

Published in: FASE (2009)

Keyphrases

software systems
formal specification
software engineering
source code
software components
software maintenance
software development
software architecture
software design
database
machine learning
artificial intelligence
database systems
object oriented
metamodel
reverse engineering