Sciweavers

2610 search results - page 447 / 522
» codes 2007
Sort
View
RE
2007
Springer
16 years 12 days 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...
SAS
2007
Springer
128views Formal Methods» more  SAS 2007»
16 years 12 days 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
SEMWEB
2007
Springer
16 years 12 days 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...
SMALLTALK
2007
Springer
16 years 12 days 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...
SOCO
2007
Springer
16 years 12 days 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...