This Three-Volume-Set constitutes the refereed proceedings of the Second International Conference on Software Engineering and Computer Systems, ICSECS 2011, held in Kuantan, Malaysia, in June 2011. The 190 revised full papers presented together with invited papers in the three v…
This Three-Volume-Set constitutes the refereed proceedings of the Second International Conference on Software Engineering and Computer Systems, ICSECS 2011, held in Kuantan, Malaysia, in June 2011. The 190 revised full papers presented together with invited papers in the three v…
This volume constitutes the refereed proceedings of the 18th EuroSPI conference, held in Roskilde, Denmark, in June 2011. The 18 revised full papers presented together with 9 key notes were carefully reviewed and selected. They are organized in topical sections on SPI and assess…
This book constitutes the refereed proceedings of the 11th International Conference on Web Engineering, held in Paphos, Cyprus, in June 2011. The 22 revised full papers and 15 revised poster papers presented together with 2 invited lectures were carefully reviewed and selected f…
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 4…
Annotation This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers,…
Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevid…
by Barthe, Gilles, Schneider, Gerardo, International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay), Pardo, Alberto
fromLNCS sublibrary. SL 2, Programming and software engineering