"Software has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis since the first NATO Software Engineering conference in 1968. Time and again we have been proven unable to engineer reliable software a…
by Holcombe, William Michael Lloyd, Hinchey, Michael Gerard, International Conference on Software Engineering and Formal Methods, Thessalonikē, Greece), Eleftherakis, George
fromLNCS sublibrary. SL 2, Programming and software engineering
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 i…