Sciweavers

1733 search results - page 265 / 347
» The challenges of software engineering education
Sort
View
162
Voted
WSE
2006
IEEE
16 years 4 days ago
Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
Yonggang Zhang, René Witte, Juergen Rilling...
174
Voted
PLDI
2006
ACM
16 years 3 days ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
234
Voted
HICSS
2003
IEEE
164views Biometrics» more  HICSS 2003»
15 years 11 months ago
From Computer Networks to Agent Networks
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
Guoqiang Zhong, Kenichi Takahashi, Satoshi Amamiya...
197
Voted
MOBIDE
2003
ACM
15 years 11 months ago
Semantically driven service interoperability for pervasive computing
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
Declan O'Sullivan, David Lewis
RE
2009
Springer
15 years 10 months ago
Use Case to Source Code Traceability: The Developer Navigation View Point
Requirements traceability is a challenge for modern software projects where task dependencies and technical experspread across system developers, abstract model representations su...
Inah Omoronyia, Guttorm Sindre, Marc Roper, John D...