CEE-SET 2009: Krakow, Poland
Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.): 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 Papers. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-28037-5
Software Architectures and Development
- Bartosz Michalik, Jerzy R. Nawrocki: Towards Decision Centric Repository of Architectural Knowledge. 3-15
- Pavol Mederly, Marián Lekavý, Marek Závodský, Pavol Návrat: Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning. 16-29
- Bogumila Hnatkowska, Krzysztof Kasprzyk: Integration of Application Business Logic and Business Rules with DSL and AOP. 30-39
- Radoslav Menkyna, Valentino Vranic: Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling. 40-53
- Isabelle Côté, Maritta Heisel, Jeanine Souquières: On the Evolution of Component-Based Software. 54-69
- Marcin Gorawski, Aleksander Chrószcz: Query Processing Using Negative and Temporal Tuples in Stream Query Engines. 70-83
Modelling and Formal Methods in Software Development
- Slawomir Samolej, Tomasz Szmuc: HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration. 97-108
- Tomasz Rak, Jan Werewka: Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers. 109-123
- Jana Cerina-Berzina, Janis Bicevskis, Girts Karnitis: Information Systems Development Based on Visual Domain Specific Language BiLingva. 124-135
- Iman Poernomo, Timur Umarov: A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. 136-149
- Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev: Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach. 150-163
- Bozena Wozna-Szczesniak: Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge. 164-178
Measurements, Testing, and Quality of Software
- Zane Bicevska: Applying of Smart Technologies: Evaluation of Effectiveness. 193-201
- Marvin Ferber, Sascha Hunold, Björn Krellner, Thomas Rauber, Thomas Reichel, Gudula Rünger: Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members. 202-214
- Anna Derezinska, Anna Szustek: Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System. 229-242
- Alireza Khalilian, Saeed Parsa: Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles. 243-256
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team