Sciweavers

324 search results - page 24 / 65
» Design Decisions in Model-driven Software Development
Sort
View
183
Voted
ECBS
2004
IEEE
115views Hardware» more  ECBS 2004»
15 years 10 months ago
Supporting Evolutionary Development by Feature Models and Traceability Links
During their usage, software systems have to be changed constantly. If such changes are implemented in an incomplete or inconsistent way a loss of architectural quality will occur...
Matthias Riebisch
186
Voted
FASE
2000
Springer
15 years 10 months ago
More About TAS and IsaWin - Tools for Formal Program Development
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
Christoph Lüth, Burkhart Wolff
181
Voted
DAWAK
2009
Springer
15 years 4 months ago
Towards a Modernization Process for Secure Data Warehouses
Data Warehouses (DW) manage crucial enterprise information used for the decision making process which has to be protected from unauthorized accesses. However, security constraints ...
Carlos Blanco, Ricardo Pérez-Castillo, Arnu...
183
Voted
ESAW
2009
Springer
16 years 28 days ago
Balancing Organizational Regulation and Agent Autonomy: An MDE-Based Approach
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
Loris Penserini, Virginia Dignum, Athanasios Staik...
176
Voted
GPCE
2007
Springer
15 years 10 months ago
Generative metaprogramming
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when ex...
Salvador Trujillo, Maider Azanza, Oscar Día...