Sciweavers

2523 search results - page 281 / 505
» Correct Development of Embedded Systems
Sort
View
COOPIS
2002
IEEE
15 years 7 months ago
Towards Ontological Foundations for UML Conceptual Models
Abstract. UML class diagrams can be used as a language for expressing a conceptual model of a domain. We use the General Ontological Language (GOL) and its underlying upper level o...
Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner
99
Voted
MICCAI
1998
Springer
15 years 6 months ago
Virtual Reality Vitrectomy Simulator
In this study, a virtual reality vitrectomy simulator is being developed to assist Ophthalmolgy residents in correcting retinal detachments. To simulate this type of surgery, a thr...
Paul F. Neumann, Lewis L. Sadler, Jon Gieser
110
Voted
ESSOS
2009
Springer
15 years 6 months ago
Pattern-Based Confidentiality-Preserving Refinement
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
Holger Schmidt
109
Voted
WICSA
2001
15 years 4 months ago
Statechart Simulator for Modeling Architectural Dynamics
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
Alexander Egyed, David S. Wile
203
Voted
DILS
2005
Springer
15 years 8 months ago
Setup and Annotation of Metabolomic Experiments by Integrating Biological and Mass Spectrometric Metadata
Unbiased metabolomic surveys are used for physiological, clinical and genomic studies to infer genotype-phenotype relationships. Long term reusability of metabolomic data needs bot...
Oliver Fiehn, Gert Wohlgemuth, Martin Scholz