Accessibility Tools
Skip to Content
Accessibility
Text Size:
N/A
Breadcrumb
Concordia Home
ENCS
CSE
Dependable Software Research Group Home
Search
DSRG
All of Concordia
Staff & Faculty Directory
Search Query
Main Menu
About the DSRG
People
Projects
Publications
Positions
Projects
Software Engineering
Verified Software
JmlEclipse
SparkAda
Web–based
Enterprise Applications
Projects
Local tools
Printable version
The DSRG is active in the areas of
Software Engineering
in general (in the subareas of requirements specification and model-driven design); and
Verified Software
, in particular with a focus on support for Java via our
Eclipse-based tools
.
Concordia University
Program Listing in THIS SITE Engine