-
Home
Here is the updated scientific production of the
VASCO research team (VAlidation of software Systems, Components and Objects), part of the
research area "Software and Information System Engineering" within the
LIG,
Grenoble Informatics Laboratory.
PROJECT SUMMARY:
VASCO team's research is included in the
field of software engineering and applied formal methods. We are convinced that software engineering tools must be based on models. Our primary concern is validation, which applies to both software and models.
This research is related to the
"Security, safety, reliability", "Embedded Systems", "Intelligent building" challenges of LIG scientific programme and the PILSI project. It contributes to the "Sustainable ambiant computing" project of the LIG by its contributions to safety, security and software quality.
KEYWORDS:
- Software and Information System Engineering
- Software
- Software engineering , Specification and validation, Verification - Proof - Testing, Safety and quality of software, Security
Site web du LIG
