Sciweavers

833 search results - page 88 / 167
» A Domain Specific Language for Project Execution Models
Sort
View
UPP
2004
Springer
14 years 1 months ago
Overview of Generative Software Development
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
Krzysztof Czarnecki
DATESO
2006
106views Database» more  DATESO 2006»
13 years 9 months ago
GeKon - Applying Novel Approaches to GIS Development
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
Tomas Richta
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 12 days 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
WOSP
2000
ACM
14 years 15 days ago
Quantitative system evaluation with DSPNexpress 2000
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
Christoph Lindemann, Axel Thümmler, Alexander...
DEXAW
2003
IEEE
109views Database» more  DEXAW 2003»
14 years 1 months ago
Metadata for Content Description In Legal Information
The paper describes the Jur-Wordnet (Jur-IWN) project, whose objective is an ontology-based extension to the legal domain of the Italian version of EuroWordNet. It aims at providi...
Maria-Teresa Sagri, Daniela Tiscornia