Sciweavers

1733 search results - page 265 / 347
» The challenges of software engineering education
Sort
View
WSE
2006
IEEE
16 years 12 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...
PLDI
2006
ACM
16 years 10 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
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...
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 11 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...