3799 search results - page 135 / 760 » An Engineering Approach to Formal Methods |
AOSE
2007
Springer
14 years 3 months ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
KBSE
1997
IEEE
14 years 1 months ago
1997
IEEE
Legacy software systems present a high level of entropy combined with imprecise documentation. This makes their maintenance more difficult, more time consuming, and costlier. In o...
ETRICS
2006
14 years 26 days ago
2006
Abstract. Most intrusion detection systems deployed today apply misuse detection as detection procedure. Misuse detection compares the recorded audit data with predefined patterns,...
JISBD
2003
13 years 10 months ago
2003
Separation of concerns is a fundamental software engineering principle that proposes the encapsulation of each matter of interest in a separate module. Software engineering develop...
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...