8623 search results - page 319 / 1725 » Software engineering for secure systems |
142
click to vote
SIGADA
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
188
click to vote
AOSE
2000
Springer
15 years 11 months ago
2000
Springer
We propose a preliminary methodology for agent-oriented software engineering based on the idea of agent interaction analysis. This approach uses interactions between undetermined a...
191
click to vote
ESAW
2007
Springer
16 years 28 days ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
161
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
ion that the system under development is looked at. We outline a mapping relating exceptions at a high level action to exceptions and other software artifacts at vels of abstractio...
169
click to vote
ICONS
2009
IEEE
16 years 1 months ago
2009
IEEE
—As e-Business and e-Commerce applications are increasingly exposed to a variety of information security threats, corporate decision makers are increasingly forced to pay attenti...