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 PapersTomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka Springer, 24 apr 2012 - 276 pagina's 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. |
Inhoudsopgave
Modelling and Formal Methodsin Software Development
| 94 |
Measurements Testing and Quality of Software
| 190 |
Overige edities - Alles bekijken
Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East ... Tomasz Szmuc,Marcin Szpyrka,Jaroslav Zendulka Geen voorbeeld beschikbaar - 2012 |
Veelvoorkomende woorden en zinsdelen
adapter affiliate marketing agent algorithm analysis application approach architectural knowledge aspect-oriented AspectJ aspects attribute computations BiLingva business process business rules CEE-SET change realization change type cluster code coverage components Computer coverage database dataflow defined definition described design decisions diagram domain environment evaluation event Event-B evolution example execution feature model front-end and back-end function H algorithm IEEE implemented information system input integration solution interfaces Internet systems Java language LNCS MemberGroup method Model Checking morphisms mutation mutation operators negative tuples nodes normative object object-oriented ontology paper paradigm parameters performance pointcut presented problem Proc programs proposed queue length reduced relocation repository requests/s requirements role RTECTLK formula semantics servers sets of entities smart technologies software architecture Software Engineering software system source code specific stored stream structure Szmuc Szpyrka target class temporal tuples test suite test suite reduction tool transformation tuples