Amazon cover image
Image from Amazon.com

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 / Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7054. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Heidelberg : Springer, ©2012.Description: 1 online resource (xii, 256 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642280382
  • 3642280382
Other title:
  • CEE-SET 2009
Subject(s): Genre/Form: Additional physical formats: Print version:: Advances in software engineering techniques.DDC classification:
  • 005.1 22
LOC classification:
  • QA76.758 .I35 2009
Online resources:
Contents:
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik and Jerzy Nawrocki -- Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly, Marián Lekavý, Marek Závodský and Pavol Návrat -- Integration of Application Business Logic and Business Rules with DSL and AOP / Bogumiła Hnatkowska and Krzysztof Kasprzyk -- Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling / Radoslav Menkyna and Valentino Vranić -- On the Evolution of Component-Based Software / Isabelle Côté, Maritta Heisel and Jeanine Souquières -- Query Processing Using Negative and Temporal Tuples in Stream Query Engines / Marcin Gorawski and Aleksander Chrószcz -- Scalable Store of Java Objects Using Range Partitioning / Mariusz Bedla and Krzysztof Sapiecha -- HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration / Sławomir Samolej and Tomasz Szmuc -- Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers / Tomasz Rak and Jan Werewka.
Information Systems Development Based on Visual Domain Specific Language BiLingva / Jana Ceri̦na-Bērzi̦na, Jānis Bičevskis and ̦Girts Karnītis -- A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management / Iman Poernomo and Timur Umarov -- Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach / Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine and Sergei Soloviev -- Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge / Bożena Woźna-Szcześniak -- The Semantics of Role-Based Trust Management Languages / Anna Felkner and Krzysztof Sacha -- Applying of Smart Technologies: Evaluation of Effectiveness / Zane Bičevska -- Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members / Marvin Ferber, Sascha Hunold, Björn Krellner, Thomas Rauber and Thomas Reichel, et al. -- Dataflow Testing of Java Programs with DFC / Ilona Bluemke and Artur Rembiszewski -- Object-Oriented Testing Capabilities and Performance Evaluation of the C♯ Mutation System / Anna Derezińska and Anna Szustek -- Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles / Alireza Khalilian and Saeed Parsa.
Summary: Annotation 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and author index.

Print version record.

Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik and Jerzy Nawrocki -- Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly, Marián Lekavý, Marek Závodský and Pavol Návrat -- Integration of Application Business Logic and Business Rules with DSL and AOP / Bogumiła Hnatkowska and Krzysztof Kasprzyk -- Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling / Radoslav Menkyna and Valentino Vranić -- On the Evolution of Component-Based Software / Isabelle Côté, Maritta Heisel and Jeanine Souquières -- Query Processing Using Negative and Temporal Tuples in Stream Query Engines / Marcin Gorawski and Aleksander Chrószcz -- Scalable Store of Java Objects Using Range Partitioning / Mariusz Bedla and Krzysztof Sapiecha -- HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration / Sławomir Samolej and Tomasz Szmuc -- Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers / Tomasz Rak and Jan Werewka.

Information Systems Development Based on Visual Domain Specific Language BiLingva / Jana Ceri̦na-Bērzi̦na, Jānis Bičevskis and ̦Girts Karnītis -- A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management / Iman Poernomo and Timur Umarov -- Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach / Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine and Sergei Soloviev -- Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge / Bożena Woźna-Szcześniak -- The Semantics of Role-Based Trust Management Languages / Anna Felkner and Krzysztof Sacha -- Applying of Smart Technologies: Evaluation of Effectiveness / Zane Bičevska -- Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members / Marvin Ferber, Sascha Hunold, Björn Krellner, Thomas Rauber and Thomas Reichel, et al. -- Dataflow Testing of Java Programs with DFC / Ilona Bluemke and Artur Rembiszewski -- Object-Oriented Testing Capabilities and Performance Evaluation of the C♯ Mutation System / Anna Derezińska and Anna Szustek -- Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles / Alireza Khalilian and Saeed Parsa.

Annotation 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.

Powered by Koha