Sciweavers

1108 search results - page 153 / 222
» Model Driven Development of Software Product Lines
Sort
View
CCGRID
2009
IEEE
15 years 11 months ago
GenLM: License Management for Grid and Cloud Computing Environments
—Software license management allows independent software vendors (ISVs) to control the access of their products. It is a fundamental part of the ISVs’ business strategy. A wide...
Mathias Dalheimer, Franz-Josef Pfreundt
ACSAC
2005
IEEE
15 years 10 months ago
Model Checking An Entire Linux Distribution for Security Violations
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
Benjamin Schwarz, Hao Chen, David Wagner, Jeremy L...
ICSE
2000
IEEE-ACM
15 years 8 months ago
Software metrics: roadmap
Software metrics as a subject area is over 30 years old, but it has barely penetrated into mainstream software engineering. A key reason for this is that most software metrics act...
Norman E. Fenton, Martin Neil
QUATIC
2007
IEEE
15 years 11 months ago
Towards Paradigm-Independent Software Assessment
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
Sergio Bryton, Fernando Brito e Abreu
IADIS
2004
15 years 6 months ago
Software for self-government
Government bureaucracies are both extremely complex and long-lived, constantly evolving to reflect and influence their ever changing cultural and physical environments. Software s...
Thomas B. Senior, Brian Warboys