LEADER 05912nam 22008295 450 001 996465919003316 005 20200630193626.0 010 $a3-540-85279-4 024 7 $a10.1007/978-3-540-85279-7 035 $a(CKB)1000000000490359 035 $a(SSID)ssj0000355451 035 $a(PQKBManifestationID)11289867 035 $a(PQKBTitleCode)TC0000355451 035 $a(PQKBWorkID)10319706 035 $a(PQKB)10888632 035 $a(DE-He213)978-3-540-85279-7 035 $a(MiAaPQ)EBC3063134 035 $a(MiAaPQ)EBC6284197 035 $a(PPN)12812606X 035 $a(EXLCZ)991000000000490359 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aBalancing Agility and Formalism in Software Engineering$b[electronic resource] $eSecond IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers /$fedited by Bertrand Meyer, J.R. Nawrocki, Bartosz Walter 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XI, 305 p. 1 illus.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v5082 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-85278-6 320 $aIncludes bibliographical references and index. 327 $aKeynotes -- Agile Software Development at Scale -- Formalisms in Software Engineering: Myths Versus Empirical Facts -- Measurement -- Extending GQM by Argument Structures -- On Metamodel-Based Design of Software Metrics -- Automatic Transactions Identification in Use Cases -- Processes -- A Collaborative Method for Reuse Potential Assessment in Reengineering-Based Product Line Adoption -- Corporate-, Agile- and Open Source Software Development: A Witch?s Brew or An Elixir of Life? -- Capable Leader and Skilled and Motivated Team Practices to Introduce eXtreme Programming -- UML -- Platform-Independent Programming of Data-Intensive Applications Using UML -- Towards UML-Intensive Framework for Model-Driven Development -- UML Static Models in Formal Approach -- Experiments -- Does Test-Driven Development Improve the Program Code? Alarming Results from a Comparative Case Study -- Measuring the Human Factor with the Rasch Model -- Empirical Analysis of a Distributed Software Development Project -- Tools -- Extending Software Architecting Processes with Decision-Making Activities -- A Tool for Supporting Feature-Driven Development -- In-Time Role-Specific Notification as Formal Means to Balance Agile Practices in Global Software Development Settings -- Best Papers Session -- An Integrated Approach for Identifying Relevant Factors Influencing Software Development Productivity -- A Framework for QoS Contract Negotiation in Component-Based Applications -- A Case Study on the Impact of Refactoring on Quality and Productivity in an Agile Team -- Change -- Modeling of Requirements Tracing -- Support for Cooperative Design of End-User Tailorable Software -- Manifoldness of Variability Modeling ? Considering the Potential for Further Integration. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007. The 21 revised full papers presented together with 2 keynote addresses were carefully reviewed and selected from 73 initial submissions. The papers are organized in topical sections on measurement, processes, UML, experiments, tools, and change. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v5082 606 $aSoftware engineering 606 $aData structures (Computer science) 606 $aComputers 606 $aManagement information systems 606 $aComputer science 606 $aApplication software 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 615 0$aSoftware engineering. 615 0$aData structures (Computer science). 615 0$aComputers. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aApplication software. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aData Structures and Information Theory. 615 24$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aManagement of Computing and Information Systems. 615 24$aComputer Appl. in Administrative Data Processing. 676 $a005.1 702 $aMeyer$b Bertrand$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNawrocki$b J.R$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWalter$b Bartosz$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465919003316 996 $aBalancing Agility and Formalism in Software Engineering$9774460 997 $aUNISA