Sciweavers

2610 search results - page 447 / 522
» codes 2007
Sort
View
115
Voted
RE
2007
Springer
15 years 9 months ago
Value-Based Requirements Traceability: Lessons Learned
Abstract. Traceability from requirements to code is mandated by numerous software development standards. These standards, however, are not explicit about the appropriate level of q...
Alexander Egyed, Paul Grünbacher, Matthias He...
119
Voted
SAS
2007
Springer
128views Formal Methods» more  SAS 2007»
15 years 9 months ago
Magic-Sets Transformation for the Analysis of Java Bytecode
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
Étienne Payet, Fausto Spoto
110
Voted
SEMWEB
2007
Springer
15 years 9 months ago
Enabling the Semantic Web with Ready-to-Use Web Widgets
A lot of functionality is needed when an application, such as a museum cataloguing system, is extended with semantic capabilities, for example ontological indexing functionality or...
Eetu Mäkelä, Kim Viljanen, Olli Alm, Jou...
134
Voted
SMALLTALK
2007
Springer
15 years 9 months ago
Feature driven browsing
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
David Röthlisberger, Orla Greevy, Oscar Niers...
127
Voted
SOCO
2007
Springer
15 years 9 months ago
Debugging Aspect-Enabled Programs
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
Marc Eaddy, Alfred V. Aho, Weiping Hu, Paddy McDon...