15951 search results - page 8 / 3191 » Lawful software engineering |
IJLIT
2007
13 years 9 months ago
2007
Document assembly software is a technology that is fundamental to disrupting law firms. This article uses the framework set out by Clayton Christensen in The Innovator’s Dilemma...
COMPSAC
2004
IEEE
14 years 24 days ago
2004
IEEE
This paper applies Lehman's theory of software evolution to analyse the characteristics of web-based applications and identifies the essences and incidents that cause difficu...
DGO
2004
13 years 10 months ago
2004
ENTCS
2008
13 years 9 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...