Sciweavers

9018 search results - page 169 / 1804
» 3D-Brain Model Software
Sort
View
CIBSE
2009
ACM
15 years 9 months ago
A Service-Oriented Approach for Model Management
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
Jorge Luis Pérez-Medina, Dominique Rieu, So...
SEKE
2004
Springer
15 years 8 months ago
Integrating Security Administration into Software Architectures Design
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
Huiqun Yu, Xudong He, Yi Deng, Lian Mo
EUROMICRO
2004
IEEE
15 years 7 months ago
A Service Model for Component-Based Development
The promise of component-based development
John Hutchinson, Gerald Kotonya, Ian Sommerville, ...
WER
2010
Springer
15 years 1 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
138
Voted
ICFEM
2009
Springer
15 years 1 months ago
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Hu...