15885 search results - page 2712 / 3177 » The Modest Software Engineer |
157
click to vote
SOCO
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
167
click to vote
SOCO
2005
Springer
16 years 8 days ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
169
click to vote
SOCO
2005
Springer
16 years 8 days ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
193
Voted
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
202
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...