561 search results - page 29 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
132
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
Impact analysis is seen as an important technique for controlling the evolution of software systems. Numerous approaches have been proposed which aim to assess the impact of chang...
117
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
148
click to vote
ARCS
2010
Springer
15 years 5 months ago
2010
Springer
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
102
click to vote
CHI
2007
ACM
16 years 2 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
131
Voted
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...