Foundations and Development Environment