Sciweavers

5608 search results - page 146 / 1122
» Structure description tools
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 7 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
ICCAD
1994
IEEE
122views Hardware» more  ICCAD 1994»
15 years 7 months ago
An enhanced flow model for constraint handling in hierarchical multi-view design environments
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
Pieter van der Wolf, K. Olav ten Bosch, Alfred van...
ECBS
2004
IEEE
115views Hardware» more  ECBS 2004»
15 years 7 months ago
Supporting Evolutionary Development by Feature Models and Traceability Links
During their usage, software systems have to be changed constantly. If such changes are implemented in an incomplete or inconsistent way a loss of architectural quality will occur...
Matthias Riebisch
SIGLEX
1991
15 years 6 months ago
Acquiring and Representing Semantic Information in a Lexical Knowledge Base
The paper focuses on the description of the approach, taken within the ESPRIT BRA project ACQUILEX, towards: i) acquisition of semantic information from several machine- readable ...
Nicoletta Calzolari
107
Voted
ESWS
2008
Springer
15 years 5 months ago
Building a Semantic Web Image Repository for Biological Research Images
Abstract. Images play a vital role in scientific studies. An image repository would become a costly and meaningless data graveyard without descriptive metadata. We adapted EPrints,...
Jun Zhao, Graham Klyne, David M. Shotton