Sciweavers

3763 search results - page 406 / 753
» Component-Based Software Engineering Processes
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support
It has been widely advocated that software architecture an effective set of abstractions for engineering (families of) complex software systems. However, architectural concepts ar...
Sam Malek, Chiyoung Seo, Sharmila Ravula, Brad Pet...
ISESE
2006
IEEE
16 years 22 days ago
Evaluating the efficacy of test-driven development: industrial case studies
This paper discusses software development using the Test Driven Development (TDD) methodology in two different environments (Windows and MSN divisions) at Microsoft. In both these...
Thirumalesh Bhat, Nachiappan Nagappan
CSMR
2002
IEEE
15 years 11 months ago
Combining Static and Dynamic Views for Architecture Reconstruction
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
Claudio Riva, Jordi Vidal Rodríguez
180
Voted
SIMUTOOLS
2008
15 years 8 months ago
Transforming sources to petri nets: a way to analyze execution of parallel programs
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
Jean-Baptiste Voron, Fabrice Kordon
DAGSTUHL
2006
15 years 8 months ago
A Framework for Analyzing Composition of Security Aspects
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Jorge Fox, Jan Jürjens