Sciweavers

15727 search results - page 574 / 3146
» Software Engineering - Introduction
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