Sciweavers

3387 search results - page 293 / 678
» Automating the Metamodeling Process
Sort
View
RULEML
2007
Springer
16 years 23 days ago
How Ontologies and Rules Help to Advance Automobile Development
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...
Thomas Syldatke, Willy Chen, Jürgen Angele, A...
SOCO
2007
Springer
16 years 23 days ago
Generic Feature-Based Software Composition
Abstract. Bridging problem domain and solution in product line engineering is a time-consuming and error-prone process. Since both domains are structured differently (features vs....
Tijs van der Storm
COMPSAC
2006
IEEE
16 years 22 days ago
Just Enough Requirements Traceability
Even though traceability is legally required in most safety critical software applications and is a recognized component of many software process improvement initiatives, organiza...
Jane Cleland-Huang
DATE
2006
IEEE
110views Hardware» more  DATE 2006»
16 years 22 days ago
Top-down heterogeneous synthesis of analog and mixed-signal systems
A new approach for automated synthesis of analog and mixed-signal systems is presented. The heterogeneous genetic optimization strategy starts from a functional description and ev...
Ewout Martens, Georges G. E. Gielen
LICS
2006
IEEE
16 years 20 days ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel