2433 search results - page 11 / 487 » Power laws in software |
ENTCS
2008
13 years 8 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
ER
2009
Springer
14 years 3 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Faced with the ongoing evolution of software agents from mere passive tools to e-tailers acting autonomously for their human owners (principals), new legal challenges appear on th...
ESEM
2010
ACM
13 years 7 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
METRICS
1997
IEEE
14 years 18 days ago
1997
IEEE
The process of E-type software development andevolution has proven most difficult to improve, possibly due to the fact that the processis a multi-input, multi-output system involv...