Skip to main content

Some Experiences of Critical Software Development

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Pilaud:ICSE90,
  author    = {Eric Pilaud},
  title     = {Some Experiences of Critical Software Development},
  booktitle = {ICSE},
  pages     = {225--226},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}

Related papers

Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage ICFP 2009
Experiences with Criticality Predictions in Software Development FSE 1997
Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report ASE 2019
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework ICFP 2009
Inculcating invariants in introductory courses ICSE 2006
Verified squared: does critical software deserve verified tools? POPL 2011
Modeling and testing a family of surgical robots: an experience report FSE 2018
An Experience with Code-Size Optimization for Production iOS Mobile Applications CGO 2021