Rapid Integration of Software Engineering Techniques: First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers: 3475 - Brossura

Guelfi, Nicolas

Brossura

ISBN 10: 3540258124 ISBN 13: 9783540258124

Casa editrice: Springer, 2008

Riassunto

RISE 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.

Su questo libro

Contenuti

Integration 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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 3540258124
• ISBN 13: 9783540258124
• Rilegatura: Copertina flessibile
• Numero di pagine: 156
• Contatto del produttore: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Tiergartenstr. 17; Heidelberg; 69121; Germania