This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development; modelling and formal methods in software development; measurements, testing, and quality of software.
Author(s): Bartosz Michalik, Jerzy Nawrocki (auth.), Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (eds.)
Series: Lecture Notes in Computer Science 7054
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2012
Language: English
Pages: 276
City: Berlin, Heidelberg
Tags: Software Engineering; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Programming Techniques; Information Systems Applications (incl. Internet)
Front Matter....Pages -
Front Matter....Pages 1-1
Towards Decision Centric Repository of Architectural Knowledge....Pages 3-15
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning....Pages 16-29
Integration of Application Business Logic and Business Rules with DSL and AOP....Pages 30-39
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling....Pages 40-53
On the Evolution of Component-Based Software....Pages 54-69
Query Processing Using Negative and Temporal Tuples in Stream Query Engines....Pages 70-83
Scalable Store of Java Objects Using Range Partitioning....Pages 84-93
Front Matter....Pages 95-95
HTCPNs–Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration....Pages 97-108
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers....Pages 109-123
Information Systems Development Based on Visual Domain Specific Language BiLingva....Pages 124-135
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management....Pages 136-149
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach....Pages 150-163
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge....Pages 164-178
The Semantics of Role-Based Trust Management Languages....Pages 179-189
Front Matter....Pages 191-191
Applying of Smart Technologies: Evaluation of Effectiveness....Pages 193-201
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members....Pages 202-214
Dataflow Testing of Java Programs with DFC....Pages 215-228
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System....Pages 229-242
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles....Pages 243-256
Back Matter....Pages -
