Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/