Sciweavers

15784 search results - page 595 / 3157
» Mega Software Engineering
Sort
View
PROFES
2007
Springer
16 years 1 months ago
Increase ICT Project Success with Concrete Scope Management
Carol Dekkers, Pekka Forselius
SEKE
2007
Springer
16 years 1 months ago
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications
Salamah Salamah, Vladik Kreinovich, Ann Q. Gates
VAMOS
2007
Springer
16 years 1 months ago
Separation of Variability Dimension and Development Dimension
Isabel John, Jaejoon Lee, Dirk Muthig
ISSTA
2006
ACM
16 years 1 months ago
Testing, abstraction, theorem proving: better together!
Greta Yorsh, Thomas Ball, Mooly Sagiv