Travelled to:1 × France
Collaborated with:G.Florin F.Legond-Aubry G.Benay F.Villemin
Talks about:synthesi (1) structur (1) contract (1) program (1) automat (1) analysi (1) hidden (1) design (1) depend (1) compon (1)
Person: Daniel Enselme
DBLP: Enselme:Daniel
Contributed to:
2004
1987Wrote 2 papers:
- TOOLS-USA-2003-EnselmeFL04 #analysis #component #contract #dependence #design
- Design by Contract: analysis of hidden dependencies in component based application (DE, GF, FLA), pp. 23–45.
- ESEC-1987-EnselmeBV #automation #data type #synthesis
- Automatic Program Synthesis from Data Structures (DE, GB, FYV), pp. 339–347.