1397 search results - page 85 / 280 » On the Need for Practical Formal Methods |
BMVC
2010
13 years 7 months ago
2010
As a problem of high practical appeal but outstanding challenges, computer-based face recognition remains a topic of extensive research attention. In this paper we are specificall...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
TOSEM
1998
13 years 8 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
ESAW
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...
WIKIS
2005
ACM
14 years 2 months ago
2005
ACM
In this article we examine the integration of communities of practice supported by a wiki into work processes. Linear structures are often inappropriate for the execution of knowl...