Sciweavers

8083 search results - page 339 / 1617
» A Formalization of Software Architecture
Sort
View
DICS
2006
15 years 8 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
FASE
2008
Springer
15 years 8 months ago
An Algebraic Semantics for MOF
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
Artur Boronat, José Meseguer
ICSE
2008
IEEE-ACM
16 years 6 months ago
Architecting as decision making with patterns and primitives
The application of patterns is used as a foundation for many central design decisions in software architecture, but because of the informal nature of patterns, these design decisi...
Uwe Zdun, Paris Avgeriou, Carsten Hentrich, Schahr...
EDOC
2008
IEEE
16 years 1 months ago
Service-Oriented Enterprise Architectures: Evolution of Concepts and Methods
This paper depicts the evolution of enterprise architectures to their today often used service-oriented form and presents a state-of-the-art development process for this kind of a...
Gregor Engels, Martin Assmann
MEMOCODE
2008
IEEE
16 years 1 months ago
High-throughput Pipelined Mergesort
Abstract: We present an implementation of a highthroughput cryptosorter, capable of sorting an encrypted database of eight megabytes in .15 seconds; 1102 times faster than a softwa...
Kermin Fleming, Myron King, Man Cheuk Ng, Asif Kha...