Sciweavers

2834 search results - page 34 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
194
Voted
SEMWEB
2010
Springer
14 years 10 months ago
Theoretical foundations and engineering tools for building ontologies as reference conceptual models
Abstract. Perhaps the most fundamental notion underlying the desiderata for a successful Semantic Web is Semantic Interoperability. In this context, ontologies have been more and m...
Giancarlo Guizzardi
CSREAESA
2006
15 years 5 months ago
Integration of an Analysis Tool for Large-Scale Embedded Real-Time Software into a Vehicle Control Platform Development Tool Cha
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
Xiaofeng Yin, Daniel L. Kiskis, Daniel Mihalik, Ka...
ASWEC
2010
IEEE
15 years 4 months ago
Model-Centered Customizable Architectural Design Decisions Management
—Architectural Design Decisions (ADD) form a key element of Architectural Knowledge (AK), which plays a vital role in the software architecture process. To help manage ADDs, seve...
Lianping Chen, Muhammad Ali Babar, Haiqi Liang
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ECTEL
2007
Springer
15 years 10 months ago
Model-Driven Design of VoIP Services for E-Learning
Project-centered learning increasingly demands for communication tools to enhance learners’ virtual interaction. In the context of the COOPER EU project a
Nicola Aste, Aldo Bongio, Stefano Ceri, Marco Fais...