10238 search results - page 453 / 2048 » Package-Based Software Development |
162
click to vote
LPAR
2005
Springer
16 years 11 days 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...
174
click to vote
WETICE
2003
IEEE
16 years 4 days 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...
186
click to vote
APSEC
2002
IEEE
15 years 12 months ago
2002
IEEE
The conduct of collaborative scientific study mediated by the internet — e-Science — is giving rise to a new type of large distributed software project. This paper reports in...
180
click to vote
FMOODS
2006
15 years 8 months ago
2006
Software Adaptation is a crucial issue for the development of a real market of components promoting software reuse. Recent work in this field has addressed several problems related...
147
click to vote
WICSA
2001
15 years 8 months ago
2001
The definition and understanding of software architectures and architecture views still shows considerable disagreement in the software engineering community. This paper argues th...