default search action
CEE-SET 2009: Krakow, Poland
- Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka:
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. Lecture Notes in Computer Science 7054, Springer 2012, 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 - Mariusz Bedla, Krzysztof Sapiecha:
Scalable Store of Java Objects Using Range Partitioning. 84-93
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 - Anna Felkner, Krzysztof Sacha:
The Semantics of Role-Based Trust Management Languages. 179-189
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 - Ilona Bluemke, Artur Rembiszewski:
Dataflow Testing of Java Programs with DFC. 215-228 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.