Sciweavers

2154 search results - page 144 / 431
» Evidence-based software production
Sort
View
SIGSOFT
2009
ACM
16 years 5 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
RE
2010
Springer
14 years 11 months ago
Comparison of Requirements Hand-off, Analysis, and Negotiation: Case Study
Companies in the software business often distribute requirements engineering responsibilities over several roles. Product management has overall product responsibility and performs...
Samuel Fricker, Martin Glinz
SIGSOFT
2010
ACM
15 years 2 months ago
The last mile: parallel programming and usability
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...
Caitlin Sadowski, Andrew Shewmaker
ICFEM
2009
Springer
15 years 2 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...
BEHAVIOURIT
2010
15 years 1 months ago
Individual attitude toward improvisation in information systems development
Improvisation is rapidly becoming an important issue for both scholars and practitioners. Organizations that operate in turbulent environments must learn to swiftly adapt and resp...
Massimo Magni, B. Provera, Luigi Proserpio