Sciweavers

9974 search results - page 176 / 1995
» Software Interconnection Models
Sort
View
139
Voted
FASE
2004
Springer
15 years 6 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
IJCAT
2008
96views more  IJCAT 2008»
15 years 2 months ago
A component-based and aspect-oriented model for software evolution
: Component-Based Software Development (CBSD) and Aspect-Oriented Software Development (AOSD) are solutions to support software evolution by decomposing a software system into conc...
Nicolas Pessemier, Lionel Seinturier, Laurence Duc...
116
Voted
ICSM
2003
IEEE
15 years 8 months ago
On Modeling Software Architecture Recovery as Graph Matching
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
Kamran Sartipi, Kostas Kontogiannis
101
Voted
GECCO
2003
Springer
130views Optimization» more  GECCO 2003»
15 years 7 months ago
Extracting Test Sequences from a Markov Software Usage Model by ACO
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
Karl Doerner, Walter J. Gutjahr
160
Voted
MKWI
2008
130views Business» more  MKWI 2008»
15 years 4 months ago
A Method for Aligning Business Process Modeling and Software Requirements Engineering
: Software engineering provides a rich set of methods and tools that cover the entire engineering process. However, there still exist major problems in integrating methods that add...
Daniel Weiß, Jörg Leukel, Stefan Kirn