Sciweavers

197 search results - page 19 / 40
» Unifying Architectural and Behavioural Specifications of Dis...
Sort
View
100
Voted
DAC
2008
ACM
15 years 10 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
76
Voted
ICSEA
2007
IEEE
15 years 4 months ago
Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
Frédéric Pourraz, Hervé Verju...
70
Voted
ECOWS
2007
Springer
15 years 3 months ago
A Formal Framework For Building, Checking And Evolving Service Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
Hervé Verjus, Frédéric Pourra...
BDA
2003
14 years 11 months ago
Evaluating XQuery in a full-XML mediation architecture
: XML has emerged as the leading language for representing and exchanging data not only on the Web, but also in general in the enterprise. XQuery is emerging as the standard query ...
Tuyet-Tram Dang-Ngoc, Georges Gardarin
93
Voted
COMPSAC
2007
IEEE
15 years 1 months ago
A Component Model for the AUTOSAR Virtual Function Bus
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
Dietmar Schreiner, Karl M. Göschka