Table of Contents
|
Advances in Software Engineering Techniques Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.)
|
Front Matter |
Software Architectures and Development
|
On the Evolution of Component-based Software Isabelle Coté, Maritta Heisel, Jeanine Souquières |
|
Towards Decision Centric Repository of Architectural Knowledge Bartosz Michalik, Jerzy Nawrocki |
3-15 |
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning Pavol Mederly, Marián Lekavý, Marek Závodský, Pavol Navrat |
16-29 |
Integration of Application Business Logic and Business Rules with DSL and AOP Bogumiła Hnatkowska, Krzysztof Kasprzyk |
30-39 |
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling Radoslav Menkyna, Valentino Vranić |
40-53 |
Query Processing Using Negative and Temporal Tuples in Stream Query Engines Marcin Gorawski, Aleksander Chrószcz |
70-83 |
Scalable Store of Java Objects Using Range Partitioning Mariusz Bedla, Krzysztof Sapiecha |
84-93 |
Modelling and Formal Methods in Software Development
|
HTCPNs–Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration Sławomir Samolej, Tomasz Szmuc |
97-108 |
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers Tomasz Rak, Jan Werewka |
109-123 |
Information Systems Development Based on Visual Domain Specific Language BiLingva Jana Ceriņa-Bērziņa, Jānis Bičevskis, Ģirts Karnītis |
124-135 |
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management Iman Poernomo, Timur Umarov |
136-149 |
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev |
150-163 |
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge Bożena Woźna-Szcześniak |
164-178 |
The Semantics of Role-Based Trust Management Languages Anna Felkner, Krzysztof Sacha |
179-189 |
Measurements, Testing, and Quality of Software
|
Applying of Smart Technologies: Evaluation of Effectiveness Zane Bičevska |
193-201 |
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members Marvin Ferber, Sascha Hunold, Björn Krellner, Thomas Rauber, Thomas Reichel, Gudula Rünger |
202-214 |
Dataflow Testing of Java Programs with DFC Ilona Bluemke, Artur Rembiszewski |
215-228 |
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System Anna Derezińska, Anna Szustek |
229-242 |
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles Alireza Khalilian, Saeed Parsa |
243-256 |