Ebook: Software Engineering Techniques: Design for Quality
- Tags: Software Engineering
- Series: IFIP International Federation for Information Processing 227
- Year: 2007
- Publisher: Springer US
- Edition: 1
- Language: English
- pdf
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit www.ifip.org.
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit www.ifip.org.
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit www.ifip.org.
Content:
Front Matter....Pages i-ix
From Hubs Via Holons to an Adaptive Meta-Architecture — the “AD-HOC” Approach....Pages 1-13
A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications....Pages 15-24
Scenario-based Component Behavior Filtration....Pages 25-36
Mobile Ambients in Aspect-Oriented Software Architectures....Pages 37-48
The architecture of distributed systems driven by autonomic patterns....Pages 49-60
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments....Pages 61-71
Crossing the Borderline — From Formal to Semi-Formal Specifications....Pages 73-84
Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices....Pages 85-96
A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware....Pages 97-108
Estimation of mean response time of multi-agent systems....Pages 109-113
Integrated Approach to Modelling and Analysis using RTCP-nets....Pages 115-120
Hybrid modeling and verification of Java based software....Pages 121-126
An evolutionary approach to project management process improvement for software-intensive projects....Pages 127-138
Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation....Pages 139-148
Software Risk Management: a Process Model and a Tool....Pages 149-154
An Approach to Software Quality Specification and Evaluation (SPoQE)....Pages 155-166
Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications....Pages 167-178
Reaching and Maintaining High Quality of Distributed J2EE Applications — BeesyCluster Case Study....Pages 179-190
Automatic software validation process....Pages 191-197
j2eeprof — a tool for testing multitier applications....Pages 199-210
An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy....Pages 211-222
Minimizing Test Execution Time During Test Generation....Pages 223-235
An Integrated Regression Testing Framework to Multi-Threaded Java Programs....Pages 237-248
DynAlloy as a Formal Method for the Analysis of Java Programs....Pages 249-260
Verification of UML State Diagrams Using Concurrent State Machines....Pages 261-271
Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing....Pages 273-282
Advanced mutation operators applicable in C# programs....Pages 283-288
An Open Platform of Data Quality Monitoring for ERP Information Systems....Pages 289-299
Managing Data from Heterogeneous Data Sources Using Knowledge Layer....Pages 301-312
Checkpoint-based resumption in data warehouses....Pages 313-323
A C++ Refactoring Browser and Method Extraction....Pages 325-336
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications....Pages 337-348
Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar....Pages 349-360
Minik: A Tool for Maintaining Proper Java Code Structure....Pages 361-371
Multidimensional Legacy Aspects of Modernizing Web Based Systems....Pages 373-378
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit www.ifip.org.
Content:
Front Matter....Pages i-ix
From Hubs Via Holons to an Adaptive Meta-Architecture — the “AD-HOC” Approach....Pages 1-13
A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications....Pages 15-24
Scenario-based Component Behavior Filtration....Pages 25-36
Mobile Ambients in Aspect-Oriented Software Architectures....Pages 37-48
The architecture of distributed systems driven by autonomic patterns....Pages 49-60
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments....Pages 61-71
Crossing the Borderline — From Formal to Semi-Formal Specifications....Pages 73-84
Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices....Pages 85-96
A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware....Pages 97-108
Estimation of mean response time of multi-agent systems....Pages 109-113
Integrated Approach to Modelling and Analysis using RTCP-nets....Pages 115-120
Hybrid modeling and verification of Java based software....Pages 121-126
An evolutionary approach to project management process improvement for software-intensive projects....Pages 127-138
Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation....Pages 139-148
Software Risk Management: a Process Model and a Tool....Pages 149-154
An Approach to Software Quality Specification and Evaluation (SPoQE)....Pages 155-166
Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications....Pages 167-178
Reaching and Maintaining High Quality of Distributed J2EE Applications — BeesyCluster Case Study....Pages 179-190
Automatic software validation process....Pages 191-197
j2eeprof — a tool for testing multitier applications....Pages 199-210
An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy....Pages 211-222
Minimizing Test Execution Time During Test Generation....Pages 223-235
An Integrated Regression Testing Framework to Multi-Threaded Java Programs....Pages 237-248
DynAlloy as a Formal Method for the Analysis of Java Programs....Pages 249-260
Verification of UML State Diagrams Using Concurrent State Machines....Pages 261-271
Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing....Pages 273-282
Advanced mutation operators applicable in C# programs....Pages 283-288
An Open Platform of Data Quality Monitoring for ERP Information Systems....Pages 289-299
Managing Data from Heterogeneous Data Sources Using Knowledge Layer....Pages 301-312
Checkpoint-based resumption in data warehouses....Pages 313-323
A C++ Refactoring Browser and Method Extraction....Pages 325-336
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications....Pages 337-348
Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar....Pages 349-360
Minik: A Tool for Maintaining Proper Java Code Structure....Pages 361-371
Multidimensional Legacy Aspects of Modernizing Web Based Systems....Pages 373-378
....