1076 search results - page 54 / 216 » Supporting Design Patterns with Annotations |
126
click to vote
VSTTE
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
117
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
109
click to vote
ER
2001
Springer
15 years 7 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
105
Voted
CDVE
2009
Springer
15 years 9 months ago
2009
Springer
We present a peer-to-peer version of a cross-media link server that allows users to create and share links between arbitrary forms of digital and physical media. As a specific exa...
107
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
We present SOBOLEO, a system for the webbased collaborative engineering of SKOS ontologies and annotation of web resources. SOBOLEO enables the simple creation, extension and main...