LEADER 04894nam 22006615 450 001 9910483693103321 005 20251226203441.0 024 7 $a10.1007/b136153 035 $a(CKB)1000000000212935 035 $a(SSID)ssj0000319735 035 $a(PQKBManifestationID)11252074 035 $a(PQKBTitleCode)TC0000319735 035 $a(PQKBWorkID)10339062 035 $a(PQKB)11069601 035 $a(DE-He213)978-3-540-32039-5 035 $a(MiAaPQ)EBC3067944 035 $a(PPN)123094321 035 $a(BIP)11892673 035 $a(EXLCZ)991000000000212935 100 $a20100713d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRapid Integration of Software Engineering Techniques $eFirst International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers /$fedited by Nicolas Guelfi 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 145 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3475 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540258124 320 $aIncludes bibliographical references and index. 327 $aIntegration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards a Methodology for Component-Driven Design -- Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification -- A Symbolic Model Checker for tccp Programs -- A Methodology and a Framework for Model-Based Testing -- An Exception Monitoring System for Java -- Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling Systems -- A Model Based Approach to Design Applications for Network Processor -- A MOF-Based Metamodel for SA/RT -- Modelling SystemC Process Behavior by the UML Method State Machines -- My Favorite Editor Anywhere -- Invited Paper -- Combining System Development and System Test in a Model-Centric Approach. 330 $aRISE 2004 was an international forum for researchers and practitioners int- ested in integrated and practical software engineering approaches that are part of a methodological framework and which apply to both new and evolving app- cations, technologies and systems. The ERCIM (European Research Consortium forInformaticsandMathematics)RISEworkinggroupselectedapplicationareas such as the Web, mobility, high availability approaches, embedded approaches and user interfaces in speci'c industry sectors comprising ?nance, telecom- nications, transportation (avionics, the automotive industry) and e-government. Considered research issues in these areas pertain to the following software en- neering domains: - software/system architectures - reuse - testing - model transformation/model-driven engineering - requirements engineering - lightweight formal methods - ASE tools All papers submitted to this workshop were reviewed by at least two m- bers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected for these proceedings 12 papers amongst 28 submitted, and an invited paper. The organization of such a workshop represents an important amount of work. We would like to acknowledge all the Program Committee members, all the additional referees,all the Organization Committee members, the University of Luxembourg, Faculty of Science, Technology and Communication administ- tive, scienti'c and technical sta?, and the Henri Tudor Public Research Center. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v3475 606 $aSoftware engineering 606 $aComputer science 606 $aElectronic data processing$xManagement 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aIT Operations 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aElectronic data processing$xManagement. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aIT Operations. 676 $a005.1 701 $aGuelfi$b Nicolas$f1965-$01752470 712 12$aRISE 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483693103321 996 $aRapid integration of software engineering techniques$94192791 997 $aUNINA