Skip to main content
SpringerLink
Log in

Software Engineering Techniques: Design for Quality

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Krzysztof Sacha

    1. Software Engineering Group Institute of Control & Computation Engineering, Warsaw University of Technology, Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • The most current research on software engineering techniques
  • Includes supplementary material: sn.pub/extras

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 227)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Software architectures and implementation technologies

    1. From Hubs Via Holons to an Adaptive Meta-Architecture — the “AD-HOC” Approach

      • Leszek A. Maciaszek
      Pages 1-13

    2. A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications

      • Piotr Kołaczkowski, Ilona Bluemke
      Pages 15-24

    3. Scenario-based Component Behavior Filtration

      • Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
      Pages 25-36

    4. Mobile Ambients in Aspect-Oriented Software Architectures

      • Nour Ali, Jennifer Pérez, Cristóbal Costa, Isidro Ramos, Jose A. Carsí
      Pages 37-48

    5. The architecture of distributed systems driven by autonomic patterns

      • Marcin Wolski, Cezary Mazurek, Paweł Spychała, Aleksander Sumowski
      Pages 49-60

  3. Modeling

    1. An optimizing OCL Compiler for Metamodeling and Model Transformation Environments

      • Gergely Mezei, Tihamér Levendovszky, Hassan Charaf
      Pages 61-71

    2. Crossing the Borderline — From Formal to Semi-Formal Specifications

      • Andreas Bollin
      Pages 73-84

    3. Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices

      • Kurt Geihs, Mohammad U. Khan, Roland Reichle, Arnor Solberg, Svein Hallsteinsen
      Pages 85-96

    4. A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware

      • Yong Zhang, Tao Huang, Jun Wei, Ningjiang Chen
      Pages 97-108

    5. Estimation of mean response time of multi-agent systems

      • Tomasz Babczyński, Jan Magott
      Pages 109-113

    6. Integrated Approach to Modelling and Analysis using RTCP-nets

      • Marcin Szpyrka, Tomasz Szmuc
      Pages 115-120

    7. Hybrid modeling and verification of Java based software

      • Konrad Kułakowski
      Pages 121-126

  4. Project management

    1. An evolutionary approach to project management process improvement for software-intensive projects

      • Paweł Pierzchałka
      Pages 127-138

    2. Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation

      • Norman Fenton, Łukasz Radliński, Martin Neil
      Pages 139-148

    3. Software Risk Management: a Process Model and a Tool

      • Tereza G. Kirner, Lourdes E. Gonçalves
      Pages 149-154

  5. Software Quality

    1. An Approach to Software Quality Specification and Evaluation (SPoQE)

      • Iwona Dubielewicz, Bogumiła Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz
      Pages 155-166

    2. Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications

      • Barbara Begier, Jacek Wdowicki
      Pages 167-178

    3. Reaching and Maintaining High Quality of Distributed J2EE Applications — BeesyCluster Case Study

      • Paweł Czarnul
      Pages 179-190

  6. Verification methods

    1. Automatic software validation process

      • Maciej Dorsz, Mariusz Wasielewski
      Pages 191-197
Back to top

Keywords

About this book

The aim of software engineering is to find methods for developing high quality software products at a reasonable cost. As more and more computers are being used in areas in which a malfunction of the system can be a source of serious losses or disturbances to the functioning of the society, the quality of software becomes a more and more critical factor of business success, human security, and safety. Examples of such application areas are enterprise management, public administration, and social insurance or post delivery services. The quality of services offered to the society depends on the quality of software systems that support the functioning of the respective public or private organizations (service providers).

Software engineering consists of a selection of methods and techniques that vary from project to project and evolve in time. The purpose of this volume is to provide an overview of the current work in software development techniques that can help with enhancing the quality of software. The chapters of this volume, organized by key topic area, create an agenda for the IFIP Working Conference on Software Engineering Techniques, SET 2006. The seven sections of the volume address the following areas: software architectures, modeling, project management, software quality, analysis and verification methods, data management, and software maintenance.

Editors and Affiliations

  • Software Engineering Group Institute of Control & Computation Engineering, Warsaw University of Technology, Warsaw, Poland

    Krzysztof Sacha

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation