Sciweavers

1390 search results - page 188 / 278
» A Methodology for Requirements Engineering Process Developme...
Sort
View
ACMDIS
2000
ACM
15 years 4 months ago
Contextual Prototyping of User Interfaces
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...
Christian Stary
FOAL
2008
ACM
15 years 1 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
SPLC
2008
15 years 1 months ago
Reconciling Automation and Flexibility in Product Derivation
Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the productline community, yielding a frustrating situation. On the one h...
Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Je...
ICFP
2010
ACM
15 years 29 days ago
Experience report: growing programming languages for beginning students
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirement...
Marcus Crestani, Michael Sperber
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 5 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff