9989 search results - page 209 / 1998 » A CLP Approach to Modelling Systems |
114
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
When a software system critical for an organization exhibits a problem during its operation, it is relevant to fix it in a short period of time, to avoid serious economical losse...
120
click to vote
TSE
2008
15 years 5 months ago
2008
Design patterns are important in object-oriented programming because they offer design motifs, elegant solutions to recurrent design problems, which improve the quality of software...
159
click to vote
CSCWD
2005
Springer
2005
Springer
Towards an engineering approach for groupware development: learning from the AulaNet LMS development
15 years 10 months ago
This paper presents the AulaNet learning management system, its architecture and the collaboration model that guided its development and that was refined during this process. A ca...
137
Voted
IFIP8
2007
15 years 6 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
174
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...