دانلود کتاب Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

فهرست مطالب :

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 -