Sciweavers

1700 search results - page 115 / 340
» Specifying and implementing refactorings
Sort
View
ICSE
2003
IEEE-ACM
15 years 10 months ago
A Tutorial on Feature Oriented Programming and Product-Lines
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
Don S. Batory
150
Voted
DGO
2008
131views Education» more  DGO 2008»
15 years 6 months ago
A domain-specific language for urban simulation variables
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
Alan Borning, Hana Sevcikova, Paul Waddell
142
Voted
BPSC
2009
184views Business» more  BPSC 2009»
15 years 6 months ago
Generating WS-SecurityPolicy Documents via Security Model Transformation
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
Meiko Jensen
ICDE
2002
IEEE
110views Database» more  ICDE 2002»
16 years 6 months ago
A Publish & Subscribe Architecture for Distributed Metadata Management
The emergence of electronic marketplaces and other electronic services and applications on the Internet is creating a growing demand for effective management of resources. Due to ...
Markus Keidl, Alexander Kreutz, Alfons Kemper, Don...
PADL
2009
Springer
16 years 5 months ago
Operational Semantics for Declarative Networking
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
Juan A. Navarro, Andrey Rybalchenko