Software Engineering Techniques: Design for Quality (eBook)
X, 378 Seiten
Springer US (Verlag)
978-0-387-39388-9 (ISBN)
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.
Software architectures and implementation technologies.- From Hubs Via Holons to an Adaptive Meta-Architecture — the “AD-HOC” Approach.- A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications.- Scenario-based Component Behavior Filtration.- Mobile Ambients in Aspect-Oriented Software Architectures.- The architecture of distributed systems driven by autonomic patterns.- Modeling.- An optimizing OCL Compiler for Metamodeling and Model Transformation Environments.- Crossing the Borderline — From Formal to Semi-Formal Specifications.- Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices.- A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware.- Estimation of mean response time of multi-agent systems.- Integrated Approach to Modelling and Analysis using RTCP-nets.- Hybrid modeling and verification of Java based software.- Project management.- An evolutionary approach to project management process improvement for software-intensive projects.- Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation.- Software Risk Management: a Process Model and a Tool.- Software Quality.- An Approach to Software Quality Specification and Evaluation (SPoQE).- Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications.- Reaching and Maintaining High Quality of Distributed J2EE Applications — BeesyCluster Case Study.- Verification methods.- Automatic software validation process.- j2eeprof — a tool for testing multitier applications.- An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy.- Minimizing Test Execution Time During Test Generation.- An Integrated Regression Testing Framework to Multi-Threaded Java Programs.- DynAlloy as a Formal Method for the Analysis of Java Programs.- Verification of UML State Diagrams Using Concurrent State Machines.- Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing.- Advanced mutation operators applicable in C# programs.- Data management.- An Open Platform of Data Quality Monitoring for ERP Information Systems.- Managing Data from Heterogeneous Data Sources Using Knowledge Layer.- Checkpoint-based resumption in data warehouses.- Software maintenance.- A C++ Refactoring Browser and Method Extraction.- ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications.- Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar.- Minik: A Tool for Maintaining Proper Java Code Structure.- Multidimensional Legacy Aspects of Modernizing Web Based Systems.
Erscheint lt. Verlag | 15.1.2007 |
---|---|
Reihe/Serie | IFIP Advances in Information and Communication Technology | IFIP International Federation for Information Processing |
Verlagsort | Boston |
Sprache | englisch |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Schlagworte | Cluster • Java • Middleware • Modeling • Project Management Process • SET 2006 • Software Architectures • Software Maintenence • unified modeling language (UML) • Verification Methods |
ISBN-10 | 0-387-39388-9 / 0387393889 |
ISBN-13 | 978-0-387-39388-9 / 9780387393889 |
Haben Sie eine Frage zum Produkt? |
![PDF](/img/icon_pdf_big.jpg)
Größe: 27,7 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich