665 search results - page 84 / 133 » Extending Software Development Methodologies to Support Trus... |
CSFW
2005
IEEE
15 years 4 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...
IWPSE
2003
IEEE
15 years 4 months ago
2003
IEEE
Avoiding architectural erosion helps extend the lifetime of an evolving software system. Erosion can be reduced by ensuring that (i) developers share a good understanding of a sys...
109
click to vote
AOSE
2001
Springer
15 years 3 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
171
Voted
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
We describe a data-centric software architecture for bioinformatics workflows and a rule-based workflow enactment system that uses declarative specifications of data dependences be...
UML
1997
Springer
15 years 2 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...