Sciweavers

1099 search results - page 166 / 220
» A Formal Approach to Domain-Oriented Software Design Environ...
Sort
View
AOSD
2006
ACM
15 years 5 months ago
Doxpects: aspects supporting XML transformation interfaces
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
Eric Wohlstadter, Kris De Volder
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
15 years 8 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
ICAC
2007
IEEE
15 years 6 months ago
SLA Decomposition: Translating Service Level Objectives to System Level Thresholds
In today’s complex and highly dynamic computing environments, systems/services have to be constantly adjusted to meet Service Level Agreements (SLAs) and to improve resource uti...
Yuan Chen, Subu Iyer, Xue Liu, Dejan S. Milojicic,...
PEPM
2010
ACM
15 years 8 months ago
Clone detection and elimination for Haskell
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
Christopher Brown, Simon Thompson
OOPSLA
2009
Springer
15 years 4 months ago
MT-scribe: a tool for recording and inferring model transformations
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
Yu Sun, Jeff Gray, Jules White