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 |
Hosted by HAL : 