Sciweavers

2834 search results - page 34 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
SEMWEB
2010
Springer
14 years 6 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 1 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 7 hour 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 4 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 6 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...