Szmuc, Tomasz.
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 / [electronic resource] : edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. - Approx. 275 p. online resource. - Lecture Notes in Computer Science, 7054 0302-9743 ; . - Lecture Notes in Computer Science, 7054 .
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.
9783642280382
10.1007/978-3-642-28038-2 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Programming Techniques.
Information Systems Applications (incl. Internet).
QA76.758
005.1
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 / [electronic resource] : edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. - Approx. 275 p. online resource. - Lecture Notes in Computer Science, 7054 0302-9743 ; . - Lecture Notes in Computer Science, 7054 .
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.
9783642280382
10.1007/978-3-642-28038-2 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Programming Techniques.
Information Systems Applications (incl. Internet).
QA76.758
005.1