CEE-SET

Keyphrases

Publications

volume 7054, 2012

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 CEE-SET 7054 (2012)

volume 4980, 2011

Software Engineering Techniques - Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers CEE-SET 4980 (2011)

2009

Bozena Wozna-Szczesniak
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge. CEE-SET (2009)
Zane Bicevska
Applying of Smart Technologies: Evaluation of Effectiveness. CEE-SET (2009)
Pavol Mederly, Marián Lekavý, Marek Závodský, Pavol Návrat
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning. CEE-SET (2009)
Anna Derezinska, Anna Szustek
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System. CEE-SET (2009)
Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach. CEE-SET (2009)
Slawomir Samolej, Tomasz Szmuc
HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration. CEE-SET (2009)
Isabelle Côté, Maritta Heisel, Jeanine Souquières
On the Evolution of Component-Based Software. CEE-SET (2009)
Marcin Gorawski, Aleksander Chrószcz
Query Processing Using Negative and Temporal Tuples in Stream Query Engines. CEE-SET (2009)
Iman Poernomo, Timur Umarov
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. CEE-SET (2009)
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. CEE-SET (2009)
Anna Felkner, Krzysztof Sacha
The Semantics of Role-Based Trust Management Languages. CEE-SET (2009)
Radoslav Menkyna, Valentino Vranic
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling. CEE-SET (2009)
Tomasz Rak, Jan Werewka
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers. CEE-SET (2009)
Mariusz Bedla, Krzysztof Sapiecha
Scalable Store of Java Objects Using Range Partitioning. CEE-SET (2009)
Ilona Bluemke, Artur Rembiszewski
Dataflow Testing of Java Programs with DFC. CEE-SET (2009)
Bogumila Hnatkowska, Krzysztof Kasprzyk
Integration of Application Business Logic and Business Rules with DSL and AOP. CEE-SET (2009)
Alireza Khalilian, Saeed Parsa
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles. CEE-SET (2009)
Bartosz Michalik, Jerzy R. Nawrocki
Towards Decision Centric Repository of Architectural Knowledge. CEE-SET (2009)
Jana Cerina-Berzina, Janis Bicevskis, Girts Karnitis
Information Systems Development Based on Visual Domain Specific Language BiLingva. CEE-SET (2009)

2008

volume 5082, 2008

Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers CEE-SET 5082 (2008)

2007