Sciweavers

3045 search results - page 211 / 609
» Formal Approaches to Software Architecture
Sort
View
ICSE
2011
IEEE-ACM
14 years 3 months ago
Feature cohesion in software product lines: an exploratory study
Software product lines gain momentum in research and industry. duct-line approaches use features as a central abstraction mechanism. Feature-oriented software development aims at ...
Sven Apel, Dirk Beyer
WSR
2008
15 years 29 days ago
Using Library Dependencies for Clustering
Abstract: Software clustering is an established approach to automatic architecture recovery. It groups components that are in some way similar to each other. Usually, the similarit...
Jochen Quante
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 3 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
VLSID
2002
IEEE
174views VLSI» more  VLSID 2002»
15 years 12 months ago
Architecture Implementation Using the Machine Description Language LISA
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
Oliver Schliebusch, Andreas Hoffmann, Achim Nohl, ...
ECOOP
2006
Springer
15 years 3 months ago
Evolution of an Adaptive Middleware Exploiting Architectural Reflection
: Nowadays information systems are required to adapt themselves dynamically to the ever changing environment and requirements. Architectural reflection represents a principled mean...
Francesca Arcelli Fontana, Claudia Raibulet