Sciweavers

9018 search results - page 101 / 1804
» 3D-Brain Model Software
Sort
View
127
Voted
ICMT
2009
Springer
15 years 9 months ago
Model Superimposition in Software Product Lines
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
Sven Apel, Florian Janda, Salvador Trujillo, Chris...
108
Voted
EWSA
2004
Springer
15 years 8 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
109
Voted
TSE
2002
87views more  TSE 2002»
15 years 2 months ago
A Formal Model of the Software Test Process
João W. Cangussu, Raymond A. DeCarlo, Adity...
109
Voted
EUROMICRO
2005
IEEE
15 years 8 months ago
A Taxonomy of Software Component Models
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...
Kung-Kiu Lau, Zheng Wang
135
Voted
TASE
2007
IEEE
15 years 9 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...