TY - BOOK AU - AU - AU - ED - SpringerLink (Online service) TI - Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783642280382 AV - QA76.758 U1 - 005.1 23 PY - 2012/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Software engineering KW - Logic design KW - Computer Science KW - Software Engineering KW - Programming Languages, Compilers, Interpreters KW - Logics and Meanings of Programs KW - Programming Techniques KW - Information Systems Applications (incl. Internet) N1 - ZDB-2-SCS; ZDB-2-LNC N2 - This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development; modelling and formal methods in software development; measurements, testing, and quality of software UR - http://dx.doi.org/10.1007/978-3-642-28038-2 ER -