1481 search results - page 67 / 297 » Enriching the Software Development Process by Formal Methods |
128
click to vote
IJAOSE
2008
15 years 3 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
118
click to vote
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
132
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
150
click to vote
NGITS
1999
Springer
15 years 7 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
137
click to vote
XPU
2004
Springer
15 years 8 months ago
2004
Springer
None of the agile methods are claimed to fit all development situations. A team should attempt to adapt the methods and practices to fit their specific needs. For that reason agile...