1
Published 2010
Table of Contents: ... – Refactoring for Variability: A Test-Driven Approach -- Introducing Agile Methods in a Large Software...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... Analysis of Protein-Protein Interaction Networks -- Statistical Methods in Metabolomics -- Introduction...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...
View full text
Electronic eBook
4
Published 2012
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...Formal Methods in Usability Engineering -- User-Centered Methods Are Insufficient for Safety...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Control System Tailored to Software Reuse -- Case Study of a Method for Reengineering Procedural Systems...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Properties from Knowledge Based Programs -- Detecting Code Evolution in Programming Learning -- Revising...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Model Synchronization -- An Invariant-Based Method for the Analysis of Declarative Model-to-Model...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Query Graph Based on Degrees and Their Time-Evolution -- t-UNITY – A Formal Framework for Modeling...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... for Prioritization of Failures in Fuzzy FMEA -- A Hybrid Method of Differential Evolution and SQP for Solving...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Sciences -- Analyzing the Evolution of Life Science Ontologies and Mappings -- Ontology Design Principles...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Using Inductive Logic Programming for Predicting Protein-Protein Interactions from Multiple Genomic Data...
View full text
Electronic eBook