Software Engineering 3
Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the ...
اقرأ المزيد
Software Engineering Techniques: Design for Quality
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Software Process and Product Measurement : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
The book deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, ...
اقرأ المزيد
Software Product Line Engineering
Software Product Line Engineering Are you interested in producing software products or software-intensive systems at lower ...
اقرأ المزيد
Solar-Type Activity in Main-Sequence Stars
Solar-type activity over the whole range of the electromagnetic spectrum is a phenomenon inherent in the majority of low- ...
اقرأ المزيد
Spin Dynamics in Confined Magnetic Structures III
This volume concentrates on new experimental techniques such as ferromagnetic-resonance-force microscopy and two-photon photoemission, ...
اقرأ المزيد
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
اقرأ المزيد
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
اقرأ المزيد
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
اقرأ المزيد
Stochastic Ageing and Dependence for Reliability
Ageing and dependence are two important characteristics in reliability and survival analysis, and they affect significantly ...
اقرأ المزيد
The Anatomical Basis of Dentistry / Bernard Liebgott
Includes full-color coverage of the regions of the head and neck that relate to applied anatomy for the clinical practice ...
اقرأ المزيد
The Architecture of Persistence : Designing for Future Use / David Fannon, Michelle Laboy, Peter Wiederspahn
Why do some buildings last for generations as beloved and useful places, while others do not? How can designers today create ...
اقرأ المزيد
The Future of Software Quality Assurance
This book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to ...
اقرأ المزيدThe Maintenance Management Framework
The Maintenance Management Framework describes and reviews the concept, process and framework of modern maintenance management ...
اقرأ المزيد
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations ...
اقرأ المزيد
Third-Party Liability of Classification Societies
Classification societies are charged with the technical supervision of maritime shipping to enhance the safety of life and ...
اقرأ المزيد
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
اقرأ المزيد
Variable Domain-specific Software Languages with DjDSL
This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...
اقرأ المزيد
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
اقرأ المزيد
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging ...
اقرأ المزيد
