My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Author IFIP TC 2 Central and East European Conference on Software Engineering Techniques (4th : 2009 : Krakow, Poland)

Title Advances in software engineering techniques [electronic resource] : 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.).

Published Heidelberg : Springer, ©2012.


Location Call No. Status
Physical description 1 online resource (xii, 256 pages) : illustrations.
Series Lecture notes in computer science, 0302-9743 ; 7054
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7054.
LNCS sublibrary. SL 2, Programming and software engineering.
Springer Lecture Notes in Computer Science
Bibliography Includes bibliographical references and author index.
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{commab}na-Bērzi{commab}na, Jānis Bičevskis and {commab}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.
Other author Szmuc, Tomasz.
Szpyrka, Marcin.
Zendulka, Jaroslav.
International Federation for Information Processing.
SpringerLink issuing body.
Subject Software engineering -- Congresses.
Computer software -- Development -- Congresses.
Electronic books.
Conference papers and proceedings.
Variant Title CEE-SET 2009
ISBN 9783642280382
Standard Number 10.1007/978-3-642-28038-2