Sciweavers

9006 search results - page 136 / 1802
» Modeling Software
Sort
View
103
Voted
ICIS
1989
15 years 3 months ago
Software complexity and maintainability
This paper examines the relationships between software complexity and software maintainability in commercial software environments. Models are proposed for estimating the economic...
Rajiv D. Banker, Srikant M. Datar, Dani Zweig
108
Voted
CCS
2003
ACM
15 years 7 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
133
Voted
SOFSEM
2010
Springer
15 years 9 months ago
Model-Driven Software Product Line Testing: An Integrated Approach
Andy Schürr, Sebastian Oster, Florian Markert
88
Voted
SAC
2009
ACM
15 years 9 months ago
Towards a compositional approach to model transformation for software development
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keis...
89
Voted
TACAS
2009
Springer
102views Algorithms» more  TACAS 2009»
15 years 9 months ago
Memoised Garbage Collection for Software Model Checking
Viet Yen Nguyen, Theo C. Ruys