Sciweavers

3045 search results - page 52 / 609
» Formal Approaches to Software Architecture
Sort
View
SIGSAND
2008
15 years 3 days ago
Reference Model for Service-oriented Business Software Based on Web Service Nets
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
Maik Herfurth, Thomas Karle, Frank Schönthale...
GECCO
2004
Springer
15 years 4 months ago
Using Interconnection Style Rules to Infer Software Architecture Relations
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
Brian S. Mitchell, Spiros Mancoridis, Martin Trave...
CSMR
2007
IEEE
14 years 11 months ago
Towards A Process-Oriented Software Architecture Reconstruction Taxonomy
To maintain and understand large applications, it is crucial to know their architecture. The first problem is that unlike classes and packages, architecture is not explicitly rep...
Damien Pollet, Stéphane Ducasse, Loïc ...
CC
2009
Springer
153views System Software» more  CC 2009»
14 years 8 months ago
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
Richard Warburton, Sara Kalvala
WER
2010
Springer
14 years 8 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri