Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering
Proceedings Second Workshop on Formal Aspects of Virtual Organisations
Product Centric Holons for Synchronisation and Interoperability in Manufacturing Environments
Product Lines for Service Oriented Applications - PL for SOA
Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis
Program Promises
Program slicing techniques and its applications
Program Spectra Analysis in Embedded Software: A Case Study
Program Understanding: A Reengineering Case for the Transformation Tool Contest
Project management and quality assurance in a multi-application environment
Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
Proving or Disproving likely Invariants with Constraint Reasoning
QIS-XML: A metadata specification for Quantum Information Science
QIS-XML: An Extensible Markup Language for Quantum Information Science
QUALIGRAPH - a software tool for quality metrics and graphic documentation
Quality Classifiers for Open Source Software Repositories
Quality Control, Testing and Deployment Results in NIF ICCS
Quantification of solar irradiation caused by restrictions or extensions of the horizon
Quantifying the Deign Quality of Object Oriented System The metric based rules and heuristic