2219 search results - page 130 / 444 » An environment for synchronous software development |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
WETICE
2003
IEEE
14 years 2 months ago
2003
IEEE
The types of awareness relevant to collaborative software engineering are identified and an additional type, “historical awareness” is proposed. This new type of awareness is...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Free and open source software is more and more used for software developments on UNIX systems. We are proposing a solution to control the deployment of free software in the context...
NDSS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Software engineering is a complex sociotechnical activity, due to the need for discussing and sharing knowledge among team members. This has raised the need for effective ways of ...