Experimenting with diversity in the model driven development of a railway signaling system

Experimenting with diversity in the model driven development of a railway signaling system. Banci, M., Fantechi, A., Gnesi, S., & Lombardi, G. In Guelfi, N., Muccini, H., Pelliccione, P., & Romanovsky, A. B., editors, Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007, pages 5, 2007. ACM.

Paper doi bibtex

@inproceedings{DBLP:conf/sigsoft/BanciFGL07,
    author = "Banci, Michele and Fantechi, Alessandro and Gnesi, Stefania and Lombardi, Giovanni",
    editor = "Guelfi, Nicolas and Muccini, Henry and Pelliccione, Patrizio and Romanovsky, Alexander B.",
    title = "Experimenting with diversity in the model driven development of a railway signaling system",
    booktitle = "Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, {EFTS} 2007, Dubrovnik, Croatia, September 4, 2007",
    pages = "5",
    publisher = "{ACM}",
    year = "2007",
    url = "https://doi.org/10.1145/1316550.1316555",
    doi = "10.1145/1316550.1316555",
    timestamp = "Tue, 01 Feb 2022 10:45:16 +0100",
    biburl = "https://dblp.org/rec/conf/sigsoft/BanciFGL07.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

Downloads: 0

{"_id":"nGS6FwQso6rZWfXAY","bibbaseid":"banci-fantechi-gnesi-lombardi-experimentingwithdiversityinthemodeldrivendevelopmentofarailwaysignalingsystem-2007","author_short":["Banci, M.","Fantechi, A.","Gnesi, S.","Lombardi, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Banci"],"firstnames":["Michele"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]},{"propositions":[],"lastnames":["Lombardi"],"firstnames":["Giovanni"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Guelfi"],"firstnames":["Nicolas"],"suffixes":[]},{"propositions":[],"lastnames":["Muccini"],"firstnames":["Henry"],"suffixes":[]},{"propositions":[],"lastnames":["Pelliccione"],"firstnames":["Patrizio"],"suffixes":[]},{"propositions":[],"lastnames":["Romanovsky"],"firstnames":["Alexander","B."],"suffixes":[]}],"title":"Experimenting with diversity in the model driven development of a railway signaling system","booktitle":"Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007","pages":"5","publisher":"ACM","year":"2007","url":"https://doi.org/10.1145/1316550.1316555","doi":"10.1145/1316550.1316555","timestamp":"Tue, 01 Feb 2022 10:45:16 +0100","biburl":"https://dblp.org/rec/conf/sigsoft/BanciFGL07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sigsoft/BanciFGL07,\n author = \"Banci, Michele and Fantechi, Alessandro and Gnesi, Stefania and Lombardi, Giovanni\",\n editor = \"Guelfi, Nicolas and Muccini, Henry and Pelliccione, Patrizio and Romanovsky, Alexander B.\",\n title = \"Experimenting with diversity in the model driven development of a railway signaling system\",\n booktitle = \"Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, {EFTS} 2007, Dubrovnik, Croatia, September 4, 2007\",\n pages = \"5\",\n publisher = \"{ACM}\",\n year = \"2007\",\n url = \"https://doi.org/10.1145/1316550.1316555\",\n doi = \"10.1145/1316550.1316555\",\n timestamp = \"Tue, 01 Feb 2022 10:45:16 +0100\",\n biburl = \"https://dblp.org/rec/conf/sigsoft/BanciFGL07.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Banci, M.","Fantechi, A.","Gnesi, S.","Lombardi, G."],"editor_short":["Guelfi, N.","Muccini, H.","Pelliccione, P.","Romanovsky, A. B."],"key":"DBLP:conf/sigsoft/BanciFGL07","id":"DBLP:conf/sigsoft/BanciFGL07","bibbaseid":"banci-fantechi-gnesi-lombardi-experimentingwithdiversityinthemodeldrivendevelopmentofarailwaysignalingsystem-2007","role":"author","urls":{"Paper":"https://doi.org/10.1145/1316550.1316555"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["experimenting","diversity","model","driven","development","railway","signaling","system","banci","fantechi","gnesi","lombardi"],"title":"Experimenting with diversity in the model driven development of a railway signaling system","year":2007}