Sciweavers

9018 search results - page 53 / 1804
» 3D-Brain Model Software
Sort
View
IRI
2007
IEEE
14 years 4 months ago
The Certification of Software Tools with respect to Software Standards
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
Panuchart Bunyakiati, Anthony Finkelstein, David S...
IFIP
1993
Springer
14 years 2 months ago
Repositories for Software Reuse: The Software Information Base
Repositories play a pivotal role in an integrated reuse- based application development environment. Reusing software components implies their persistent storage and maintenance, a...
Panos Constantopoulos, Martin Doerr, Yannis Vassil...
COMPSAC
2007
IEEE
14 years 4 months ago
Adaptive Agent Model: an Agent Interaction and Computation Model
Liang Xiao 0002, David Robertson, Madalina Croitor...
BC
2010
57views more  BC 2010»
13 years 7 months ago
Mappings between a macroscopic neural-mass model and a reduced conductance-based model
We present two alternative mappings between a macroscopic neural mass model and a reduction of a conductance-based model. These provide possible explanations of the relationship b...
Serafim Rodrigues, Anton V. Chizhov, Frank Marten,...
FM
2009
Springer
153views Formal Methods» more  FM 2009»
13 years 7 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo