Sciweavers

3763 search results - page 253 / 753
» Component-Based Software Engineering Processes
Sort
View
ECSA
2010
Springer
15 years 5 months ago
Dynamic Adaptive Service Architecture - Towards Coordinated Service Composition
With software services becoming a strategic capability for the software sector, software architecture needs to address integration problems to help services to collaborate and coor...
Claus Pahl
FOSSACS
2010
Springer
16 years 1 months ago
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
Andrei Popescu, Elsa L. Gunter
DEBU
2008
90views more  DEBU 2008»
15 years 6 months ago
Data Aggregation, Heterogeneous Data Sources and Streaming Processing: How Can XQuery Help?
Software infrastructures and applications more and more must deal with data available in a variety of different storage engines, accessible through a multitude of protocols and in...
Marc Van Cappellen, Wouter Cordewiner, Carlo Innoc...
WSC
1993
15 years 8 months ago
A structured definition of the modeling process
We present a mapping of Best Practices from the field of software engineering to the practice of discrete event simulation model construction. There are obvious parallels between ...
Brian D. Withers, A. Alan B. Pritsker, David H. Wi...
UML
2005
Springer
16 years 2 days ago
Integrated Model-Based Software Development, Data Access, and Data Migration
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina S...