Home - this site is powered by TWiki(R)
SPG > SoftwareProductivityGroup > GenteAreaProjects > AspectProductLine > BibliografiaAspectosProductLines > SPLTheoryRefinement
TWiki webs: Main | TWiki | Sandbox   Hello TWiki Admin Group!

Changes | Index | Search | Go

A Theory for Software Product Line Refinement

  • PVS specification
  • Proof file

-- LeopoldoTeixeira - 29 May 2010

Edit | Attach | Print version | History: %REVISIONS% | Backlinks | Raw View | Raw edit | More topic actions


Parents: SoftwareProductivityGroup > GenteAreaProjects > AspectProductLine > BibliografiaAspectosProductLines
This site is powered by the TWiki collaboration platform Powered by Perl This site is powered by the TWiki collaboration platformCopyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

mersin escort bayan adana escort bayan izmit escort ankara escort bursa escort