@Bibtex-file{SE/EPFL.SEL.bib,
  title =        "The {EPFL} Software Engineering Lab Bibliography",
  author =       "Cecile Peraire",
  email =        "peraire@di.epfl.ch",
  address =      "Software Engineering Laboratory\\ Swiss Federal
                 Institute of Technology",
  abstract =     "Our bibliography contains all the publications of the
                 Laboratory. Our domain of research is the
                 object-oriented technology. Our work in object-oriented
                 fields cover most of the development activities:
                 analysis, formal specifications, design, programming
                 and testing.",
}