Sciweavers

3045 search results - page 226 / 609
» Formal Approaches to Software Architecture
Sort
View
CBSE
2007
Springer
15 years 5 months ago
Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
Patric Fornasier, Jim Webber, Ian Gorton
JOT
2006
113views more  JOT 2006»
14 years 11 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
109
Voted
QEST
2010
IEEE
14 years 9 months ago
On the Theory of Stochastic Processors
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Ku...
99
Voted
ICSM
2003
IEEE
15 years 5 months ago
An Environment for Managing Evolving Product Line Architectures
The use of product lines is recognized as beneficial in promoting and structuring both component and architecture reuse throughout an organization. While the business practices of...
Akash Garg, Matt Critchlow, Ping Chen, Christopher...
98
Voted
UML
2001
Springer
15 years 4 months ago
Calculating with Concepts: a Technique for the Development of Business Process Support
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
Remco M. Dijkman, Luís Ferreira Pires, Stef...