1599 search results - page 194 / 320 » A Reference Model for Knowledge Management in Software Engin... |
110
click to vote
ESEM
2008
ACM
15 years 5 months ago
2008
ACM
This paper describes our experience in aggregating a number of historical datasets containing inspection defect data using different categorization schemes. Our goal was to make u...
130
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
126
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
172
click to vote
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
In a multi-developer project, team collaboration is essential for the success of the project. When team members are spread across different locations, informal interactions are lo...
145
Voted
RE
2002
Springer
15 years 3 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...