Filter your results
- 18
- 18
- 18
- 18
- 11
- 2
- 18
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.150-163, ⟨10.1007/978-3-642-28038-2_12⟩
Conference papers
hal-01527378v1
|
||
|
|
The Semantics of Role-Based Trust Management Languages4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.179-189, ⟨10.1007/978-3-642-28038-2_14⟩
Conference papers
hal-01527385v1
|
||
|
|
Information Systems Development Based on Visual Domain Specific Language BiLingva4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.124-135, ⟨10.1007/978-3-642-28038-2_10⟩
Conference papers
hal-01527381v1
|
||
|
|
Applying of Smart Technologies: Evaluation of Effectiveness4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.193-201, ⟨10.1007/978-3-642-28038-2_15⟩
Conference papers
hal-01527380v1
|
||
|
|
Scalable Store of Java Objects Using Range Partitioning4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.84-93, ⟨10.1007/978-3-642-28038-2_7⟩
Conference papers
hal-01527389v1
|
||
|
|
Towards Decision Centric Repository of Architectural Knowledge4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.3-15, ⟨10.1007/978-3-642-28038-2_1⟩
Conference papers
hal-01527386v1
|
||
|
|
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.136-149, ⟨10.1007/978-3-642-28038-2_11⟩
Conference papers
hal-01527384v1
|
||
|
|
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.109-123, ⟨10.1007/978-3-642-28038-2_9⟩
Conference papers
hal-01527382v1
|
||
|
|
Integration of Application Business Logic and Business Rules with DSL and AOP4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.30-39, ⟨10.1007/978-3-642-28038-2_3⟩
Conference papers
hal-01527379v1
|
||
|
|
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.16-29, ⟨10.1007/978-3-642-28038-2_2⟩
Conference papers
hal-01527394v1
|
||
|
|
HTCPNs–Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.97-108, ⟨10.1007/978-3-642-28038-2_8⟩
Conference papers
hal-01527395v1
|
||
|
|
Dataflow Testing of Java Programs with DFC4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.215-228, ⟨10.1007/978-3-642-28038-2_17⟩
Conference papers
hal-01527388v1
|
||
|
|
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.229-242, ⟨10.1007/978-3-642-28038-2_18⟩
Conference papers
hal-01527392v1
|
||
|
|
Query Processing Using Negative and Temporal Tuples in Stream Query Engines4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.70-83, ⟨10.1007/978-3-642-28038-2_6⟩
Conference papers
hal-01527387v1
|
||
|
|
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.164-178, ⟨10.1007/978-3-642-28038-2_13⟩
Conference papers
hal-01527383v1
|
||
|
|
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.243-256, ⟨10.1007/978-3-642-28038-2_19⟩
Conference papers
hal-01527390v1
|
||
|
|
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.40-53, ⟨10.1007/978-3-642-28038-2_4⟩
Conference papers
hal-01527396v1
|
||
|
|
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.202-214, ⟨10.1007/978-3-642-28038-2_16⟩
Conference papers
hal-01527393v1
|