Sciweavers

15783 search results - page 37 / 3157
» Evidence-Based Software Engineering
Sort
View
ICSE
2007
IEEE-ACM
14 years 10 months ago
Lean Software Development
Mary Poppendieck
ISPW
2011
IEEE
13 years 1 months ago
Analyzing software process models with AVISPA
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
Julio Ariel Hurtado Alegria, María Cecilia ...
SIGSOFT
2010
ACM
13 years 7 months ago
Minding the (semantic) gap: engineering programming language theory
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
Arjun Guha, Shriram Krishnamurthi