Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/