Sciweavers

9018 search results - page 431 / 1804
» 3D-Brain Model Software
Sort
View
JSS
2010
123views more  JSS 2010»
15 years 1 months ago
Composition of architectural models: Empirical analysis and language support
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
Nelis Boucké, Danny Weyns, Tom Holvoet
SCAM
2008
IEEE
16 years 1 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
SIGADA
1999
Springer
15 years 11 months ago
Towards a distributed object-oriented propagation model using Ada95
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
Donald M. Needham, Steven A. Demurjian, Thomas J. ...
ICSE
2008
IEEE-ACM
16 years 7 months ago
FeatureMapper: mapping features to models
Variability modelling with feature models is one key technique for specifying the problem space of Software Product Lines (SPLs). To allow for the automatic derivation of a concre...
Florian Heidenreich, Jan Kopcsek, Christian Wende
HICSS
2007
IEEE
105views Biometrics» more  HICSS 2007»
16 years 1 months ago
A Visualization Framework for Task-Oriented Modeling Using UML
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
Christian F. J. Lange, Martijn A. M. Wijns, Michel...