1578 search results - page 217 / 316 » CASE Support for the Software Process: Advances and Problems |
ICFEM
2007
Springer
14 years 21 days ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
ASM
2010
ASM
14 years 3 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
IEEESCC
2007
IEEE
14 years 3 months ago
2007
IEEE
Traditionally, product models often have a rigid nature, both with respect to the manner in which they are initially tailored to clients, and to the way they are maintained over t...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
This paper explores the implications and uptakes of game developers’ increasing reliance on the creative labour of fan content creators. It draws on an ethnographic account of A...
ECSCW
2003
13 years 10 months ago
2003
‘Knowledge sharing’ and ‘learning’ are terms often connected with the ‘New office’, the “modern” open office space. Work in these settings becomes more and more dis...