41 abstract abstraction agile algebraic analysis ant architectural architecture argument aspect aspects associativity ast autonomic based bdd benchmark benchmarks bilattice binary bookshelf boot build bunch c cache cache-behavior cc changelog citations classpath clustering code cohesion comments compaction compilation compiler complexity complexiy component component-based componentization components composition conceptual constraint context coupling crocopat cvs data database data-locality datrix decision delibrations dependence design development discovery distance distributed documenting domain dtd early effort engineering environment estimation events evolution exchange exchangeformat false features format frames framework frameworks gnu goal goal-oriented goals graph graphical gxl halstead header headers inconsistency incremental induction information informationhiding insight intel interface internationalization issue istar iterative java justification klokwork large large-scale law limbo linda literature locality locating logic maintenance make management manifesto markup mccabe measure merging method metric metrics middleware mining modal model modeling models model-view-controller modularisation modularity modularization multivalue music mvc nonfunctional non-functional non-uniform objectoriented object-oriented oo oql oriented origin paradigm parallel parallelization partitioning patterns performance perspectives policy precompilation precompiled prefetching presentations problem process process-oriented product productivity productline product-line program programming prover public qos quality quality-based query rational rationale reasoning recompilation reconfiguration reengineering refactoring refinement reflexion relational release repair replacement repository representation requirements restructuring retrieval reusability reuse reverse reverseengineering revisitation rml roadmap sat satisfiability scenarios scglib schema science scm search security selective semantic semantics semistructured separation_of_concerns server service services set similarity size slicing smalltalk smart smarter soap software solver specification specifications stability statecharts sun survey sync-stabilize syntax systems taski template test testing theorem theory toolkit traceability transitions tree-structured tropos tuning twinpeak unit update usecases variability variable viewpoints views vim visual visualization web writing xml xmlschema xslt