660 search results - page 20 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
SIGSOFT
2001
ACM
16 years 14 days ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
102
click to vote
CSREAEEE
2006
15 years 1 months ago
2006
- Improving software quality remains a key challenge. Software development formal peer inspection has emerged as an effective approach to address this challenge. Software peer insp...
FM
2008
Springer
15 years 1 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
114
click to vote
IADIS
2004
15 years 1 months ago
2004
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...