Sciweavers

2902 search results - page 97 / 581
» Software Product Lines
Sort
View
95
Voted
BELL
2000
40views more  BELL 2000»
15 years 3 months ago
Software verification at Bell Labs: One line of development
Gerard J. Holzmann
108
Voted
SEC
2008
15 years 5 months ago
Software Licence Protection and Management for Organisations
Abstract Most organisations have recently converted their physical assets into digital forms. This underlines the needs to have different types of software products to manage such ...
Muntaha Alawneh, Imad M. Abbadi
134
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
130
Voted
HICSS
2003
IEEE
144views Biometrics» more  HICSS 2003»
15 years 9 months ago
Software Business Models and Contexts for Software Innovation: Key Areas for Software Business Research
This paper examines business, design, and product development aspects of software business models. Contexts of small and large companies for creating software innovations are also...
Timo Käkölä
CODES
2003
IEEE
15 years 9 months ago
VL-CDRAM: variable line sized cached DRAMs
Ananth Hegde, Narayanan Vijaykrishnan, Mahmut T. K...