| Description |
1 online resource (xii, 256 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 7054 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7054.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik and Jerzy Nawrocki -- Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly, Marián Lekavý, Marek Závodský and Pavol Návrat -- Integration of Application Business Logic and Business Rules with DSL and AOP / Bogumiła Hnatkowska and Krzysztof Kasprzyk -- Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling / Radoslav Menkyna and Valentino Vranić -- On the Evolution of Component-Based Software / Isabelle Côté, Maritta Heisel and Jeanine Souquières -- Query Processing Using Negative and Temporal Tuples in Stream Query Engines / Marcin Gorawski and Aleksander Chrószcz -- Scalable Store of Java Objects Using Range Partitioning / Mariusz Bedla and Krzysztof Sapiecha -- HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration / Sławomir Samolej and Tomasz Szmuc -- Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers / Tomasz Rak and Jan Werewka |
|
Information Systems Development Based on Visual Domain Specific Language BiLingva / Jana Ceri{commab}na-Bērzi{commab}na, Jānis Bičevskis and {commab}Girts Karnītis -- A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management / Iman Poernomo and Timur Umarov -- Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach / Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine and Sergei Soloviev -- Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge / Bożena Woźna-Szcześniak -- The Semantics of Role-Based Trust Management Languages / Anna Felkner and Krzysztof Sacha -- Applying of Smart Technologies: Evaluation of Effectiveness / Zane Bičevska -- Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members / Marvin Ferber, Sascha Hunold, Björn Krellner, Thomas Rauber and Thomas Reichel, et al. -- Dataflow Testing of Java Programs with DFC / Ilona Bluemke and Artur Rembiszewski -- Object-Oriented Testing Capabilities and Performance Evaluation of the C♯ Mutation System / Anna Derezińska and Anna Szustek -- Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles / Alireza Khalilian and Saeed Parsa |
| Summary |
Annotation 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 |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Print version record |
| Subject |
Software engineering -- Congresses
|
|
Computer software -- Development -- Congresses
|
|
Informatique.
|
|
Computer software -- Development
|
|
Software engineering
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Szmuc, Tomasz
|
|
Szpyrka, Marcin
|
|
Zendulka, Jaroslav
|
|
International Federation for Information Processing.
|
| ISBN |
9783642280382 |
|
3642280382 |
|
